purescript-0.2.13.1: PureScript Programming Language Compiler
Language.PureScript.Types
Description
data Type Source
Constructors
Instances
rowToList :: Type -> ([(String, Type)], Type)Source
rowFromList :: ([(String, Type)], Type) -> TypeSource
isMonoType :: Type -> BoolSource
isPolyType :: Type -> BoolSource
mkForAll :: [String] -> Type -> TypeSource
unit :: TypeSource