purescript-0.1.1: PureScript Programming Language Compiler

Safe HaskellNone

Language.PureScript.TypeChecker.Kinds

Description

 

Documentation

newtype KindSolution Source

Constructors

KindSolution 

Fields

runKindSolution :: Int -> Kind