purescript-0.1.1: PureScript Programming Language Compiler

Safe Haskell	Safe-Inferred

Language.PureScript.Types

Description

Documentation

data Type Source

Constructors

TUnknown Int
Number
String
Boolean
Array Type
Object Row
Function [Type] Type
TypeVar String
TypeConstructor String
TypeApp Type Type
SaturatedTypeSynonym String [Type]

Instances

Eq Type
Data Type
Show Type
Typeable Type

data PolyType Source

Constructors

PolyType [String] Type

Instances

Eq PolyType
Data PolyType
Show PolyType
Typeable PolyType

data Row Source

Constructors

RUnknown Int
RowVar String
REmpty
RCons String Type Row

Instances

Eq Row
Data Row
Show Row
Typeable Row

monoType :: Type -> PolyType Source