purescript-0.1.7: PureScript Programming Language Compiler

Safe Haskell	None

Language.PureScript.TypeChecker.Kinds

Description

Documentation

data KindConstraint Source

Constructors

KindConstraint Int Kind KindConstraintOrigin

Instances

Data KindConstraint
Show KindConstraint
Typeable KindConstraint

newtype KindSolution Source

Constructors

KindSolution
Fields runKindSolution :: Int -> Kind

kindsOf :: Maybe String -> [String] -> [Type] -> Check Kind Source

kindOf :: PolyType -> Check Kind Source