| KArrow | Curry.FlatCurry.Type, Curry.FlatCurry.Annotated.Type, Curry.FlatCurry, Curry.FlatCurry.Typed.Type |
| Keyword | Html.SyntaxColoring |
| keyword | Curry.CondCompile.Parser |
| KICS2 | Curry.Syntax.Extension, Curry.Syntax.Type, Curry.Syntax |
| kielExtensions | Curry.Syntax.Extension |
| Kind | |
| 1 (Type/Class) | Base.Kinds |
| 2 (Type/Class) | Curry.FlatCurry.Type, Curry.FlatCurry.Annotated.Type, Curry.FlatCurry, Curry.FlatCurry.Typed.Type |
| 3 (Type/Class) | IL.Type, IL |
| kindArgs | Base.Kinds |
| kindArity | Base.Kinds |
| KindArrow | |
| 1 (Data Constructor) | Base.Kinds |
| 2 (Data Constructor) | IL.Type, IL |
| kindCheck | |
| 1 (Function) | Checks.KindCheck |
| 2 (Function) | Checks |
| KindExpr | Curry.Syntax.Type, Curry.Syntax |
| KindStar | |
| 1 (Data Constructor) | Base.Kinds |
| 2 (Data Constructor) | IL.Type, IL |
| KindSubst | Base.KindSubst |
| KindVariable | |
| 1 (Data Constructor) | Base.Kinds |
| 2 (Data Constructor) | IL.Type, IL |
| kindVars | Base.Kinds |
| KnownExtension | |
| 1 (Type/Class) | Curry.Syntax.Extension, CompilerOpts, Curry.Syntax.Type, Curry.Syntax |
| 2 (Data Constructor) | Curry.Syntax.Extension, Curry.Syntax.Type, Curry.Syntax |
| knownExtensions | Curry.Syntax.Utils, Curry.Syntax |
| KStar | Curry.FlatCurry.Type, Curry.FlatCurry.Annotated.Type, Curry.FlatCurry, Curry.FlatCurry.Typed.Type |
| KW_case | Curry.Syntax.Lexer, Curry.Syntax |
| KW_class | Curry.Syntax.Lexer, Curry.Syntax |
| KW_data | Curry.Syntax.Lexer, Curry.Syntax |
| KW_default | Curry.Syntax.Lexer, Curry.Syntax |
| KW_deriving | Curry.Syntax.Lexer, Curry.Syntax |
| KW_do | Curry.Syntax.Lexer, Curry.Syntax |
| KW_else | Curry.Syntax.Lexer, Curry.Syntax |
| KW_external | Curry.Syntax.Lexer, Curry.Syntax |
| KW_fcase | Curry.Syntax.Lexer, Curry.Syntax |
| KW_free | Curry.Syntax.Lexer, Curry.Syntax |
| KW_if | Curry.Syntax.Lexer, Curry.Syntax |
| KW_import | Curry.Syntax.Lexer, Curry.Syntax |
| KW_in | Curry.Syntax.Lexer, Curry.Syntax |
| KW_infix | Curry.Syntax.Lexer, Curry.Syntax |
| KW_infixl | Curry.Syntax.Lexer, Curry.Syntax |
| KW_infixr | Curry.Syntax.Lexer, Curry.Syntax |
| KW_instance | Curry.Syntax.Lexer, Curry.Syntax |
| KW_let | Curry.Syntax.Lexer, Curry.Syntax |
| KW_module | Curry.Syntax.Lexer, Curry.Syntax |
| KW_newtype | Curry.Syntax.Lexer, Curry.Syntax |
| KW_of | Curry.Syntax.Lexer, Curry.Syntax |
| KW_then | Curry.Syntax.Lexer, Curry.Syntax |
| KW_type | Curry.Syntax.Lexer, Curry.Syntax |
| KW_where | Curry.Syntax.Lexer, Curry.Syntax |