Kind | Language.PureScript.Kinds, Language.PureScript |
KindConstraint | |
1 (Type/Class) | Language.PureScript.TypeChecker.Kinds, Language.PureScript.TypeChecker, Language.PureScript |
2 (Data Constructor) | Language.PureScript.TypeChecker.Kinds, Language.PureScript.TypeChecker, Language.PureScript |
kindOf | Language.PureScript.TypeChecker.Kinds, Language.PureScript.TypeChecker, Language.PureScript |
kindsOf | Language.PureScript.TypeChecker.Kinds, Language.PureScript.TypeChecker, Language.PureScript |
KindSolution | |
1 (Type/Class) | Language.PureScript.TypeChecker.Kinds, Language.PureScript.TypeChecker, Language.PureScript |
2 (Data Constructor) | Language.PureScript.TypeChecker.Kinds, Language.PureScript.TypeChecker, Language.PureScript |
KUnknown | Language.PureScript.Kinds, Language.PureScript |