Index - R
| Range | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| Range' | FreeC.Backend.Agda.Syntax |
| Ranged | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| rangedThing | FreeC.Backend.Agda.Syntax |
| rangeFile | FreeC.Backend.Agda.Syntax |
| rangeIntervals | FreeC.Backend.Agda.Syntax |
| rangeInvariant | FreeC.Backend.Agda.Syntax |
| rangeOf | FreeC.Backend.Agda.Syntax |
| rangeToInterval | FreeC.Backend.Agda.Syntax |
| rangeToIntervalWithFile | FreeC.Backend.Agda.Syntax |
| rangle | FreeC.Pretty |
| RArrow | FreeC.Frontend.IR.Token |
| rational | FreeC.Pretty |
| RawApp | FreeC.Backend.Agda.Syntax |
| RawAppP | FreeC.Backend.Agda.Syntax |
| RawName | FreeC.Backend.Agda.Syntax |
| rawNameToString | FreeC.Backend.Agda.Syntax |
| RawQualid | FreeC.Backend.Coq.Syntax |
| RBrace | FreeC.Frontend.IR.Token |
| rbrace | FreeC.Pretty |
| rbracket | FreeC.Pretty |
| Rec | FreeC.Backend.Agda.Syntax |
| Record | |
| 1 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| RecordAssignment | FreeC.Backend.Agda.Syntax |
| RecordAssignments | FreeC.Backend.Agda.Syntax |
| RecordDef | FreeC.Backend.Agda.Syntax |
| RecordDefinition | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| RecordModuleInstance | FreeC.Backend.Agda.Syntax |
| RecordSentence | FreeC.Backend.Coq.Syntax |
| RecordSig | FreeC.Backend.Agda.Syntax |
| RecP | FreeC.Backend.Agda.Syntax |
| RecUpdate | FreeC.Backend.Agda.Syntax |
| Recursive | FreeC.IR.DependencyGraph |
| Ref | FreeC.IR.Reference |
| Reflected | FreeC.Backend.Agda.Syntax |
| refName | FreeC.IR.Reference |
| refs | FreeC.IR.Reference |
| refScope | FreeC.IR.Reference |
| Related | FreeC.Backend.Agda.Syntax |
| Relevance | FreeC.Backend.Agda.Syntax |
| Relevant | FreeC.Backend.Agda.Syntax |
| Remark | FreeC.Backend.Coq.Syntax |
| removeDecArg | FreeC.Environment |
| removeSingletonRawAppP | FreeC.Backend.Agda.Syntax |
| renameAgdaQualid | FreeC.Environment.Renamer |
| renameAndAddEntry | FreeC.Environment.Renamer |
| renameAndDefineAgdaTypeVar | FreeC.Environment.Renamer |
| renameAndDefineAgdaVar | FreeC.Environment.Renamer |
| renameAndDefineLIRVar | FreeC.Environment.Renamer |
| renameAndDefineTypeVar | FreeC.Environment.Renamer |
| renameAndDefineVar | FreeC.Environment.Renamer |
| renameArgs | FreeC.IR.Subst |
| renameArgsSubst | FreeC.IR.Subst |
| renameEntry | FreeC.Environment.Renamer |
| renameIdent | FreeC.Environment.Renamer |
| renameQualid | FreeC.Environment.Renamer |
| renameTypeArgs | FreeC.IR.Subst |
| renameTypeArgsSubst | FreeC.IR.Subst |
| Renaming | |
| 1 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| 2 (Type/Class) | FreeC.Backend.Agda.Syntax |
| Renaming' | FreeC.Backend.Agda.Syntax |
| rEnd | FreeC.Backend.Agda.Syntax |
| rEnd' | FreeC.Backend.Agda.Syntax |
| renderCompact | FreeC.Pretty |
| renderOneLine | FreeC.Pretty |
| renderPretty | FreeC.Pretty |
| renderPretty' | FreeC.Pretty |
| renFixity | FreeC.Backend.Agda.Syntax |
| renFrom | FreeC.Backend.Agda.Syntax |
| renTo | FreeC.Backend.Agda.Syntax |
| renToRange | FreeC.Backend.Agda.Syntax |
| replaceChildTerms | FreeC.IR.Subterm |
| replaceChildTerms' | FreeC.IR.Subterm |
| replaceSubterm | FreeC.IR.Subterm |
| replaceSubterm' | FreeC.IR.Subterm |
| replaceSubterms | FreeC.IR.Subterm |
| replaceSubterms' | FreeC.IR.Subterm |
| report | FreeC.Monad.Reporter |
| Reporter | FreeC.Monad.Reporter |
| ReporterIO | FreeC.Monad.Reporter |
| ReporterT | FreeC.Monad.Reporter |
| reportFatal | FreeC.Monad.Reporter |
| reportIOError | FreeC.Monad.Reporter |
| reportParsecError | FreeC.Util.Parsec |
| reportTo | FreeC.Monad.Reporter |
| reportToOrExit | FreeC.Monad.Reporter |
| reportUnificationError | FreeC.IR.Unification |
| Require | FreeC.Backend.Coq.Syntax |
| requireExportFrom | FreeC.Backend.Coq.Syntax |
| requireFrom | FreeC.Backend.Coq.Syntax |
| requireImportFrom | FreeC.Backend.Coq.Syntax |
| reservedIdents | |
| 1 (Function) | FreeC.Backend.Coq.Base |
| 2 (Function) | FreeC.Backend.Agda.Base |
| ReservedNotationIdent | FreeC.Backend.Coq.Syntax |
| resolverPass | FreeC.Pass.ResolverPass |
| ReturnType | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| Rewrite | FreeC.Backend.Agda.Syntax |
| RewriteEqn | FreeC.Backend.Agda.Syntax |
| RewriteEqn' | FreeC.Backend.Agda.Syntax |
| RewritePragma | FreeC.Backend.Agda.Syntax |
| RHS | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| RHS' | FreeC.Backend.Agda.Syntax |
| RightAssoc | FreeC.Backend.Agda.Syntax |
| RightAssociativity | FreeC.Backend.Coq.Syntax |
| rightMargin | FreeC.Backend.Agda.Syntax |
| rightOf | FreeC.IR.Subterm |
| RightToLeft | FreeC.Backend.Coq.Syntax |
| RigidTypeVarError | FreeC.IR.Unification |
| rootPos | FreeC.IR.Subterm |
| RParen | FreeC.Frontend.IR.Token |
| rparen | FreeC.Pretty |
| rStart | FreeC.Backend.Agda.Syntax |
| rStart' | FreeC.Backend.Agda.Syntax |
| RstFileType | FreeC.Backend.Agda.Syntax |
| RString | FreeC.Backend.Agda.Syntax |
| runConverter | FreeC.Monad.Converter |
| runConverterT | FreeC.Monad.Converter |
| runParsecOrFail | FreeC.Util.Parsec |
| runPass | FreeC.Pass |
| runPasses | FreeC.Pass |
| runPipeline | FreeC.Pipeline |
| runReporter | FreeC.Monad.Reporter |
| runReporterT | FreeC.Monad.Reporter |