dragen-0.1.0.0: Automatic derivation of optimized QuickCheck random generators.

Safe HaskellNone
LanguageHaskell2010

Reification

Documentation

unsupported :: Show value => String -> value -> a Source #

reifyNameEnv :: Name -> Q TypeEnv Source #

reifyTypeEnv :: Type -> Q TypeEnv Source #

reifyName :: Name -> Q TypeDef Source #

reifyType :: Type -> Q TypeDef Source #

extractTVar :: TyVarBndr -> Name Source #

extractCon :: [(Name, Type)] -> Type -> Con -> Con Source #

extractType :: Type -> Type Source #

instantiate :: [(Name, Type)] -> Type -> Type Source #

reifyInvolvedTypes :: TypeDef -> Q TypeEnv Source #

addMutRecLoops :: TypeEnv -> TypeEnv Source #