| Copyright | (C) 2021 QBayLogic B.V. |
|---|---|
| License | BSD2 (see the file LICENSE) |
| Maintainer | QBayLogic B.V. <[email protected]> |
| Safe Haskell | None |
| Language | Haskell2010 |
Clash.Hedgehog.Core.Literal
Description
Random type-directed generation of literals.
Synopsis
- genLiteralFrom :: forall m. MonadGen m => Type -> m Literal
Documentation
Arguments
| :: forall m. MonadGen m | |
| => Type | The type of the literal to generate |
| -> m Literal |
Generate a Literal with the specified core type. If the type does not
correspond to a known PrimTyCon (as defined in Clash.Core.TysPrim) then
an error is returned.