Index - G
| Generalizability | FreeC.Backend.Coq.Syntax |
| Generalizable | FreeC.Backend.Coq.Syntax |
| Generalize | FreeC.Backend.Agda.Syntax |
| Generalized | |
| 1 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| generateArgBinder | FreeC.Backend.Coq.Converter.Arg |
| generateBind | FreeC.Backend.Coq.Converter.Free |
| generateBinds | FreeC.Backend.Coq.Converter.Free |
| generatedLibName | |
| 1 (Function) | FreeC.Backend.Coq.Base |
| 2 (Function) | FreeC.Backend.Agda.Base |
| generateImport | FreeC.Backend.Coq.Converter.Module |
| generateInductionScheme | FreeC.Backend.Coq.Converter.TypeDecl.InductionScheme |
| generatePure | |
| 1 (Function) | FreeC.Backend.Coq.Converter.Free |
| 2 (Function) | FreeC.Backend.Agda.Converter.Free |
| generateTypeclassInstances | FreeC.Backend.Coq.Converter.TypeDecl.TypeclassInstances |
| genericApply | FreeC.Backend.Coq.Converter.Free |
| genericApply' | FreeC.Backend.Coq.Converter.Free |
| genericArgDecls | FreeC.Backend.Coq.Converter.Free |
| genericArgVariables | FreeC.Backend.Coq.Converter.Free |
| genericForFree | FreeC.Backend.Coq.Converter.Free |
| GenPart | FreeC.Backend.Agda.Syntax |
| getArgInfo | FreeC.Backend.Agda.Syntax |
| getCohesion | FreeC.Backend.Agda.Syntax |
| getCohesionMod | FreeC.Backend.Agda.Syntax |
| getEnv | FreeC.Monad.Converter |
| getFreeVariables | FreeC.Backend.Agda.Syntax |
| getFreeVariablesArgInfo | FreeC.Backend.Agda.Syntax |
| getFuncName | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| getHiding | FreeC.Backend.Agda.Syntax |
| getHidingArgInfo | FreeC.Backend.Agda.Syntax |
| getIntervalFile | FreeC.Backend.Agda.Syntax |
| getModality | FreeC.Backend.Agda.Syntax |
| getModalityArgInfo | FreeC.Backend.Agda.Syntax |
| getNameOf | FreeC.Backend.Agda.Syntax |
| getOrigin | FreeC.Backend.Agda.Syntax |
| getOriginArgInfo | FreeC.Backend.Agda.Syntax |
| getQuantity | FreeC.Backend.Agda.Syntax |
| getQuantityMod | FreeC.Backend.Agda.Syntax |
| getRange | FreeC.Backend.Agda.Syntax |
| getRelevance | FreeC.Backend.Agda.Syntax |
| getRelevanceMod | FreeC.Backend.Agda.Syntax |
| getToken | FreeC.Frontend.IR.Scanner |
| getTokenPos | FreeC.Frontend.IR.Scanner |
| getTypeConName | FreeC.IR.Syntax.Type, FreeC.IR.Syntax |
| Global | FreeC.Backend.Coq.Syntax |
| group | FreeC.Pretty |
| groupModules | FreeC.IR.DependencyGraph |