curry-frontend-0.2.5: Compile the functional logic language Curry to several intermediate formats Source code Contents Index

Types

Documentation

data Type Source

Constructors TypeConstructor QualIdent [Type] TypeVariable Int TypeConstrained [Type] Int TypeArrow Type Type TypeSkolem Int TypeRecord [(Ident, Type)] (Maybe Int) Instances Eq Type Show Type SubstType Type

isArrowType :: Type -> Bool Source

arrowArity :: Type -> Int Source

arrowArgs :: Type -> [Type] Source

arrowBase :: Type -> Type Source

typeVars :: Type -> [Int] Source

typeConstrs :: Type -> [QualIdent] Source

typeSkolems :: Type -> [Int] Source

equTypes :: Type -> Type -> Bool Source

data TypeScheme Source

Constructors ForAll Int Type Instances Eq TypeScheme Show TypeScheme SubstType TypeScheme

data ExistTypeScheme Source

Constructors ForAllExist Int Int Type Instances Eq ExistTypeScheme Show ExistTypeScheme SubstType ExistTypeScheme

polyType :: Type -> TypeScheme Source

monoType :: Type -> TypeScheme Source

boolType :: Type Source

charType :: Type Source

intType :: Type Source

floatType :: Type Source

stringType :: Type Source

successType :: Type Source

unitType :: Type Source

ioType :: Type -> Type Source

listType :: Type -> Type Source

tupleType :: [Type] -> Type Source

primType :: Ident -> [Type] -> Type Source

typeVar :: Int -> Type Source

qualifyType :: ModuleIdent -> Type -> Type Source

unqualifyType :: ModuleIdent -> Type -> Type Source

Produced by Haddock version 2.4.2