Index - C
| CASE | FreeC.Frontend.IR.Token |
| Case | |
| 1 (Data Constructor) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| caseExprAlts | |
| 1 (Function) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 2 (Function) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| caseExprScrutinee | |
| 1 (Function) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 2 (Function) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| caseOf | FreeC.Backend.Agda.Syntax |
| CaseSplit | FreeC.Backend.Agda.Syntax |
| cat | FreeC.Pretty |
| CatchallPragma | FreeC.Backend.Agda.Syntax |
| char | FreeC.Pretty |
| checkPatternFuncDecl | FreeC.Pass.CompletePatternPass |
| CheckType | FreeC.Backend.Coq.Syntax |
| checkType | FreeC.Pass.KindCheckPass |
| childTerms | FreeC.IR.Subterm |
| ClassDefinition | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| ClassSentence | FreeC.Backend.Coq.Syntax |
| Cofix | FreeC.Backend.Coq.Syntax |
| CoFixpoint | FreeC.Backend.Coq.Syntax |
| Cohesion | FreeC.Backend.Agda.Syntax |
| CoInductive | |
| 1 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| colon | FreeC.Pretty |
| column | FreeC.Pretty |
| Comma | FreeC.Frontend.IR.Token |
| comma | FreeC.Pretty |
| Comment | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| 3 (Type/Class) | FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax |
| comment | FreeC.Backend.Coq.Syntax |
| commentedSentences | FreeC.Backend.Coq.Syntax |
| CommentSentence | FreeC.Backend.Coq.Syntax |
| commentSrcSpan | FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax |
| commentText | FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax |
| CompilePragma | FreeC.Backend.Agda.Syntax |
| completePatternPass | FreeC.Pass.CompletePatternPass |
| composeCohesion | FreeC.Backend.Agda.Syntax |
| composeModality | FreeC.Backend.Agda.Syntax |
| composeQuantity | FreeC.Backend.Agda.Syntax |
| composeRelevance | FreeC.Backend.Agda.Syntax |
| composeSubst | FreeC.IR.Subst |
| composeSubsts | FreeC.IR.Subst |
| Con | |
| 1 (Data Constructor) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| conApp | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| ConcreteDef | FreeC.Backend.Agda.Syntax |
| ConDecl | |
| 1 (Type/Class) | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| conDeclFields | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| conDeclIdent | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| conDeclName | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| conDeclQName | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| conDeclSrcSpan | FreeC.IR.Syntax.TypeDecl, FreeC.IR.Syntax |
| ConEntry | FreeC.Environment.Entry |
| ConIdent | FreeC.Frontend.IR.Token |
| conj | FreeC.Backend.Coq.Syntax |
| Conjecture | FreeC.Backend.Coq.Syntax |
| ConName | FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax |
| ConOCon | FreeC.Backend.Agda.Syntax |
| ConORec | FreeC.Backend.Agda.Syntax |
| ConOrigin | FreeC.Backend.Agda.Syntax |
| ConOSplit | FreeC.Backend.Agda.Syntax |
| ConOSystem | FreeC.Backend.Agda.Syntax |
| ConPat | |
| 1 (Type/Class) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 3 (Type/Class) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| 4 (Data Constructor) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| conPatName | |
| 1 (Function) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 2 (Function) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| conPatSrcSpan | |
| 1 (Function) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 2 (Function) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| conPatToExpr | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| ConRef | FreeC.IR.Reference |
| consConName | FreeC.IR.Base.Prelude |
| consecutiveAndSeparated | FreeC.Backend.Agda.Syntax |
| consPos | FreeC.IR.Subterm |
| ConstArg | |
| 1 (Type/Class) | FreeC.Backend.Coq.Analysis.ConstantArguments |
| 2 (Data Constructor) | FreeC.Backend.Coq.Analysis.ConstantArguments |
| constArgFreshIdent | FreeC.Backend.Coq.Analysis.ConstantArguments |
| constArgIdents | FreeC.Backend.Coq.Analysis.ConstantArguments |
| constArgIndicies | FreeC.Backend.Coq.Analysis.ConstantArguments |
| Constr | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| ConSymbol | FreeC.Frontend.IR.Token |
| context | FreeC.Backend.Coq.Syntax |
| ContextSentence | FreeC.Backend.Coq.Syntax |
| Continuous | FreeC.Backend.Agda.Syntax |
| continuous | FreeC.Backend.Agda.Syntax |
| continuousPerLine | FreeC.Backend.Agda.Syntax |
| convertAnonymousArg | FreeC.Backend.Coq.Converter.Arg |
| convertArg | |
| 1 (Function) | FreeC.Backend.Coq.Converter.Arg |
| 2 (Function) | FreeC.Backend.Agda.Converter.Arg |
| convertDataDecl | FreeC.Backend.Coq.Converter.TypeDecl, FreeC.Backend.Coq.Converter |
| convertDataDecls | FreeC.Backend.Coq.Converter.TypeDecl, FreeC.Backend.Coq.Converter |
| convertDecls | FreeC.Backend.Coq.Converter.Module, FreeC.Backend.Coq.Converter |
| Converter | FreeC.Monad.Converter |
| ConverterIO | FreeC.Monad.Converter |
| ConverterT | FreeC.Monad.Converter |
| convertExpr | FreeC.Backend.Coq.Converter.Expr, FreeC.Backend.Coq.Converter |
| convertFuncComponent | FreeC.Backend.Coq.Converter.FuncDecl, FreeC.Backend.Coq.Converter |
| convertFuncDecls | |
| 1 (Function) | FreeC.Backend.Coq.Converter.FuncDecl, FreeC.Backend.Coq.Converter |
| 2 (Function) | FreeC.Backend.Agda.Converter.FuncDecl, FreeC.Backend.Agda.Converter |
| convertFuncHead | FreeC.Backend.Coq.Converter.FuncDecl.Common |
| ConvertibleSrcSpan | FreeC.IR.SrcSpan, FreeC.Frontend.Haskell.SrcSpanConverter |
| convertImportDecl | |
| 1 (Function) | FreeC.Backend.Coq.Converter.Module |
| 2 (Function) | FreeC.Backend.Agda.Converter.Module |
| convertImportDecls | |
| 1 (Function) | FreeC.Backend.Coq.Converter.Module |
| 2 (Function) | FreeC.Backend.Agda.Converter.Module |
| convertLiftedAlt | FreeC.Backend.Coq.Converter.Expr |
| convertLiftedConType | FreeC.Backend.Agda.Converter.Type |
| convertLiftedExpr | |
| 1 (Function) | FreeC.Backend.Coq.Converter.Expr |
| 2 (Function) | FreeC.Backend.Agda.Converter.Expr |
| convertLiftedFuncType | FreeC.Backend.Agda.Converter.Type |
| convertLiftedType | FreeC.Backend.Coq.Converter.Type |
| convertModName | FreeC.Backend.Agda.Converter.Module |
| convertModule | |
| 1 (Function) | FreeC.Backend.Coq.Converter.Module, FreeC.Backend.Coq.Converter |
| 2 (Function) | FreeC.Backend.Agda.Converter.Module, FreeC.Backend.Agda.Converter |
| convertNonRecFuncDecl | FreeC.Backend.Coq.Converter.FuncDecl.NonRec, FreeC.Backend.Coq.Converter |
| convertNonRecFuncDecls | FreeC.Backend.Coq.Converter.FuncDecl.NonRec |
| convertRecFuncDecls | FreeC.Backend.Coq.Converter.FuncDecl.Rec, FreeC.Backend.Coq.Converter |
| convertRecFuncDeclsWithHelpers | FreeC.Backend.Coq.Converter.FuncDecl.Rec.WithHelpers |
| convertRecFuncDeclsWithHelpers' | FreeC.Backend.Coq.Converter.FuncDecl.Rec.WithHelpers |
| convertRecFuncDeclsWithSection | FreeC.Backend.Coq.Converter.FuncDecl.Rec.WithSections |
| convertSrcSpan | FreeC.IR.SrcSpan, FreeC.Frontend.Haskell.SrcSpanConverter |
| convertType | FreeC.Backend.Coq.Converter.Type, FreeC.Backend.Coq.Converter |
| convertType' | FreeC.Backend.Coq.Converter.Type, FreeC.Backend.Coq.Converter |
| convertTypeComponent | FreeC.Backend.Coq.Converter.TypeDecl, FreeC.Backend.Coq.Converter |
| convertTypeDecls | |
| 1 (Function) | FreeC.Backend.Coq.Converter.Module, FreeC.Backend.Coq.Converter |
| 2 (Function) | FreeC.Backend.Agda.Converter.TypeDecl, FreeC.Backend.Agda.Converter |
| convertTypeSynDecl | FreeC.Backend.Coq.Converter.TypeDecl |
| convertTypeVarDecl | FreeC.Backend.Agda.Converter.Arg |
| convertTypeVarDecls | FreeC.Backend.Coq.Converter.Arg |
| convertTypeVarDecls' | FreeC.Backend.Coq.Converter.Arg |
| coqKeywords | FreeC.Backend.Coq.Keywords |
| Corollary | FreeC.Backend.Coq.Syntax |
| countTelVars | FreeC.Backend.Agda.Syntax |
| CoverageCheck | FreeC.Backend.Agda.Syntax |
| customPragmaPrefix | FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax |