Index - F
| Fact | FreeC.Backend.Coq.Syntax |
| Field | FreeC.Backend.Agda.Syntax |
| FieldAssignment | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| FieldAssignment' | FreeC.Backend.Agda.Syntax |
| FieldSig | FreeC.Backend.Agda.Syntax |
| FileSpan | FreeC.IR.SrcSpan |
| FileType | FreeC.Backend.Agda.Syntax |
| fill | FreeC.Pretty |
| fillBreak | FreeC.Pretty |
| fillCat | FreeC.Pretty |
| fillSep | FreeC.Pretty |
| filterSubst | FreeC.IR.Subst |
| findFirstSubterm | FreeC.IR.Subterm |
| findSubtermPos | FreeC.IR.Subterm |
| findSubterms | FreeC.IR.Subterm |
| findSubtermWithPos | FreeC.IR.Subterm |
| firstNonTakenName | FreeC.Backend.Agda.Syntax |
| fittingNamedArg | FreeC.Backend.Agda.Syntax |
| Fix | FreeC.Backend.Coq.Syntax |
| FixBodies | FreeC.Backend.Coq.Syntax |
| FixBody | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| Fixity | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| Fixity' | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| fixityAssoc | FreeC.Backend.Agda.Syntax |
| FixityLevel | FreeC.Backend.Agda.Syntax |
| fixityLevel | FreeC.Backend.Agda.Syntax |
| fixityRange | FreeC.Backend.Agda.Syntax |
| FixMany | FreeC.Backend.Coq.Syntax |
| FixOne | FreeC.Backend.Coq.Syntax |
| Fixpoint | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| FixpointSentence | FreeC.Backend.Coq.Syntax |
| Flat | FreeC.Backend.Agda.Syntax |
| flattenExpr | FreeC.Pass.FlattenExprPass |
| flattenExprPass | FreeC.Pass.FlattenExprPass |
| float | FreeC.Pretty |
| FORALL | FreeC.Frontend.IR.Token |
| Forall | FreeC.Backend.Coq.Syntax |
| ForeignPragma | FreeC.Backend.Agda.Syntax |
| forFree | FreeC.Backend.Coq.Base |
| free | |
| 1 (Function) | FreeC.Backend.Coq.Base |
| 2 (Function) | FreeC.Backend.Agda.Base |
| 3 (Function) | FreeC.Backend.Agda.Converter.Free |
| freeArgBinder | FreeC.Backend.Agda.Converter.Free |
| freeArgs | FreeC.Backend.Coq.Base |
| freeBind | FreeC.Backend.Coq.Base |
| freeImpureCon | FreeC.Backend.Coq.Base |
| freePureCon | FreeC.Backend.Coq.Base |
| FreeTypeCon | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |
| freeTypeVars | FreeC.IR.Reference |
| freeTypeVarSet | FreeC.IR.Reference |
| FreeVariables | FreeC.Backend.Agda.Syntax |
| freeVariablesFromList | FreeC.Backend.Agda.Syntax |
| freeVars | FreeC.IR.Reference |
| freeVarSet | FreeC.IR.Reference |
| freshAgdaVar | FreeC.Environment.Fresh |
| freshArgPrefix | FreeC.Environment.Fresh |
| freshBoolPrefix | FreeC.Environment.Fresh |
| freshCoqIdent | FreeC.Environment.Fresh |
| freshCoqQualid | FreeC.Environment.Fresh |
| FreshEntry | FreeC.Environment.Entry |
| freshFuncPrefix | FreeC.Environment.Fresh |
| freshHaskellIdent | FreeC.Environment.Fresh |
| freshHaskellName | FreeC.Environment.Fresh |
| freshHaskellQName | FreeC.Environment.Fresh |
| freshIRQName | FreeC.Environment.Fresh |
| freshNormalformArgPrefix | FreeC.Environment.Fresh |
| FreshScope | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| freshSharingArgPrefix | FreeC.Environment.Fresh |
| freshTypeArgPrefix | FreeC.Environment.Fresh |
| freshTypeVar | FreeC.Environment.Fresh |
| freshTypeVarPrefix | FreeC.Environment.Fresh |
| fromNonRecursive | FreeC.Backend.Coq.Converter.TypeDecl |
| fromOrdinary | FreeC.Backend.Agda.Syntax |
| Fun | |
| 1 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| fun | |
| 1 (Function) | FreeC.Backend.Coq.Syntax |
| 2 (Function) | FreeC.Backend.Agda.Syntax |
| FuncDecl | |
| 1 (Type/Class) | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| funcDeclArgs | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| funcDeclIdent | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| funcDeclName | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| funcDeclQName | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| funcDeclReturnType | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| funcDeclRhs | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| funcDeclSrcSpan | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| funcDeclType | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| funcDeclTypeArgs | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| funcDeclTypeScheme | FreeC.IR.Syntax.FuncDecl, FreeC.IR.Syntax |
| funcDef | FreeC.Backend.Agda.Syntax |
| FuncEntry | FreeC.Environment.Entry |
| FunClause | FreeC.Backend.Agda.Syntax |
| funcSig | FreeC.Backend.Agda.Syntax |
| FuncType | |
| 1 (Data Constructor) | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |
| funcType | |
| 1 (Function) | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| 2 (Function) | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |
| funcTypeArg | |
| 1 (Function) | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| 2 (Function) | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |
| funcTypeRes | |
| 1 (Function) | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| 2 (Function) | FreeC.LiftedIR.Syntax.Type, FreeC.LiftedIR.Syntax |
| fuseIntervals | FreeC.Backend.Agda.Syntax |
| fuseRange | FreeC.Backend.Agda.Syntax |
| fuseRanges | FreeC.Backend.Agda.Syntax |