| Copyright | (C) 2021 QBayLogic B.V. |
|---|---|
| License | BSD2 (see the file LICENSE) |
| Maintainer | QBayLogic B.V. <devops@qbaylogic.com> |
| Safe Haskell | None |
| Language | Haskell2010 |
Clash.Hedgehog.Core.Term
Description
Random, type-directed generation of Term.
Synopsis
- genTermFrom :: forall m. (Alternative m, MonadGen m) => TyConMap -> UniqMap (Either TyVar Id) -> Type -> CoreGenT m Term
Documentation
Arguments
| :: forall m. (Alternative m, MonadGen m) | |
| => TyConMap | The types in scope while generating |
| -> UniqMap (Either TyVar Id) | The currently bound type and term variables |
| -> Type | The type of the term being generated |
| -> CoreGenT m Term |
Generate a term that is valid for the given type constructor map and environment of free type and term variables. The term generated must have the specified type.