Language.Haskell.Tools.AST.Gen.Types

Generation of types

mkForallType

mkTypeVar'

mkCtxType

mkFunctionType

mkTupleType

mkUnboxedTupleType

mkListType

mkParArrayType

mkTypeApp

mkInfixTypeApp

mkParenType

mkTypeVar

mkKindedTypeVar

mkVarType

mkKindedType

mkBangType

mkLazyType

mkUnpackType

mkNoUnpackType

mkWildcardType

mkNamedWildcardType

mkSpliceType

mkQuasiQuoteType

mkPromotedIntType

mkPromotedStringType

mkPromotedConType

mkPromotedListType

mkPromotedTupleType

mkPromotedUnitType

Generation of contexts

mkContext

Generation of assertions

mkClassAssert

mkInfixAssert

mkImplicitAssert

mkTupleAssertion