Language.PureScript.Types

Documentation

data Type

Constructors

TUnknown (Unknown Type)

Number

String

Boolean

Array Type

Object Type

Function [Type] Type

TypeVar String

TypeConstructor (Qualified ProperName)

TypeApp Type Type

SaturatedTypeSynonym (Qualified ProperName) [Type]

ForAll String Type

Skolem Int

REmpty

RCons String Type Type

Instances

Eq Type

Data Type

Show Type

Typeable Type

Unifiable Type

rowToList :: Type -> ([(String, Type)], Type)

rowFromList :: ([(String, Type)], Type) -> Type

isMonoType :: Type -> Bool

isPolyType :: Type -> Bool

mkForAll :: [String] -> Type -> Type

unit :: Type