clash-lib-hedgehog-1.7.0: Hedgehog Generators for clash-lib
Copyright(C) 2021 QBayLogic B.V.
LicenseBSD2 (see the file LICENSE)
MaintainerQBayLogic B.V. <devops@qbaylogic.com>
Safe HaskellNone
LanguageHaskell2010

Clash.Hedgehog.Core.Term

Description

Random, type-directed generation of Term.

Synopsis

Documentation

genTermFrom Source #

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.