[{"display_html":"<a href=\"#v:genLiteralFrom\">genLiteralFrom</a> :: <span class=\"keyword\">forall</span> m. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; Type -&gt; m Literal","name":"genLiteralFrom","module":"Clash.Hedgehog.Core.Literal","link":"Clash-Hedgehog-Core-Literal.html#v:genLiteralFrom"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:CoreGenT\">CoreGenT</a> m a","name":"CoreGenT","module":"Clash.Hedgehog.Core.Monad","link":"Clash-Hedgehog-Core-Monad.html#t:CoreGenT"},{"display_html":"<a href=\"#v:runCoreGenT\">runCoreGenT</a> :: <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m a -&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenConfig\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenConfig</a> -&gt; m a","name":"runCoreGenT","module":"Clash.Hedgehog.Core.Monad","link":"Clash-Hedgehog-Core-Monad.html#v:runCoreGenT"},{"display_html":"<span class=\"keyword\">data</span> <a href=\"#t:CoreGenConfig\">CoreGenConfig</a> = <a href=\"#v:CoreGenConfig\">CoreGenConfig</a> {<ul class=\"subs\"><li><a href=\"#v:allowDataKinds\">allowDataKinds</a> :: <a href=\"/package/base-4.14.3.0/docs/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a></li><li><a href=\"#v:allowPolyKinds\">allowPolyKinds</a> :: <a href=\"/package/base-4.14.3.0/docs/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a></li><li><a href=\"#v:allowRankNTypes\">allowRankNTypes</a> :: <a href=\"/package/base-4.14.3.0/docs/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a></li><li><a href=\"#v:allowTypeFamilies\">allowTypeFamilies</a> :: <a href=\"/package/base-4.14.3.0/docs/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a></li><li><a href=\"#v:allowUndecidableInstances\">allowUndecidableInstances</a> :: <a href=\"/package/base-4.14.3.0/docs/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a></li></ul>}","name":"CoreGenConfig CoreGenConfig allowDataKinds allowPolyKinds allowRankNTypes allowTypeFamilies allowUndecidableInstances","module":"Clash.Hedgehog.Core.Monad","link":"Clash-Hedgehog-Core-Monad.html#t:CoreGenConfig"},{"display_html":"<a href=\"#v:defaultConfig\">defaultConfig</a> :: <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenConfig\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenConfig</a>","name":"defaultConfig","module":"Clash.Hedgehog.Core.Monad","link":"Clash-Hedgehog-Core-Monad.html#v:defaultConfig"},{"display_html":"<a href=\"#v:canGenDataKinds\">canGenDataKinds</a> :: <span class=\"keyword\">forall</span> m. <a href=\"/package/base-4.14.3.0/docs/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m =&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m <a href=\"/package/base-4.14.3.0/docs/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a>","name":"canGenDataKinds","module":"Clash.Hedgehog.Core.Monad","link":"Clash-Hedgehog-Core-Monad.html#v:canGenDataKinds"},{"display_html":"<a href=\"#v:canGenPolyKinds\">canGenPolyKinds</a> :: <span class=\"keyword\">forall</span> m. <a href=\"/package/base-4.14.3.0/docs/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m =&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m <a href=\"/package/base-4.14.3.0/docs/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a>","name":"canGenPolyKinds","module":"Clash.Hedgehog.Core.Monad","link":"Clash-Hedgehog-Core-Monad.html#v:canGenPolyKinds"},{"display_html":"<a href=\"#v:canGenRankNTypes\">canGenRankNTypes</a> :: <span class=\"keyword\">forall</span> m. <a href=\"/package/base-4.14.3.0/docs/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m =&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m <a href=\"/package/base-4.14.3.0/docs/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a>","name":"canGenRankNTypes","module":"Clash.Hedgehog.Core.Monad","link":"Clash-Hedgehog-Core-Monad.html#v:canGenRankNTypes"},{"display_html":"<a href=\"#v:canGenTypeFamilies\">canGenTypeFamilies</a> :: <span class=\"keyword\">forall</span> m. <a href=\"/package/base-4.14.3.0/docs/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m =&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m <a href=\"/package/base-4.14.3.0/docs/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a>","name":"canGenTypeFamilies","module":"Clash.Hedgehog.Core.Monad","link":"Clash-Hedgehog-Core-Monad.html#v:canGenTypeFamilies"},{"display_html":"<a href=\"#v:canGenUndecidableInstances\">canGenUndecidableInstances</a> :: <span class=\"keyword\">forall</span> m. <a href=\"/package/base-4.14.3.0/docs/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m =&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m <a href=\"/package/base-4.14.3.0/docs/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a>","name":"canGenUndecidableInstances","module":"Clash.Hedgehog.Core.Monad","link":"Clash-Hedgehog-Core-Monad.html#v:canGenUndecidableInstances"},{"display_html":"<span class=\"keyword\">class</span> <a href=\"/package/base-4.14.3.0/docs/Control-Applicative.html#t:Applicative\" title=\"Control.Applicative\">Applicative</a> f =&gt; <a href=\"#t:Alternative\">Alternative</a> (f :: <a href=\"/package/base-4.14.3.0/docs/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -&gt; <a href=\"/package/base-4.14.3.0/docs/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:empty\">empty</a> :: f a</li><li><a href=\"#v:-60--124--62-\">(&lt;|&gt;)</a> :: f a -&gt; f a -&gt; f a</li><li><a href=\"#v:some\">some</a> :: f a -&gt; f [a]</li><li><a href=\"#v:many\">many</a> :: f a -&gt; f [a]</li></ul>","name":"Alternative empty many some <|>","module":"Clash.Hedgehog.Core.Monad","link":"Clash-Hedgehog-Core-Monad.html#t:Alternative"},{"display_html":"<span class=\"keyword\">class</span> (<a href=\"/package/base-4.14.3.0/docs/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m, <a href=\"/package/base-4.14.3.0/docs/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> (<a href=\"Clash-Hedgehog-Core-Monad.html#t:GenBase\" title=\"Clash.Hedgehog.Core.Monad\">GenBase</a> m)) =&gt; <a href=\"#t:MonadGen\">MonadGen</a> (m :: <a href=\"/package/base-4.14.3.0/docs/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -&gt; <a href=\"/package/base-4.14.3.0/docs/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) <span class=\"keyword\">where</span><ul class=\"subs\"><li><span class=\"keyword\">type</span> <a href=\"#t:GenBase\">GenBase</a> (m :: <a href=\"/package/base-4.14.3.0/docs/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -&gt; <a href=\"/package/base-4.14.3.0/docs/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) :: <a href=\"/package/base-4.14.3.0/docs/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -&gt; <a href=\"/package/base-4.14.3.0/docs/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a></li><li><a href=\"#v:toGenT\">toGenT</a> :: m a -&gt; <a href=\"/package/hedgehog-1.4/docs/Hedgehog.html#t:GenT\" title=\"Hedgehog\">GenT</a> (<a href=\"Clash-Hedgehog-Core-Monad.html#t:GenBase\" title=\"Clash.Hedgehog.Core.Monad\">GenBase</a> m) a</li><li><a href=\"#v:fromGenT\">fromGenT</a> :: <a href=\"/package/hedgehog-1.4/docs/Hedgehog.html#t:GenT\" title=\"Hedgehog\">GenT</a> (<a href=\"Clash-Hedgehog-Core-Monad.html#t:GenBase\" title=\"Clash.Hedgehog.Core.Monad\">GenBase</a> m) a -&gt; m a</li></ul>","name":"MonadGen GenBase toGenT fromGenT","module":"Clash.Hedgehog.Core.Monad","link":"Clash-Hedgehog-Core-Monad.html#t:MonadGen"},{"display_html":"<span class=\"keyword\">class</span> <a href=\"/package/base-4.14.3.0/docs/Control-Monad.html#t:Monad\" title=\"Control.Monad\">Monad</a> m =&gt; <a href=\"#t:MonadReader\">MonadReader</a> r (m :: <a href=\"/package/base-4.14.3.0/docs/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a> -&gt; <a href=\"/package/base-4.14.3.0/docs/Data-Kind.html#t:Type\" title=\"Data.Kind\">Type</a>) | m -&gt; r <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:ask\">ask</a> :: m r</li><li><a href=\"#v:local\">local</a> :: (r -&gt; r) -&gt; m a -&gt; m a</li><li><a href=\"#v:reader\">reader</a> :: (r -&gt; a) -&gt; m a</li></ul>","name":"MonadReader reader local ask","module":"Clash.Hedgehog.Core.Monad","link":"Clash-Hedgehog-Core-Monad.html#t:MonadReader"},{"display_html":"<span class=\"keyword\">class</span> <a href=\"#t:Bias\">Bias</a> a <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:biasOf\">biasOf</a> :: a -&gt; <a href=\"/package/base-4.14.3.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a></li></ul>","name":"Bias biasOf","module":"Clash.Hedgehog.Internal.Bias","link":"Clash-Hedgehog-Internal-Bias.html#t:Bias"},{"display_html":"<a href=\"#v:genUnique\">genUnique</a> :: <span class=\"keyword\">forall</span> m. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; m Unique","name":"genUnique","module":"Clash.Hedgehog.Unique","link":"Clash-Hedgehog-Unique.html#v:genUnique"},{"display_html":"<a href=\"#v:genUniqMap\">genUniqMap</a> :: <span class=\"keyword\">forall</span> m k v. (<a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m, Uniquable k) =&gt; <a href=\"/package/hedgehog-1.4/docs/Hedgehog-Range.html#t:Range\" title=\"Hedgehog.Range\">Range</a> <a href=\"/package/base-4.14.3.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; m k -&gt; m v -&gt; m (UniqMap v)","name":"genUniqMap","module":"Clash.Hedgehog.Unique","link":"Clash-Hedgehog-Unique.html#v:genUniqMap"},{"display_html":"<a href=\"#v:sampleUniqMap\">sampleUniqMap</a> :: <span class=\"keyword\">forall</span> m v. (<a href=\"Clash-Hedgehog-Core-Monad.html#t:Alternative\" title=\"Clash.Hedgehog.Core.Monad\">Alternative</a> m, <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m, HasType v) =&gt; (v -&gt; <a href=\"/package/base-4.14.3.0/docs/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a>) -&gt; Type -&gt; UniqMap v -&gt; m (v, [Type])","name":"sampleUniqMap","module":"Clash.Hedgehog.Unique","link":"Clash-Hedgehog-Unique.html#v:sampleUniqMap"},{"display_html":"<a href=\"#v:sampleAnyUniqMap\">sampleAnyUniqMap</a> :: <span class=\"keyword\">forall</span> m v. (<a href=\"Clash-Hedgehog-Core-Monad.html#t:Alternative\" title=\"Clash.Hedgehog.Core.Monad\">Alternative</a> m, <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m, HasType v) =&gt; UniqMap v -&gt; m (v, [Type])","name":"sampleAnyUniqMap","module":"Clash.Hedgehog.Unique","link":"Clash-Hedgehog-Unique.html#v:sampleAnyUniqMap"},{"display_html":"<span class=\"keyword\">class</span> <a href=\"#t:Bias\">Bias</a> a <span class=\"keyword\">where</span><ul class=\"subs\"><li><a href=\"#v:biasOf\">biasOf</a> :: a -&gt; <a href=\"/package/base-4.14.3.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a></li></ul>","name":"Bias biasOf","module":"Clash.Hedgehog.Unique","link":"Clash-Hedgehog-Unique.html#t:Bias"},{"display_html":"<a href=\"#v:sampleUniqMapBiased\">sampleUniqMapBiased</a> :: <span class=\"keyword\">forall</span> m v. (<a href=\"Clash-Hedgehog-Core-Monad.html#t:Alternative\" title=\"Clash.Hedgehog.Core.Monad\">Alternative</a> m, <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m, HasType v, <a href=\"Clash-Hedgehog-Unique.html#t:Bias\" title=\"Clash.Hedgehog.Unique\">Bias</a> v) =&gt; (v -&gt; <a href=\"/package/base-4.14.3.0/docs/Data-Bool.html#t:Bool\" title=\"Data.Bool\">Bool</a>) -&gt; Type -&gt; UniqMap v -&gt; m (v, [Type])","name":"sampleUniqMapBiased","module":"Clash.Hedgehog.Unique","link":"Clash-Hedgehog-Unique.html#v:sampleUniqMapBiased"},{"display_html":"<a href=\"#v:genKindName\">genKindName</a> :: <span class=\"keyword\">forall</span> m. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; m KiName","name":"genKindName","module":"Clash.Hedgehog.Core.Name","link":"Clash-Hedgehog-Core-Name.html#v:genKindName"},{"display_html":"<a href=\"#v:genTypeName\">genTypeName</a> :: <span class=\"keyword\">forall</span> m. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; m TyName","name":"genTypeName","module":"Clash.Hedgehog.Core.Name","link":"Clash-Hedgehog-Core-Name.html#v:genTypeName"},{"display_html":"<a href=\"#v:genTyConName\">genTyConName</a> :: <span class=\"keyword\">forall</span> m. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; m TyConName","name":"genTyConName","module":"Clash.Hedgehog.Core.Name","link":"Clash-Hedgehog-Core-Name.html#v:genTyConName"},{"display_html":"<a href=\"#v:genTermName\">genTermName</a> :: <span class=\"keyword\">forall</span> m. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; m TmName","name":"genTermName","module":"Clash.Hedgehog.Core.Name","link":"Clash-Hedgehog-Core-Name.html#v:genTermName"},{"display_html":"<a href=\"#v:genDataConName\">genDataConName</a> :: <span class=\"keyword\">forall</span> m. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; m DcName","name":"genDataConName","module":"Clash.Hedgehog.Core.Name","link":"Clash-Hedgehog-Core-Name.html#v:genDataConName"},{"display_html":"<a href=\"#v:genVarName\">genVarName</a> :: <span class=\"keyword\">forall</span> m a. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; m (Name a)","name":"genVarName","module":"Clash.Hedgehog.Core.Name","link":"Clash-Hedgehog-Core-Name.html#v:genVarName"},{"display_html":"<a href=\"#v:genFreshName\">genFreshName</a> :: <span class=\"keyword\">forall</span> m a b. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; UniqMap b -&gt; m (Name a) -&gt; m (Name a)","name":"genFreshName","module":"Clash.Hedgehog.Core.Name","link":"Clash-Hedgehog-Core-Name.html#v:genFreshName"},{"display_html":"<a href=\"#v:genNames\">genNames</a> :: <span class=\"keyword\">forall</span> m a. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; <a href=\"/package/base-4.14.3.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; m (Name a) -&gt; m [Name a]","name":"genNames","module":"Clash.Hedgehog.Core.Name","link":"Clash-Hedgehog-Core-Name.html#v:genNames"},{"display_html":"<a href=\"#v:genTyVar\">genTyVar</a> :: <span class=\"keyword\">forall</span> m. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; Kind -&gt; m TyName -&gt; m TyVar","name":"genTyVar","module":"Clash.Hedgehog.Core.Var","link":"Clash-Hedgehog-Core-Var.html#v:genTyVar"},{"display_html":"<a href=\"#v:genId\">genId</a> :: <span class=\"keyword\">forall</span> m. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; Type -&gt; m TmName -&gt; m Id","name":"genId","module":"Clash.Hedgehog.Core.Var","link":"Clash-Hedgehog-Core-Var.html#v:genId"},{"display_html":"<a href=\"#v:genLocalId\">genLocalId</a> :: <span class=\"keyword\">forall</span> m. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; Type -&gt; m TmName -&gt; m Id","name":"genLocalId","module":"Clash.Hedgehog.Core.Var","link":"Clash-Hedgehog-Core-Var.html#v:genLocalId"},{"display_html":"<a href=\"#v:genGlobalId\">genGlobalId</a> :: <span class=\"keyword\">forall</span> m. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; Type -&gt; m TmName -&gt; m Id","name":"genGlobalId","module":"Clash.Hedgehog.Core.Var","link":"Clash-Hedgehog-Core-Var.html#v:genGlobalId"},{"display_html":"<a href=\"#v:genVars\">genVars</a> :: <span class=\"keyword\">forall</span> m a. <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m =&gt; (KindOrType -&gt; m (Name a) -&gt; m (Var a)) -&gt; [KindOrType] -&gt; m (Name a) -&gt; m [Var a]","name":"genVars","module":"Clash.Hedgehog.Core.Var","link":"Clash-Hedgehog-Core-Var.html#v:genVars"},{"display_html":"<a href=\"#v:genKindFrom\">genKindFrom</a> :: <span class=\"keyword\">forall</span> m. (<a href=\"Clash-Hedgehog-Core-Monad.html#t:Alternative\" title=\"Clash.Hedgehog.Core.Monad\">Alternative</a> m, <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m) =&gt; TyConMap -&gt; UniqMap TyVar -&gt; Kind -&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m Kind","name":"genKindFrom","module":"Clash.Hedgehog.Core.Type","link":"Clash-Hedgehog-Core-Type.html#v:genKindFrom"},{"display_html":"<a href=\"#v:genClosedKindFrom\">genClosedKindFrom</a> :: <span class=\"keyword\">forall</span> m. (<a href=\"Clash-Hedgehog-Core-Monad.html#t:Alternative\" title=\"Clash.Hedgehog.Core.Monad\">Alternative</a> m, <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m) =&gt; TyConMap -&gt; Kind -&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m Kind","name":"genClosedKindFrom","module":"Clash.Hedgehog.Core.Type","link":"Clash-Hedgehog-Core-Type.html#v:genClosedKindFrom"},{"display_html":"<a href=\"#v:genPolyTypeFrom\">genPolyTypeFrom</a> :: <span class=\"keyword\">forall</span> m. (<a href=\"Clash-Hedgehog-Core-Monad.html#t:Alternative\" title=\"Clash.Hedgehog.Core.Monad\">Alternative</a> m, <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m) =&gt; TyConMap -&gt; UniqMap TyVar -&gt; Kind -&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m Type","name":"genPolyTypeFrom","module":"Clash.Hedgehog.Core.Type","link":"Clash-Hedgehog-Core-Type.html#v:genPolyTypeFrom"},{"display_html":"<a href=\"#v:genClosedPolyType\">genClosedPolyType</a> :: <span class=\"keyword\">forall</span> m. (<a href=\"Clash-Hedgehog-Core-Monad.html#t:Alternative\" title=\"Clash.Hedgehog.Core.Monad\">Alternative</a> m, <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m) =&gt; TyConMap -&gt; Kind -&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m Type","name":"genClosedPolyType","module":"Clash.Hedgehog.Core.Type","link":"Clash-Hedgehog-Core-Type.html#v:genClosedPolyType"},{"display_html":"<a href=\"#v:genMonoTypeFrom\">genMonoTypeFrom</a> :: <span class=\"keyword\">forall</span> m. (<a href=\"Clash-Hedgehog-Core-Monad.html#t:Alternative\" title=\"Clash.Hedgehog.Core.Monad\">Alternative</a> m, <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m) =&gt; TyConMap -&gt; UniqMap TyVar -&gt; Kind -&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m Type","name":"genMonoTypeFrom","module":"Clash.Hedgehog.Core.Type","link":"Clash-Hedgehog-Core-Type.html#v:genMonoTypeFrom"},{"display_html":"<a href=\"#v:genClosedMonoType\">genClosedMonoType</a> :: <span class=\"keyword\">forall</span> m. (<a href=\"Clash-Hedgehog-Core-Monad.html#t:Alternative\" title=\"Clash.Hedgehog.Core.Monad\">Alternative</a> m, <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m) =&gt; TyConMap -&gt; Kind -&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m Type","name":"genClosedMonoType","module":"Clash.Hedgehog.Core.Type","link":"Clash-Hedgehog-Core-Type.html#v:genClosedMonoType"},{"display_html":"<a href=\"#v:genWithCodomain\">genWithCodomain</a> :: <span class=\"keyword\">forall</span> m. (<a href=\"Clash-Hedgehog-Core-Monad.html#t:Alternative\" title=\"Clash.Hedgehog.Core.Monad\">Alternative</a> m, <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m) =&gt; Kind -&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m KindOrType -&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m KindOrType","name":"genWithCodomain","module":"Clash.Hedgehog.Core.Type","link":"Clash-Hedgehog-Core-Type.html#v:genWithCodomain"},{"display_html":"<a href=\"#v:genTermFrom\">genTermFrom</a> :: <span class=\"keyword\">forall</span> m. (<a href=\"Clash-Hedgehog-Core-Monad.html#t:Alternative\" title=\"Clash.Hedgehog.Core.Monad\">Alternative</a> m, <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m) =&gt; TyConMap -&gt; UniqMap (<a href=\"/package/base-4.14.3.0/docs/Data-Either.html#t:Either\" title=\"Data.Either\">Either</a> TyVar Id) -&gt; Type -&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m Term","name":"genTermFrom","module":"Clash.Hedgehog.Core.Term","link":"Clash-Hedgehog-Core-Term.html#v:genTermFrom"},{"display_html":"<a href=\"#v:genDataConsFrom\">genDataConsFrom</a> :: <span class=\"keyword\">forall</span> m. (<a href=\"Clash-Hedgehog-Core-Monad.html#t:Alternative\" title=\"Clash.Hedgehog.Core.Monad\">Alternative</a> m, <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m) =&gt; <a href=\"/package/hedgehog-1.4/docs/Hedgehog-Range.html#t:Range\" title=\"Hedgehog.Range\">Range</a> <a href=\"/package/base-4.14.3.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; TyConMap -&gt; TyConName -&gt; Kind -&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m [DataCon]","name":"genDataConsFrom","module":"Clash.Hedgehog.Core.DataCon","link":"Clash-Hedgehog-Core-DataCon.html#v:genDataConsFrom"},{"display_html":"<a href=\"#v:genTyConMap\">genTyConMap</a> :: <span class=\"keyword\">forall</span> m. (<a href=\"Clash-Hedgehog-Core-Monad.html#t:Alternative\" title=\"Clash.Hedgehog.Core.Monad\">Alternative</a> m, <a href=\"Clash-Hedgehog-Core-Monad.html#t:MonadGen\" title=\"Clash.Hedgehog.Core.Monad\">MonadGen</a> m) =&gt; <a href=\"/package/hedgehog-1.4/docs/Hedgehog-Range.html#t:Range\" title=\"Hedgehog.Range\">Range</a> <a href=\"/package/base-4.14.3.0/docs/Data-Int.html#t:Int\" title=\"Data.Int\">Int</a> -&gt; <a href=\"Clash-Hedgehog-Core-Monad.html#t:CoreGenT\" title=\"Clash.Hedgehog.Core.Monad\">CoreGenT</a> m TyConMap","name":"genTyConMap","module":"Clash.Hedgehog.Core.TyCon","link":"Clash-Hedgehog-Core-TyCon.html#v:genTyConMap"}]