Base.CurryTypes

The functions toType, toTypes, and fromType convert Curry type expressions into types and vice versa. The functions qualifyType and unqualifyType add and remove module qualifiers in a type, respectively.

When Curry type expression are converted with toType or toTypes, type variables are assigned ascending indices in the order of their occurrence. It is possible to pass a list of additional type variables to both functions which are assigned indices before those variables occurring in the type. This allows preserving the order of type variables in the left hand side of a type declaration.

Documentation

toType :: [Ident] -> TypeExpr -> Type

toTypes :: [Ident] -> [TypeExpr] -> [Type]

toQualType :: ModuleIdent -> [Ident] -> TypeExpr -> Type

toQualTypes :: ModuleIdent -> [Ident] -> [TypeExpr] -> [Type]

toPred :: [Ident] -> Constraint -> Pred

toQualPred :: ModuleIdent -> [Ident] -> Constraint -> Pred

toPredSet :: [Ident] -> Context -> PredSet

toQualPredSet :: ModuleIdent -> [Ident] -> Context -> PredSet

toPredType :: [Ident] -> QualTypeExpr -> PredType

toQualPredType :: ModuleIdent -> [Ident] -> QualTypeExpr -> PredType

toConstrType :: QualIdent -> [Ident] -> [TypeExpr] -> PredType

toMethodType :: QualIdent -> Ident -> QualTypeExpr -> PredType

fromType :: [Ident] -> Type -> TypeExpr

fromQualType :: ModuleIdent -> [Ident] -> Type -> TypeExpr

fromPred :: [Ident] -> Pred -> Constraint

fromQualPred :: ModuleIdent -> [Ident] -> Pred -> Constraint

fromPredSet :: [Ident] -> PredSet -> Context

fromQualPredSet :: ModuleIdent -> [Ident] -> PredSet -> Context

fromPredType :: [Ident] -> PredType -> QualTypeExpr

fromQualPredType :: ModuleIdent -> [Ident] -> PredType -> QualTypeExpr

ppType :: ModuleIdent -> Type -> Doc

ppPred :: ModuleIdent -> Pred -> Doc

ppPredType :: ModuleIdent -> PredType -> Doc

ppTypeScheme :: ModuleIdent -> TypeScheme -> Doc