purescript-0.1.3: PureScript Programming Language Compiler

Safe HaskellNone

Language.PureScript.TypeChecker.Types

Description

 

Documentation

data TypeConstraint Source

Constructors

TypeConstraint Int Type TypeConstraintOrigin 
RowConstraint Int Row TypeConstraintOrigin 

newtype TypeSolution Source

Constructors

TypeSolution 

Fields

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