purescript-0.1.4: PureScript Programming Language Compiler

Safe Haskell	None

Language.PureScript.TypeChecker.Types

Description

Documentation

data TypeConstraint Source

Constructors

TypeConstraint Int Type TypeConstraintOrigin
RowConstraint Int Row TypeConstraintOrigin

Instances

Data TypeConstraint
Show TypeConstraint
Typeable TypeConstraint

newtype TypeSolution Source

Constructors

TypeSolution
Fields runTypeSolution :: (Int -> Type, Int -> Row)

typeOf :: Ident -> Value -> Check PolyType Source