Index - F
| Fail | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| failDoc | TraceError |
| Failure | TraceError |
| failValInv | Eval |
| fClass | Abstract |
| FClause | Extract |
| FConstructor | Extract |
| fDec | Abstract |
| FDeclaration | Extract |
| FExpr | Extract |
| FFun | Extract |
| Field | Abstract |
| FieldClass | Abstract |
| FieldInfo | |
| 1 (Type/Class) | Abstract |
| 2 (Data Constructor) | Abstract |
| Fields | Lexer |
| filterEnv | Value |
| findM | Util |
| Finite | Warshall |
| first12 | TCM |
| firstHalf | Termination |
| firstJust | Util |
| firstJustM | Util |
| FKind | Extract |
| flattenMax | Abstract |
| Flex | Warshall |
| FlexId | Warshall |
| flexScope | Warshall |
| fName | Abstract |
| for | Util |
| Forall | Extract |
| Force | Eval |
| force | Eval |
| force' | Eval |
| FPattern | Extract |
| FreeVars | Abstract |
| freeVars | Abstract |
| fresh | Abstract |
| freshen | Abstract |
| fromAllWriter | Util |
| fromIndexList | SparseMatrix |
| fromList | TreeShapedOrder |
| fromList12 | TCM |
| fromLists | SparseMatrix |
| fromOne | TCM |
| fromPProd | Polarity |
| fsep | PrettyTCM |
| FTelescope | Extract |
| FTVal | Extract |
| FType | Extract |
| fType | Abstract |
| FTypeSig | Extract |
| fullArity | Abstract |
| Fun | |
| 1 (Data Constructor) | Lexer |
| 2 (Type/Class) | Abstract |
| 3 (Data Constructor) | Abstract |
| fun | Abstract |
| funArity | Abstract |
| funClauses | Abstract |
| FunDecl | |
| 1 (Data Constructor) | Abstract |
| 2 (Data Constructor) | Concrete |
| funExtName | Abstract |
| FunK | Abstract |
| FunSig | TCM |
| funsTemplate | TCM |
| funType | Abstract |
| funTypeSig | Abstract |
| FunView | Extract |
| funView | Extract |
| FVal | Value |
| fwhen | Util |
| fwords | |
| 1 (Function) | Util |
| 2 (Function) | PrettyTCM |