purescript-0.1.11: PureScript Programming Language Compiler

Safe Haskell	Safe-Inferred

Language.PureScript.Types

Description

Documentation

data Type Source

Constructors

TUnknown (Unknown Type)
Number
String
Boolean
Array Type
Object Row
Function [PolyType] Type
TypeVar String
TypeConstructor (Qualified ProperName)
TypeApp Type Type
SaturatedTypeSynonym (Qualified ProperName) [Type]
ForAll String Type
Skolem Int

Instances

Eq Type
Data Type
Show Type
Typeable Type
Unifiable Type

type PolyType = Type Source

data Row Source

Constructors

RUnknown (Unknown Row)
RowVar String
REmpty
RCons String Type Row
RSkolem Int

Instances

Eq Row
Data Row
Show Row
Typeable Row
Unifiable Row

typesToRow :: [(String, Type)] -> Row Source

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

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

isMonoType :: Type -> Bool Source

isPolyType :: Type -> Bool Source

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