Copyright | (C) 2021 QBayLogic B.V. |
---|---|
License | BSD2 (see the file LICENSE) |
Maintainer | QBayLogic B.V. <devops@qbaylogic.com> |
Safe Haskell | None |
Language | Haskell2010 |
Random type-directed generation of literals.
Synopsis
- genLiteralFrom :: forall m. MonadGen m => Type -> m Literal
Documentation
:: 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.