Index
| Ann | Wave.Parser |
| bImpl | Wave.Builtins |
| BinOp | Wave.Builtins |
| bName | Wave.Builtins |
| bool | Wave.Builtins |
| bools | Wave.Builtins |
| bType | Wave.Builtins |
| Builtin | |
| 1 (Data Constructor) | Wave.Builtins |
| 2 (Type/Class) | Wave.Builtins |
| builtin | Wave.Builtins |
| builtinBinOp | Wave.Builtins |
| builtinFun | Wave.Builtins |
| Builtins | Wave.Builtins |
| builtins | Wave.Builtins |
| compile | Compile |
| conditions | PatternMatching |
| Constr | Wave.Common |
| DataType | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Type/Class) | Wave.Ast |
| Definition | |
| 1 (Type/Class) | Wave.Ast |
| 2 (Type/Class) | JS.Ast |
| EAnd | JS.Ast |
| EAnnotated | Wave.Ast |
| EBinOp | JS.Ast |
| ECase | Wave.Ast |
| EEqual | JS.Ast |
| EFfi | Wave.Ast |
| EFun | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Data Constructor) | JS.Ast |
| EFunCall | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Data Constructor) | JS.Ast |
| ELit | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Data Constructor) | JS.Ast |
| ERaw | JS.Ast |
| ERecord | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Data Constructor) | JS.Ast |
| ERecordAccess | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Data Constructor) | JS.Ast |
| EVar | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Data Constructor) | JS.Ast |
| EVariant | Wave.Ast |
| Expr | |
| 1 (Type/Class) | Wave.Ast |
| 2 (Type/Class) | JS.Ast |
| exprToFile | Examples |
| false | Wave.Builtins |
| File | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Type/Class) | Wave.Ast |
| 3 (Data Constructor) | JS.Ast |
| 4 (Type/Class) | JS.Ast |
| Fun | Wave.Builtins |
| Function | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Data Constructor) | JS.Ast |
| genVar | Translate |
| getAnn | Wave.Parser |
| Impl | Wave.Builtins |
| ints | Wave.Builtins |
| isSimpleExpr | JS.Pretty |
| Label | |
| 1 (Type/Class) | Wave.Common |
| 2 (Type/Class) | JS.Ast |
| LBool | JS.Ast |
| lexeme | Wave.Parser |
| LFloat | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Data Constructor) | JS.Ast |
| LInt | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Data Constructor) | JS.Ast |
| Lit | |
| 1 (Type/Class) | Wave.Ast |
| 2 (Type/Class) | JS.Ast |
| lit | Examples |
| LString | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Data Constructor) | JS.Ast |
| matchers | PatternMatching |
| maybe | Wave.Builtins |
| numberLiteral | Wave.Parser |
| parseLit | Wave.Parser |
| Parser | Wave.Parser |
| patmatch1 | Examples |
| patmatch2 | Examples |
| patmatch3 | Examples |
| patmatch4 | Examples |
| patmatch5 | Examples |
| PatResult | |
| 1 (Data Constructor) | PatternMatching |
| 2 (Type/Class) | PatternMatching |
| Pattern | Wave.Ast |
| PLit | Wave.Ast |
| pp | JS.Pretty |
| ppDef | JS.Pretty |
| ppExpr | JS.Pretty |
| ppFile | JS.Pretty |
| ppLit | JS.Pretty |
| ppRecord | JS.Pretty |
| ppStatement | JS.Pretty |
| ppSub | JS.Pretty |
| PRecord | Wave.Ast |
| PVar | Wave.Ast |
| PVariant | Wave.Ast |
| PWildcard | Wave.Ast |
| Record | |
| 1 (Type/Class) | Wave.Common |
| 2 (Type/Class) | JS.Ast |
| render | JS.Pretty |
| runParser | Wave.Parser |
| sc | Wave.Parser |
| SDef | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Data Constructor) | JS.Ast |
| SExpr | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Data Constructor) | JS.Ast |
| SIf | JS.Ast |
| SRet | JS.Ast |
| Statement | |
| 1 (Type/Class) | Wave.Ast |
| 2 (Type/Class) | JS.Ast |
| stringLiteral | Wave.Parser |
| strings | Wave.Builtins |
| Sub | |
| 1 (Type/Class) | Wave.Ast |
| 2 (Type/Class) | JS.Ast |
| symbol | Wave.Parser |
| tBool | Wave.Builtins |
| TermDef | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Type/Class) | Wave.Ast |
| tFloat | Wave.Builtins |
| tInt | Wave.Builtins |
| Translate | Translate |
| translate | Translate |
| translateDef | Translate |
| translateExpr | Translate |
| translateFile | Translate |
| translateLit | Translate |
| translatePattern | Translate |
| translatePatterns | Translate |
| translateStatement | Translate |
| translateSub | Translate |
| TransReader | Translate |
| TransState | Translate |
| true | Wave.Builtins |
| tString | Wave.Builtins |
| tUnit | Wave.Builtins |
| Type | Wave.Types |
| TypeApp | Wave.Types |
| TypeCon | |
| 1 (Data Constructor) | Wave.Types |
| 2 (Type/Class) | Wave.Common |
| TypeDef | Wave.Ast |
| TypeFun | Wave.Types |
| TypeRec | Wave.Types |
| TypeVar | |
| 1 (Data Constructor) | Wave.Types |
| 2 (Type/Class) | Wave.Common |
| unit | Wave.Builtins |
| Var | |
| 1 (Type/Class) | Wave.Ast |
| 2 (Type/Class) | JS.Ast |
| Variable | |
| 1 (Data Constructor) | Wave.Ast |
| 2 (Data Constructor) | JS.Ast |
| Variant | |
| 1 (Data Constructor) | Wave.Common |
| 2 (Type/Class) | Wave.Common |
| variant | Examples |