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 |