purescript-0.1.13: PureScript Programming Language Compiler
Language.PureScript.Types
Description
data Type Source
Constructors
Instances
type PolyType = TypeSource
data Row Source
rowToList :: Row -> ([(String, Type)], Row)Source
rowFromList :: ([(String, Type)], Row) -> RowSource
isMonoType :: Type -> BoolSource
isPolyType :: Type -> BoolSource
mkForAll :: [String] -> Type -> TypeSource