purescript-0.3.3: PureScript Programming Language Compiler

Safe HaskellNone

Language.PureScript.Types

Description

 

Documentation

data Type Source

Constructors

TUnknown (Unknown Type) 
Number 
String 
Boolean 
Array 
Object Type 
Function [Type] Type 
TypeVar String 
TypeConstructor (Qualified ProperName) 
TypeApp Type Type 
SaturatedTypeSynonym (Qualified ProperName) [Type] 
ForAll String Type 
ConstrainedType [(Qualified ProperName, Type)] Type 
Skolem Int 
REmpty 
RCons String Type Type 

Instances

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

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

isMonoType :: Type -> BoolSource

isPolyType :: Type -> BoolSource

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

unit :: TypeSource

replaceTypeVars :: Data d => String -> Type -> d -> dSource