Index - N
| Name | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Type/Class) | FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax |
| 3 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 4 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| name | FreeC.Backend.Agda.Syntax |
| Named | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| named | FreeC.Backend.Agda.Syntax |
| NamedArg | |
| 1 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| 2 (Type/Class) | FreeC.Backend.Agda.Syntax |
| namedArg | FreeC.Backend.Agda.Syntax |
| NamedName | FreeC.Backend.Agda.Syntax |
| namedSame | FreeC.Backend.Agda.Syntax |
| namedThing | FreeC.Backend.Agda.Syntax |
| Named_ | FreeC.Backend.Agda.Syntax |
| nameFieldA | FreeC.Backend.Agda.Syntax |
| nameFromQName | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
| NameId | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| nameId | FreeC.Backend.Agda.Syntax |
| NameInScope | FreeC.Backend.Agda.Syntax |
| nameInScope | FreeC.Backend.Agda.Syntax |
| nameNameParts | FreeC.Backend.Agda.Syntax |
| nameOf | FreeC.Backend.Agda.Syntax |
| NamePart | FreeC.Backend.Agda.Syntax |
| nameParts | FreeC.Backend.Agda.Syntax |
| nameRange | FreeC.Backend.Agda.Syntax |
| nameRoot | FreeC.Backend.Agda.Syntax |
| nameStringParts | FreeC.Backend.Agda.Syntax |
| nameToRawName | FreeC.Backend.Agda.Syntax |
| Nat | FreeC.Backend.Agda.Syntax |
| needsFreeArgs | FreeC.Environment |
| negateOpName | FreeC.IR.Base.Prelude |
| nest | FreeC.Pretty |
| nesting | FreeC.Pretty |
| NextLevel | FreeC.Backend.Coq.Syntax |
| nextName | FreeC.Backend.Agda.Syntax |
| nextStr | FreeC.Backend.Agda.Syntax |
| nf | FreeC.Backend.Coq.Base |
| nf' | FreeC.Backend.Coq.Base |
| NIdent | FreeC.Backend.Coq.Syntax |
| nIdent | FreeC.Backend.Coq.Syntax |
| nilConName | FreeC.IR.Base.Prelude |
| NoAssociativity | FreeC.Backend.Coq.Syntax |
| NoCoverageCheck | FreeC.Backend.Agda.Syntax |
| NoCoverageCheckPragma | FreeC.Backend.Agda.Syntax |
| NoEllipsis | FreeC.Backend.Agda.Syntax |
| NoEta | FreeC.Backend.Agda.Syntax |
| noFixity | FreeC.Backend.Agda.Syntax |
| noFixity' | FreeC.Backend.Agda.Syntax |
| noFreeVariables | FreeC.Backend.Agda.Syntax |
| NoName | FreeC.Backend.Agda.Syntax |
| noName | FreeC.Backend.Agda.Syntax |
| noName_ | FreeC.Backend.Agda.Syntax |
| NonAssoc | FreeC.Backend.Agda.Syntax |
| NonDet | FreeC.LiftedIR.Effect |
| nonDet | FreeC.Backend.Coq.Base |
| nonDetArg | FreeC.Backend.Coq.Base |
| noNotation | FreeC.Backend.Agda.Syntax |
| NonRecursive | FreeC.IR.DependencyGraph |
| NonStrict | FreeC.Backend.Agda.Syntax |
| nonStrictToIrr | FreeC.Backend.Agda.Syntax |
| nonStrictToRel | FreeC.Backend.Agda.Syntax |
| NonTerminating | FreeC.Backend.Agda.Syntax |
| NoOverlap | FreeC.Backend.Agda.Syntax |
| NoPlaceholder | FreeC.Backend.Agda.Syntax |
| noPlaceholder | FreeC.Backend.Agda.Syntax |
| NoPositivityCheck | FreeC.Backend.Agda.Syntax |
| NoPositivityCheckPragma | FreeC.Backend.Agda.Syntax |
| NoRange | FreeC.Backend.Agda.Syntax |
| noRange | FreeC.Backend.Agda.Syntax |
| Normalform | FreeC.LiftedIR.Effect |
| normalform | FreeC.Backend.Coq.Base |
| normalformBinder | FreeC.Backend.Coq.Base |
| NormalHole | FreeC.Backend.Agda.Syntax |
| NoSrcFile | FreeC.IR.SrcSpan |
| NoSrcSpan | FreeC.IR.SrcSpan |
| Notation | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Type/Class) | FreeC.Backend.Agda.Syntax |
| NotationBinding | |
| 1 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| 2 (Type/Class) | FreeC.Backend.Coq.Syntax |
| NotationDefinition | FreeC.Backend.Coq.Syntax |
| NotationIdentBinding | FreeC.Backend.Coq.Syntax |
| NotationSentence | FreeC.Backend.Coq.Syntax |
| notationSentence | FreeC.Backend.Coq.Syntax |
| NotationToken | FreeC.Backend.Coq.Syntax |
| NotDelayed | FreeC.Backend.Agda.Syntax |
| notEquals | FreeC.Backend.Coq.Syntax |
| NoTerminationCheck | FreeC.Backend.Agda.Syntax |
| NotHidden | FreeC.Backend.Agda.Syntax |
| NotInScope | FreeC.Backend.Agda.Syntax |
| NotInstanceDef | FreeC.Backend.Agda.Syntax |
| NotMacroDef | FreeC.Backend.Agda.Syntax |
| notSimilar | FreeC.IR.Similar |
| notVisible | FreeC.Backend.Agda.Syntax |
| NoUniverseCheck | FreeC.Backend.Agda.Syntax |
| NoUniverseCheckPragma | FreeC.Backend.Agda.Syntax |
| noUserQuantity | FreeC.Backend.Agda.Syntax |
| NoWhere | FreeC.Backend.Agda.Syntax |
| NSymbol | FreeC.Backend.Coq.Syntax |
| nSymbol | FreeC.Backend.Coq.Syntax |
| nType | FreeC.Backend.Coq.Base |
| Num | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| NumHoles | FreeC.Backend.Agda.Syntax |
| numHoles | FreeC.Backend.Agda.Syntax |
| NumPat | FreeC.Backend.Coq.Syntax |