| Keyword | Language.PureScript.Docs.RenderedCode.Types, Language.PureScript.Docs.RenderedCode, Language.PureScript.Docs.Types, Language.PureScript.Docs |
| keyword | Language.PureScript.Docs.RenderedCode.Types, Language.PureScript.Docs.RenderedCode, Language.PureScript.Docs |
| keywordAs | Language.PureScript.Docs.RenderedCode.Types, Language.PureScript.Docs.RenderedCode, Language.PureScript.Docs |
| keywordClass | Language.PureScript.Docs.RenderedCode.Types, Language.PureScript.Docs.RenderedCode, Language.PureScript.Docs |
| keywordData | Language.PureScript.Docs.RenderedCode.Types, Language.PureScript.Docs.RenderedCode, Language.PureScript.Docs |
| keywordFixity | Language.PureScript.Docs.RenderedCode.Types, Language.PureScript.Docs.RenderedCode, Language.PureScript.Docs |
| keywordForall | Language.PureScript.Docs.RenderedCode.Types, Language.PureScript.Docs.RenderedCode, Language.PureScript.Docs |
| keywordType | Language.PureScript.Docs.RenderedCode.Types, Language.PureScript.Docs.RenderedCode, Language.PureScript.Docs |
| keywordWhere | Language.PureScript.Docs.RenderedCode.Types, Language.PureScript.Docs.RenderedCode, Language.PureScript.Docs |
| kiKeyword | Language.PureScript.Docs.Types, Language.PureScript.Docs |
| kiKind | Language.PureScript.Docs.Types, Language.PureScript.Docs |
| Kind | Language.PureScript.Interactive.Types, Language.PureScript.Interactive |
| KindApp | Language.PureScript.Types, Language.PureScript |
| kindArity | Language.PureScript.Environment, Language.PureScript |
| kindConstraint | Language.PureScript.Environment, Language.PureScript |
| KindDeclaration | Language.PureScript.AST.Declarations, Language.PureScript.AST, Language.PureScript.Errors, Language.PureScript |
| kindDoc | Language.PureScript.Environment, Language.PureScript |
| KindedType | Language.PureScript.Types, Language.PureScript |
| KindHint | Language.PureScript.AST.Declarations, Language.PureScript.AST, Language.PureScript.Errors, Language.PureScript |
| KindInfo | |
| 1 (Type/Class) | Language.PureScript.Docs.Types, Language.PureScript.Docs |
| 2 (Data Constructor) | Language.PureScript.Docs.Types, Language.PureScript.Docs |
| KindMap | Language.PureScript.TypeChecker.Synonyms, Language.PureScript.TypeChecker, Language.PureScript |
| KindOf | Language.PureScript.Interactive.Types, Language.PureScript.Interactive |
| kindOf | Language.PureScript.TypeChecker.Kinds, Language.PureScript.TypeChecker, Language.PureScript |
| kindOfClass | Language.PureScript.TypeChecker.Kinds, Language.PureScript.TypeChecker, Language.PureScript |
| kindOfData | Language.PureScript.TypeChecker.Kinds, Language.PureScript.TypeChecker, Language.PureScript |
| kindOfREmpty | Language.PureScript.Environment, Language.PureScript |
| kindOfTypeSynonym | Language.PureScript.TypeChecker.Kinds, Language.PureScript.TypeChecker, Language.PureScript |
| kindOfWithScopedVars | Language.PureScript.TypeChecker.Kinds, Language.PureScript.TypeChecker, Language.PureScript |
| kindOfWithUnknowns | Language.PureScript.TypeChecker.Kinds, Language.PureScript.TypeChecker, Language.PureScript |
| kindOrdering | Language.PureScript.Environment, Language.PureScript |
| kindRow | Language.PureScript.Environment, Language.PureScript |
| kindRowList | Language.PureScript.Environment, Language.PureScript |
| KindsDoNotUnify | Language.PureScript.Errors, Language.PureScript |
| KindSignatureFor | Language.PureScript.AST.Declarations, Language.PureScript.AST, Language.PureScript.Errors, Language.PureScript |
| kindSignatureForKeyword | Language.PureScript.Docs.Types, Language.PureScript.Docs |
| kindsOfAll | Language.PureScript.TypeChecker.Kinds, Language.PureScript.TypeChecker, Language.PureScript |
| kindSymbol | Language.PureScript.Environment, Language.PureScript |
| kindType | Language.PureScript.Environment, Language.PureScript |
| KnownClassStrategy | Language.PureScript.AST.Declarations, Language.PureScript.AST, Language.PureScript.Errors, Language.PureScript |