| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Generators.QuickCheck.GenerateTypes
Contents
Synopsis
- genAtomicType ∷ Kind () → GenTm (Type TyName DefaultUni ())
- genType ∷ Kind () → GenTm (Type TyName DefaultUni ())
- genClosedType ∷ Kind () → Gen (Type TyName DefaultUni ())
- genClosedTypeDebug ∷ Kind () → Gen (Type TyName DefaultUni ())
- genTypeWithCtx ∷ TypeCtx → Kind () → Gen (Type TyName DefaultUni ())
- genTypeWithCtxDebug ∷ TypeCtx → Kind () → Gen (Type TyName DefaultUni ())
- genKindAndTypeWithCtx ∷ TypeCtx → Gen (Kind (), Type TyName DefaultUni ())
- builtinKind ∷ SomeTypeIn DefaultUni → Kind ()
- genKindAndType ∷ Gen (Kind (), Type TyName DefaultUni ())
- genKindAndTypeDebug ∷ Gen (Kind (), Type TyName DefaultUni ())
- normalizeTy ∷ Type TyName DefaultUni () → Type TyName DefaultUni ()
- genCtx ∷ Gen TypeCtx
Generators for well-kinded types
genAtomicType ∷ Kind () → GenTm (Type TyName DefaultUni ()) Source #
Generate "small" types at a given kind such as builtins, bound variables, bound datatypes, and lambda abstractions t0 ... tn. T
genClosedType ∷ Kind () → Gen (Type TyName DefaultUni ()) Source #
Generate a closed type at a given kind
genClosedTypeDebug ∷ Kind () → Gen (Type TyName DefaultUni ()) Source #
Generate a closed type at a given kind
genTypeWithCtx ∷ TypeCtx → Kind () → Gen (Type TyName DefaultUni ()) Source #
Generate a type in the given context with the given kind.
genTypeWithCtxDebug ∷ TypeCtx → Kind () → Gen (Type TyName DefaultUni ()) Source #
Generate a type in the given context with the given kind.
genKindAndTypeWithCtx ∷ TypeCtx → Gen (Kind (), Type TyName DefaultUni ()) Source #
Generate a well-kinded type and its kind in a given context
builtinKind ∷ SomeTypeIn DefaultUni → Kind () Source #
Get the kind of a builtin
genKindAndType ∷ Gen (Kind (), Type TyName DefaultUni ()) Source #
Generate an arbitrary kind and closed type of that kind.
genKindAndTypeDebug ∷ Gen (Kind (), Type TyName DefaultUni ()) Source #
Generate an arbitrary kind and closed type of that kind.
normalizeTy ∷ Type TyName DefaultUni () → Type TyName DefaultUni () Source #
Normalize a type.