Index - F
| Face3D | Rzk.TypeCheck |
| faces | Rzk.TypeCheck |
| First | |
| 1 (Data Constructor) | Language.Rzk.Syntax.Abs, Language.Rzk.Syntax |
| 2 (Data Constructor) | Language.Rzk.Free.Syntax |
| FirstE | Language.Rzk.Free.Syntax |
| FirstF | Language.Rzk.Free.Syntax |
| FirstT | Language.Rzk.Free.Syntax |
| firstT | Rzk.TypeCheck |
| FirstTE | Language.Rzk.Free.Syntax |
| format | Rzk.Format |
| formatDocument | Language.Rzk.VSCode.Handlers |
| formatEnabled | Language.Rzk.VSCode.Config |
| formatFile | Rzk.Format |
| formatFileWrite | Rzk.Format |
| formatTextEdits | Rzk.Format |
| FormattingEdit | |
| 1 (Type/Class) | Rzk.Format |
| 2 (Data Constructor) | Rzk.Format |
| Free | Free.Scoped |
| freeVars | Language.Rzk.Free.Syntax |
| freeVarsT | Language.Rzk.Free.Syntax |
| freeVarsT_ | Rzk.TypeCheck |
| fromAffine | Rzk.TypeCheck |
| fromScope' | Language.Rzk.Free.Syntax |
| fromTerm' | Language.Rzk.Free.Syntax |
| fromTermWith' | Language.Rzk.Free.Syntax |
| fromTypeError | Rzk.TypeCheck |
| fromVarIdent | Language.Rzk.Free.Syntax |
| FS | Free.Scoped |