| :+: | Language.LambdaPi.Impl.FreeFoil |
| :^: | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| absurd2 | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addImplicit | Language.LambdaPi.Syntax.Layout |
| addNameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addNameBinderList | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addRename | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addSubst | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addSubstList | Control.Monad.Foil.Internal, Control.Monad.Foil |
| addSubstPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| afterPrev | Language.LambdaPi.Syntax.Layout |
| AlexA# | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| AlexAcc | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 3 (Type/Class) | Language.SOAS.Syntax.Lex |
| 4 (Data Constructor) | Language.SOAS.Syntax.Lex |
| AlexAccNone | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| AlexAccSkip | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| AlexAddr | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Type/Class) | Language.SOAS.Syntax.Lex |
| AlexEOF | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| AlexError | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| alexGetByte | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| alexIndexInt16OffAddr | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| alexIndexInt32OffAddr | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| AlexInput | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Type/Class) | Language.SOAS.Syntax.Lex |
| alexInputPrevChar | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| AlexLastAcc | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 3 (Type/Class) | Language.SOAS.Syntax.Lex |
| 4 (Data Constructor) | Language.SOAS.Syntax.Lex |
| AlexLastSkip | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| alexMove | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| AlexNone | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| AlexReturn | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Type/Class) | Language.SOAS.Syntax.Lex |
| alexScan | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| alexScanUser | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| AlexSkip | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| alexStartPos | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| AlexToken | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| alex_accept | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| alex_actions | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| alex_action_3 | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| alex_action_4 | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| alex_action_5 | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| alex_action_6 | Language.SOAS.Syntax.Lex |
| alex_action_7 | Language.SOAS.Syntax.Lex |
| alex_base | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| alex_check | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| alex_deflt | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| alex_scan_tkn | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| alex_table | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| alex_tab_size | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| alphaEquiv | |
| 1 (Function) | Control.Monad.Free.Foil |
| 2 (Function) | Language.LambdaPi.Impl.Foil |
| alphaEquivRefreshed | |
| 1 (Function) | Control.Monad.Free.Foil |
| 2 (Function) | Language.LambdaPi.Impl.Foil |
| alphaEquivScoped | Control.Monad.Free.Foil |
| AndShowConNumber | Control.Monad.Foil.Internal.ValidNameBinders |
| AndShowDataType | Control.Monad.Foil.Internal.ValidNameBinders |
| AndShowFieldNumber | Control.Monad.Foil.Internal.ValidNameBinders |
| andThenUnifyNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| andThenUnifyPatterns | Control.Monad.Foil.Internal, Control.Monad.Foil |
| App | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| AppE | |
| 1 (Data Constructor) | Control.Monad.Foil.Example |
| 2 (Data Constructor) | Control.Monad.Free.Foil.Example |
| 3 (Data Constructor) | Language.LambdaPi.Impl.Foil |
| AppF | |
| 1 (Data Constructor) | Control.Monad.Free.Foil.Example |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| ApplyMappings | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| applyMappings | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| applySubsts | Language.SOAS.Impl |
| AppSig | Language.LambdaPi.Impl.FreeFoilTH |
| AProgram | Language.LambdaPi.Syntax.Abs |
| AScopedTerm | Language.LambdaPi.Syntax.Abs |
| assertDistinct | Control.Monad.Foil.Internal, Control.Monad.Foil |
| assertExt | Control.Monad.Foil.Internal, Control.Monad.Foil |
| AST | Control.Monad.Free.Foil |
| AtomSucc | Control.Monad.Foil.Internal.ValidNameBinders |
| AtomUnSucc | Control.Monad.Foil.Internal.ValidNameBinders |
| B | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| Binders | Language.SOAS.Syntax.Abs |
| Binders' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| Block | Language.LambdaPi.Syntax.Layout |
| BNFC'NoPosition | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Syntax.Abs |
| BNFC'Position | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 3 (Type/Class) | Language.SOAS.Syntax.Abs |
| 4 (Data Constructor) | Language.SOAS.Syntax.Abs |
| BTree | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Type/Class) | Language.SOAS.Syntax.Lex |
| Byte | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Type/Class) | Language.SOAS.Syntax.Lex |
| churchN | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| 3 (Function) | Language.LambdaPi.Impl.Foil |
| Column | Language.LambdaPi.Syntax.Layout |
| column | Language.LambdaPi.Syntax.Layout |
| Command | Language.LambdaPi.Syntax.Abs |
| Command' | Language.LambdaPi.Syntax.Abs |
| CommandCheck | Language.LambdaPi.Syntax.Abs |
| CommandCompute | Language.LambdaPi.Syntax.Abs |
| compExtendScope | Control.Monad.Foil.Internal |
| compNamesOf | Control.Monad.Foil.Internal |
| composeNameBinderRenamings | Control.Monad.Foil.Internal, Control.Monad.Foil |
| compUnsinkName | Control.Monad.Foil.Internal |
| compWithNameBinderList | Control.Monad.Foil.Internal |
| compWithRefreshedPattern | Control.Monad.Foil.Internal |
| compWithRefreshedPattern' | Control.Monad.Foil.Internal |
| concatD | |
| 1 (Function) | Language.LambdaPi.Syntax.Print |
| 2 (Function) | Language.SOAS.Syntax.Print |
| concatS | |
| 1 (Function) | Language.LambdaPi.Syntax.Print |
| 2 (Function) | Language.SOAS.Syntax.Print |
| confirm | Language.LambdaPi.Syntax.Layout |
| Constraint | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl |
| Constraint' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| ConstraintEq | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Impl.Generated |
| Context | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| Context' | Language.SOAS.Syntax.Abs |
| convertFromAST | Control.Monad.Free.Foil |
| convertFromScopedAST | Control.Monad.Free.Foil |
| convertFromTerm'Sig | Language.LambdaPi.Impl.FreeFoilTH |
| convertToAST | Control.Monad.Free.Foil |
| convertToScopedAST | Control.Monad.Free.Foil |
| convertToTerm'Sig | Language.LambdaPi.Impl.FreeFoilTH |
| coSinkabilityProof | Control.Monad.Foil.Internal, Control.Monad.Foil |
| CoSinkable | Control.Monad.Foil.Internal, Control.Monad.Foil |
| CountCons | Control.Monad.Foil.Internal.ValidNameBinders |
| CountFields | Control.Monad.Foil.Internal.ValidNameBinders |
| defaultMain | |
| 1 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Function) | Language.LambdaPi.Impl.FreeFoil |
| 3 (Function) | Language.LambdaPi.Impl.FoilTH |
| 4 (Function) | Language.LambdaPi.Impl.Foil |
| 5 (Function) | Language.SOAS.Impl |
| Definitive | Language.LambdaPi.Syntax.Layout |
| delimClose | Language.LambdaPi.Syntax.Layout |
| delimOpen | Language.LambdaPi.Syntax.Layout |
| delimSep | Language.LambdaPi.Syntax.Layout |
| deriveCoSinkable | Control.Monad.Foil.TH.MkInstancesFoil, Control.Monad.Foil.TH |
| deriveUnifiablePattern | Control.Monad.Foil.TH.MkInstancesFoil, Control.Monad.Foil.TH |
| DExt | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Distinct | |
| 1 (Type/Class) | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 2 (Data Constructor) | Control.Monad.Foil.Internal, Control.Monad.Foil |
| DistinctEvidence | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Doc | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Print |
| 2 (Type/Class) | Language.SOAS.Syntax.Print |
| doc | |
| 1 (Function) | Language.LambdaPi.Syntax.Print |
| 2 (Function) | Language.SOAS.Syntax.Print |
| eitherResIdent | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| emptyNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| emptyNameMap | Control.Monad.Foil.Internal, Control.Monad.Foil |
| emptyScope | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Err | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| Explicit | Language.LambdaPi.Syntax.Layout |
| Expr | |
| 1 (Type/Class) | Control.Monad.Foil.Example |
| 2 (Type/Class) | Control.Monad.Free.Foil.Example |
| 3 (Type/Class) | Language.LambdaPi.Impl.Foil |
| ExprF | Control.Monad.Free.Foil.Example |
| Ext | |
| 1 (Type/Class) | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 2 (Data Constructor) | Control.Monad.Foil.Internal, Control.Monad.Foil |
| extendNameBinderRenaming | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ExtEndo | Control.Monad.Foil.Internal |
| extendRenaming | Control.Monad.Foil.Internal, Control.Monad.Foil |
| extendRenamingNameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ExtendScope | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| extendScope | Control.Monad.Foil.Internal, Control.Monad.Foil |
| extendScopeFoilPattern' | Language.LambdaPi.Impl.FoilTH |
| extendScopePattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ExtEvidence | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ExtractRenamingK | Control.Monad.Foil.Internal |
| extractRenamingK | Control.Monad.Foil.Internal |
| extractTwoRenamingsK | Control.Monad.Foil.Internal |
| First | |
| 1 (Type/Class) | Control.Monad.Foil.Internal.ValidNameBinders |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 3 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 4 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| FirstE | Language.LambdaPi.Impl.Foil |
| FirstF | Language.LambdaPi.Impl.FreeFoil |
| FirstSig | Language.LambdaPi.Impl.FreeFoilTH |
| FoilApp | Language.LambdaPi.Impl.FoilTH |
| FoilAScopedTerm | Language.LambdaPi.Impl.FoilTH |
| FoilFirst | Language.LambdaPi.Impl.FoilTH |
| FoilLam | Language.LambdaPi.Impl.FoilTH |
| FoilPair | Language.LambdaPi.Impl.FoilTH |
| FoilPattern | |
| 1 (Type/Class) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Type/Class) | Language.LambdaPi.Impl.FoilTH |
| FoilPattern' | |
| 1 (Type/Class) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Type/Class) | Language.LambdaPi.Impl.FoilTH |
| FoilPatternPair | |
| 1 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FoilTH |
| FoilPatternVar | |
| 1 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FoilTH |
| FoilPatternWildcard | |
| 1 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FoilTH |
| FoilPi | Language.LambdaPi.Impl.FoilTH |
| FoilProduct | Language.LambdaPi.Impl.FoilTH |
| FoilScopedTerm' | Language.LambdaPi.Impl.FoilTH |
| FoilSecond | Language.LambdaPi.Impl.FoilTH |
| FoilTerm | Language.LambdaPi.Impl.FoilTH |
| FoilTerm' | Language.LambdaPi.Impl.FoilTH |
| FoilUniverse | Language.LambdaPi.Impl.FoilTH |
| FoilVar | Language.LambdaPi.Impl.FoilTH |
| FreeFoilConfig | |
| 1 (Type/Class) | Control.Monad.Free.Foil.TH.MkFreeFoil |
| 2 (Data Constructor) | Control.Monad.Free.Foil.TH.MkFreeFoil |
| freeFoilConNameModifier | Control.Monad.Free.Foil.TH.MkFreeFoil |
| freeFoilConvertFromName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| freeFoilConvertToName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| freeFoilNameModifier | Control.Monad.Free.Foil.TH.MkFreeFoil |
| freeFoilScopeNameModifier | Control.Monad.Free.Foil.TH.MkFreeFoil |
| FreeFoilTermConfig | |
| 1 (Type/Class) | Control.Monad.Free.Foil.TH.MkFreeFoil |
| 2 (Data Constructor) | Control.Monad.Free.Foil.TH.MkFreeFoil |
| freeFoilTermConfigs | Control.Monad.Free.Foil.TH.MkFreeFoil |
| freeVarsOf | Control.Monad.Free.Foil |
| freeVarsOfScopedAST | Control.Monad.Free.Foil |
| fromBinders' | Language.SOAS.Impl.Generated |
| fromConstraint' | Language.SOAS.Impl.Generated |
| fromFoilPattern | Language.LambdaPi.Impl.Foil |
| fromFoilPattern' | |
| 1 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Function) | Language.LambdaPi.Impl.FoilTH |
| 3 (Function) | Language.LambdaPi.Impl.Foil |
| fromFoilScopedTerm' | Language.LambdaPi.Impl.FoilTH |
| fromFoilTerm | Language.LambdaPi.Impl.Foil |
| fromFoilTerm' | |
| 1 (Function) | Language.LambdaPi.Impl.FoilTH |
| 2 (Function) | Language.LambdaPi.Impl.Foil |
| fromFoilTermClosed | |
| 1 (Function) | Language.LambdaPi.Impl.FoilTH |
| 2 (Function) | Language.LambdaPi.Impl.Foil |
| fromLambdaPi | Language.LambdaPi.Impl.FreeFoil |
| fromLambdaPi' | Language.LambdaPi.Impl.FreeFoil |
| fromMetaVarTyping' | Language.SOAS.Impl.Generated |
| fromNameBinderRenaming | Control.Monad.Foil.Internal, Control.Monad.Foil |
| fromNameBindersList | Control.Monad.Foil.Internal |
| fromOpArg' | Language.SOAS.Impl.Generated |
| fromOpArg'Sig | Language.SOAS.Impl.Generated |
| fromOpArgTyping' | Language.SOAS.Impl.Generated |
| fromOpArgTyping'Sig | Language.SOAS.Impl.Generated |
| fromOpTyping' | Language.SOAS.Impl.Generated |
| fromScopedOpArgTyping' | Language.SOAS.Impl.Generated |
| fromScopedOpArgTyping'Sig | Language.SOAS.Impl.Generated |
| fromSubst' | Language.SOAS.Impl.Generated |
| fromTerm' | |
| 1 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Function) | Language.SOAS.Impl.Generated |
| fromTerm'Sig | Language.SOAS.Impl.Generated |
| fromTermTyping' | Language.SOAS.Impl.Generated |
| fromType' | Language.SOAS.Impl.Generated |
| fromType'Sig | Language.SOAS.Impl.Generated |
| fromTypeBinders' | Language.SOAS.Impl.Generated |
| fromVarTyping' | Language.SOAS.Impl.Generated |
| genericZipMatchK | Data.ZipMatchK.Generic |
| genericZipMatchWithK | Data.ZipMatchK.Generic |
| getNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| getNameBindersRaw | Control.Monad.Foil.Internal |
| getNameMap | Control.Monad.Foil.Internal |
| getPattern'Binder | Language.LambdaPi.Impl.FreeFoilTH |
| getTerm'FromScopedTerm' | Language.LambdaPi.Impl.FreeFoilTH |
| ggetNameBinders | Control.Monad.Foil.Internal |
| ggetNameBindersRaw | Control.Monad.Foil.Internal |
| GHasNameBinders | Control.Monad.Foil.Internal |
| GInnerScopeOfAtom | Control.Monad.Foil.Internal.ValidNameBinders |
| GInnerScopeOfRepK | Control.Monad.Foil.Internal.ValidNameBinders |
| greallyUnsafeSetNameBindersRaw | Control.Monad.Foil.Internal |
| gsinkabilityProof1 | Control.Monad.Foil.Internal |
| gsinkabilityProof2 | Control.Monad.Foil.Internal |
| gsinkabilityProofK | Control.Monad.Foil.Internal |
| gsinkabilityProofK' | Control.Monad.Foil.Internal |
| GSinkableK | Control.Monad.Foil.Internal |
| gsinkK | Control.Monad.Foil.Internal |
| gunsafeSetNameBinders | Control.Monad.Foil.Internal |
| gunsafeWithPatternViaHasNameBinders | Control.Monad.Foil.Internal |
| GValidNameBinders | Control.Monad.Foil.Internal.ValidNameBinders |
| GZipMatch | Data.ZipMatchK.Generic |
| gzipMatchWith | Data.ZipMatchK.Generic |
| happyError | |
| 1 (Function) | Language.LambdaPi.Syntax.Par |
| 2 (Function) | Language.SOAS.Syntax.Par |
| HasNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| HasPosition | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| hasPosition | |
| 1 (Function) | Language.LambdaPi.Syntax.Abs |
| 2 (Function) | Language.SOAS.Syntax.Abs |
| Id | Control.Monad.Foil.Internal |
| identity | Language.LambdaPi.Impl.Foil |
| identitySubst | Control.Monad.Foil.Internal, Control.Monad.Foil |
| idExtendScope | Control.Monad.Foil.Internal |
| idNamesOf | Control.Monad.Foil.Internal |
| idUnsinkName | Control.Monad.Foil.Internal |
| idWithNameBinderList | Control.Monad.Foil.Internal |
| idWithRefreshedPattern | Control.Monad.Foil.Internal |
| idWithRefreshedPattern' | Control.Monad.Foil.Internal |
| Implicit | Language.LambdaPi.Syntax.Layout |
| indentation | Language.LambdaPi.Syntax.Layout |
| InjectName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| injectName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| interpretCommand | |
| 1 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Function) | Language.LambdaPi.Impl.FreeFoil |
| 3 (Function) | Language.LambdaPi.Impl.FoilTH |
| 4 (Function) | Language.LambdaPi.Impl.Foil |
| interpretProgram | |
| 1 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Function) | Language.LambdaPi.Impl.FreeFoil |
| 3 (Function) | Language.LambdaPi.Impl.FoilTH |
| 4 (Function) | Language.LambdaPi.Impl.Foil |
| intToRawIdentName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| intToVarIdent | Language.SOAS.FreeFoilConfig |
| isImplicit | Language.LambdaPi.Syntax.Layout |
| isLayout | Language.LambdaPi.Syntax.Layout |
| isLayoutClose | Language.LambdaPi.Syntax.Layout |
| isLayoutOpen | Language.LambdaPi.Syntax.Layout |
| isLayoutSep | Language.LambdaPi.Syntax.Layout |
| isParenClose | Language.LambdaPi.Syntax.Layout |
| isParenOpen | Language.LambdaPi.Syntax.Layout |
| isSolutionFor | Language.SOAS.Impl |
| isStop | Language.LambdaPi.Syntax.Layout |
| isTokenIn | Language.LambdaPi.Syntax.Layout |
| Lam | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| lam | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| 3 (Function) | Language.LambdaPi.Impl.Foil |
| LambdaPi | Language.LambdaPi.Impl.FreeFoil |
| LambdaPiF | Language.LambdaPi.Impl.FreeFoil |
| LamE | |
| 1 (Data Constructor) | Control.Monad.Foil.Example |
| 2 (Data Constructor) | Control.Monad.Free.Foil.Example |
| 3 (Data Constructor) | Language.LambdaPi.Impl.Foil |
| LamF | |
| 1 (Data Constructor) | Control.Monad.Free.Foil.Example |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| LamSig | Language.LambdaPi.Impl.FreeFoilTH |
| layoutClose | Language.LambdaPi.Syntax.Layout |
| LayoutDelimiters | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Layout |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Layout |
| layoutError | Language.LambdaPi.Syntax.Layout |
| layoutOpen | Language.LambdaPi.Syntax.Layout |
| layoutSep | Language.LambdaPi.Syntax.Layout |
| layoutStopWords | Language.LambdaPi.Syntax.Layout |
| layoutWords | Language.LambdaPi.Syntax.Layout |
| liftRM | Control.Monad.Foil.Relative |
| Line | Language.LambdaPi.Syntax.Layout |
| line | Language.LambdaPi.Syntax.Layout |
| lookupName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| lookupSubst | |
| 1 (Function) | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 2 (Function) | Language.SOAS.Impl |
| M0 | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| Mappings | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| matchPattern | |
| 1 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Function) | Language.LambdaPi.Impl.FoilTH |
| 3 (Function) | Language.LambdaPi.Impl.Foil |
| member | Control.Monad.Foil.Internal, Control.Monad.Foil |
| mergeNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| MetaVar | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Impl.Generated |
| MetaVarIdent | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Syntax.Abs |
| MetaVarSig | Language.SOAS.Impl.Generated |
| MetaVarTyping | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| 3 (Data Constructor) | Language.SOAS.Impl.Generated |
| MetaVarTyping' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| mkConvertFromFreeFoil | Control.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH |
| mkConvertFromSig | Control.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH |
| mkConvertToFreeFoil | Control.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH |
| mkConvertToSig | Control.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH |
| mkEsc | |
| 1 (Function) | Language.LambdaPi.Syntax.Print |
| 2 (Function) | Language.SOAS.Syntax.Print |
| mkExtendScopeFoilPattern | Control.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH |
| mkFoilData | Control.Monad.Foil.TH.MkFoilData, Control.Monad.Foil.TH |
| mkFoilPattern | Control.Monad.Foil.TH.MkFoilData, Control.Monad.Foil.TH |
| mkFreeFoil | Control.Monad.Free.Foil.TH.MkFreeFoil |
| mkFreeFoilConversions | Control.Monad.Free.Foil.TH.MkFreeFoil |
| mkFromFoil | Control.Monad.Foil.TH.MkFromFoil, Control.Monad.Foil.TH |
| mkFromFoilPattern | Control.Monad.Foil.TH.MkFromFoil, Control.Monad.Foil.TH |
| mkGetPatternBinder | Control.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH |
| mkGetScopedTerm | Control.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH |
| mkInstancesFoil | Control.Monad.Foil.TH.MkInstancesFoil, Control.Monad.Foil.TH |
| mkPatternSynonym | Control.Monad.Free.Foil.TH.PatternSynonyms, Control.Monad.Free.Foil.TH |
| mkPatternSynonyms | Control.Monad.Free.Foil.TH.PatternSynonyms, Control.Monad.Free.Foil.TH |
| mkPosToken | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| mkSignature | Control.Monad.Free.Foil.TH.Signature, Control.Monad.Free.Foil.TH |
| mkToFoil | Control.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH |
| mkToFoilPattern | Control.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH |
| mkToFoilTerm | Control.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH |
| mkWithRefreshedFoilPattern | Control.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH |
| myLexer | |
| 1 (Function) | Language.LambdaPi.Syntax.Par |
| 2 (Function) | Language.SOAS.Syntax.Par |
| N | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| Name | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NameBinderList | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NameBinderListCons | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NameBinderListEmpty | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameBinderListOf | Control.Monad.Foil.Internal |
| NameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameBindersList | Control.Monad.Foil.Internal |
| nameBindersSingleton | Control.Monad.Foil.Internal |
| nameId | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NameMap | |
| 1 (Type/Class) | Control.Monad.Foil.Internal, Control.Monad.Foil |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| nameMapToScope | Control.Monad.Foil.Internal |
| nameMapToSubstitution | Control.Monad.Foil.Internal, Control.Monad.Foil |
| nameOf | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NamesOf | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| namesOfPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| newLine | Language.LambdaPi.Syntax.Layout |
| nextPos | Language.LambdaPi.Syntax.Layout |
| nf | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| nf' | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| NoBinders | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Impl.Generated |
| Node | Control.Monad.Free.Foil |
| NotUnifiable | Control.Monad.Foil.Internal, Control.Monad.Foil |
| NoTypeBinders | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Impl.Generated |
| Op | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Impl.Generated |
| OpArg | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| 3 (Data Constructor) | Language.SOAS.Impl.Generated |
| OpArg' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| OpArg'Sig | Language.SOAS.Impl.Generated |
| OpArgSig | Language.SOAS.Impl.Generated |
| OpArgTyping | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| 3 (Data Constructor) | Language.SOAS.Impl.Generated |
| OpArgTyping' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| OpArgTyping'Sig | Language.SOAS.Impl.Generated |
| OpArgTypingSig | Language.SOAS.Impl.Generated |
| OpIdent | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Syntax.Abs |
| OpSig | Language.SOAS.Impl.Generated |
| OpTyping | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| 3 (Data Constructor) | Language.SOAS.Impl.Generated |
| 4 (Type/Class) | Language.SOAS.Impl |
| OpTyping' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| Pair | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| pairA | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| PairE | Language.LambdaPi.Impl.Foil |
| PairF | |
| 1 (Type/Class) | Language.LambdaPi.Impl.FreeFoil |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| PairMappings | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| pairMappings | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| PairSig | Language.LambdaPi.Impl.FreeFoilTH |
| parenClose | Language.LambdaPi.Syntax.Layout |
| parenOpen | Language.LambdaPi.Syntax.Layout |
| parenth | |
| 1 (Function) | Language.LambdaPi.Syntax.Print |
| 2 (Function) | Language.SOAS.Syntax.Print |
| Pattern | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Type/Class) | Language.LambdaPi.Impl.Foil |
| Pattern' | Language.LambdaPi.Syntax.Abs |
| PatternPair | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.Foil |
| PatternVar | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.Foil |
| PatternWildcard | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.Foil |
| pBinders | Language.SOAS.Syntax.Par |
| pCommand | Language.LambdaPi.Syntax.Par |
| pConstraint | Language.SOAS.Syntax.Par |
| pContext | Language.SOAS.Syntax.Par |
| PeelConT | Control.Monad.Foil.TH.Util |
| peelConT | Control.Monad.Foil.TH.Util |
| Pi | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| PiE | Language.LambdaPi.Impl.Foil |
| PiF | Language.LambdaPi.Impl.FreeFoil |
| PiSig | Language.LambdaPi.Impl.FreeFoilTH |
| PlainOpArg | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Impl.Generated |
| PlainOpArgSig | Language.SOAS.Impl.Generated |
| pListCommand | Language.LambdaPi.Syntax.Par |
| pListMetaVarTyping | Language.SOAS.Syntax.Par |
| pListOpArg | Language.SOAS.Syntax.Par |
| pListScopedOpArgTyping | Language.SOAS.Syntax.Par |
| pListScopedType | Language.SOAS.Syntax.Par |
| pListSubst | Language.SOAS.Syntax.Par |
| pListTerm | Language.SOAS.Syntax.Par |
| pListType | Language.SOAS.Syntax.Par |
| pListVarTyping | Language.SOAS.Syntax.Par |
| pMetaVarTyping | Language.SOAS.Syntax.Par |
| Pn | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| pOpArg | Language.SOAS.Syntax.Par |
| pOpArgTyping | Language.SOAS.Syntax.Par |
| pOpTyping | Language.SOAS.Syntax.Par |
| Position | Language.LambdaPi.Syntax.Layout |
| posLineCol | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| Posn | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Type/Class) | Language.SOAS.Syntax.Lex |
| pPattern | Language.LambdaPi.Syntax.Par |
| ppExpr | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| 3 (Function) | Language.LambdaPi.Impl.Foil |
| ppLambdaPi | Language.LambdaPi.Impl.FreeFoil |
| ppName | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| 3 (Function) | Language.LambdaPi.Impl.Foil |
| ppPattern | Language.LambdaPi.Impl.Foil |
| pProgram | Language.LambdaPi.Syntax.Par |
| Print | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Print |
| 2 (Type/Class) | Language.SOAS.Syntax.Print |
| printExpr | Language.LambdaPi.Impl.Foil |
| printFoilTerm | Language.LambdaPi.Impl.FoilTH |
| printPosn | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| printString | |
| 1 (Function) | Language.LambdaPi.Syntax.Print |
| 2 (Function) | Language.SOAS.Syntax.Print |
| printTree | |
| 1 (Function) | Language.LambdaPi.Syntax.Print |
| 2 (Function) | Language.SOAS.Syntax.Print |
| Product | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| ProductE | Language.LambdaPi.Impl.Foil |
| ProductF | Language.LambdaPi.Impl.FreeFoil |
| ProductSig | Language.LambdaPi.Impl.FreeFoilTH |
| Program | Language.LambdaPi.Syntax.Abs |
| Program' | Language.LambdaPi.Syntax.Abs |
| prPrec | |
| 1 (Function) | Language.LambdaPi.Syntax.Print |
| 2 (Function) | Language.SOAS.Syntax.Print |
| prt | |
| 1 (Function) | Language.LambdaPi.Syntax.Print |
| 2 (Function) | Language.SOAS.Syntax.Print |
| prToken | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| pScopedOpArgTyping | Language.SOAS.Syntax.Par |
| pScopedTerm | |
| 1 (Function) | Language.LambdaPi.Syntax.Par |
| 2 (Function) | Language.SOAS.Syntax.Par |
| pScopedType | Language.SOAS.Syntax.Par |
| pSubst | Language.SOAS.Syntax.Par |
| PT | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| pTerm | |
| 1 (Function) | Language.LambdaPi.Syntax.Par |
| 2 (Function) | Language.SOAS.Syntax.Par |
| pTerm1 | Language.LambdaPi.Syntax.Par |
| pTerm2 | Language.LambdaPi.Syntax.Par |
| pTermTyping | Language.SOAS.Syntax.Par |
| pType | Language.SOAS.Syntax.Par |
| pType1 | Language.SOAS.Syntax.Par |
| pType2 | Language.SOAS.Syntax.Par |
| pTypeBinders | Language.SOAS.Syntax.Par |
| pUnifier | Language.SOAS.Syntax.Par |
| PutBackLoT | Control.Monad.Foil.Internal.ValidNameBinders |
| putBackRenamingK | Control.Monad.Foil.Internal |
| putBackTwoRenamingsK | Control.Monad.Foil.Internal |
| pVarTyping | Language.SOAS.Syntax.Par |
| quickIndex | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| rawBindingName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawFreshName | Control.Monad.Foil.Internal |
| rawIdentName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawMember | Control.Monad.Foil.Internal |
| RawName | Control.Monad.Foil.Internal |
| rawQuantifiedNames | Control.Monad.Free.Foil.TH.MkFreeFoil |
| RawScope | Control.Monad.Foil.Internal |
| rawScopedTerm | Language.SOAS.FreeFoilConfig |
| rawScopedType | Language.SOAS.FreeFoilConfig |
| rawScopeName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawScopeToTerm | Language.SOAS.FreeFoilConfig |
| rawScopeToTermName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawScopeToType | Language.SOAS.FreeFoilConfig |
| rawSubScopeNames | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawSubTermNames | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawTermName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawTermToScopeName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawTypeVar | Language.SOAS.FreeFoilConfig |
| rawVar | Language.SOAS.FreeFoilConfig |
| rawVarConName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rawVarIdentToTermName | Control.Monad.Free.Foil.TH.MkFreeFoil |
| rbind | Control.Monad.Foil.Relative |
| RCons | Control.Monad.Foil.Internal |
| reallyUnsafeSetNameBindersRaw | Control.Monad.Foil.Internal |
| refreshAST | Control.Monad.Free.Foil |
| refreshExpr | Language.LambdaPi.Impl.Foil |
| refreshScopedAST | Control.Monad.Free.Foil |
| RelMonad | Control.Monad.Foil.Relative |
| removeName | Control.Monad.Foil.TH.Util |
| RenameBothBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| RenameLeftNameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| RenameRightNameBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| RenamingsK | Control.Monad.Foil.Internal |
| render | |
| 1 (Function) | Language.LambdaPi.Syntax.Print |
| 2 (Function) | Language.SOAS.Syntax.Print |
| replicateS | |
| 1 (Function) | Language.LambdaPi.Syntax.Print |
| 2 (Function) | Language.SOAS.Syntax.Print |
| ReqsZipMatch | Data.ZipMatchK.Generic |
| ReqsZipMatchFieldsWith | Data.ZipMatchK.Generic |
| ReqsZipMatchWith | Data.ZipMatchK.Generic |
| resolveLayout | Language.LambdaPi.Syntax.Layout |
| resWords | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| RNil | Control.Monad.Foil.Internal |
| rreturn | Control.Monad.Foil.Relative |
| RSkip | Control.Monad.Foil.Internal |
| S | Control.Monad.Foil.Internal, Control.Monad.Foil |
| SameInnerScope | Control.Monad.Foil.Internal.ValidNameBinders |
| SameNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Scope | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ScopedAST | |
| 1 (Type/Class) | Control.Monad.Free.Foil |
| 2 (Data Constructor) | Control.Monad.Free.Foil |
| ScopedOpArgTyping | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| 3 (Data Constructor) | Language.SOAS.Impl.Generated |
| ScopedOpArgTyping' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| ScopedOpArgTyping'Sig | Language.SOAS.Impl.Generated |
| ScopedOpArgTypingSig | Language.SOAS.Impl.Generated |
| ScopedTerm | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 3 (Type/Class) | Language.SOAS.Syntax.Abs |
| ScopedTerm' | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| 3 (Type/Class) | Language.SOAS.Impl.Generated |
| ScopedType | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| ScopedType' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| Second | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| SecondE | Language.LambdaPi.Impl.Foil |
| SecondF | Language.LambdaPi.Impl.FreeFoil |
| SecondSig | Language.LambdaPi.Impl.FreeFoilTH |
| ShowKindedScope | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowLocalizeError | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowSaturatedPatternType | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowScope | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowScopeN | Control.Monad.Foil.Internal.ValidNameBinders |
| signatureNameModifier | Control.Monad.Free.Foil.TH.MkFreeFoil |
| sink | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProof | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProof1 | Control.Monad.Foil.Internal |
| sinkabilityProofK | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Sinkable | Control.Monad.Foil.Internal, Control.Monad.Foil |
| SinkableK | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkK | Control.Monad.Foil.Internal |
| soasConfig | Language.SOAS.FreeFoilConfig |
| SomeBinders | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Impl.Generated |
| SomeTypeBinders | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Impl.Generated |
| Status | Language.LambdaPi.Syntax.Layout |
| sToken | Language.LambdaPi.Syntax.Layout |
| Subst | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| 3 (Data Constructor) | Language.SOAS.Impl.Generated |
| 4 (Type/Class) | Language.SOAS.Impl |
| Subst' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| SubstInAtom | Control.Monad.Foil.Internal.ValidNameBinders |
| SubstInRepK | Control.Monad.Foil.Internal.ValidNameBinders |
| substitute | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil |
| 3 (Function) | Language.LambdaPi.Impl.FoilTH |
| 4 (Function) | Language.LambdaPi.Impl.Foil |
| substitutePattern | Control.Monad.Free.Foil |
| substituteRefresh | Language.LambdaPi.Impl.Foil |
| substituteRefreshed | Control.Monad.Free.Foil |
| Substitution | Control.Monad.Foil.Internal, Control.Monad.Foil |
| TC | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| TD | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| Tentative | Language.LambdaPi.Syntax.Layout |
| Term | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Type/Class) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Type/Class) | Language.SOAS.Syntax.Abs |
| 4 (Type/Class) | Language.SOAS.Impl |
| Term' | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Type/Class) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Type/Class) | Language.SOAS.Syntax.Abs |
| 4 (Type/Class) | Language.SOAS.Impl.Generated |
| Term'Sig | |
| 1 (Type/Class) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| TermTyping | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| 3 (Data Constructor) | Language.SOAS.Impl.Generated |
| TermTyping' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| TI | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| TK | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| TL | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| toBinders' | Language.SOAS.Impl.Generated |
| toConstraint' | Language.SOAS.Impl.Generated |
| toFoilPattern | Language.LambdaPi.Impl.Foil |
| toFoilPattern' | |
| 1 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Function) | Language.LambdaPi.Impl.FoilTH |
| toFoilScopedTerm' | Language.LambdaPi.Impl.FoilTH |
| toFoilTerm | Language.LambdaPi.Impl.Foil |
| toFoilTerm' | Language.LambdaPi.Impl.FoilTH |
| toFoilTermClosed | Language.LambdaPi.Impl.Foil |
| Tok | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Type/Class) | Language.SOAS.Syntax.Lex |
| tok | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| Token | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Type/Class) | Language.SOAS.Syntax.Lex |
| tokenLength | Language.LambdaPi.Syntax.Layout |
| tokenLineCol | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| tokenPos | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| tokenPosn | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| tokens | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| tokenText | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| TokSymbol | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 3 (Type/Class) | Language.SOAS.Syntax.Lex |
| 4 (Data Constructor) | Language.SOAS.Syntax.Lex |
| toLambdaPi | Language.LambdaPi.Impl.FreeFoil |
| toLambdaPiClosed | Language.LambdaPi.Impl.FreeFoil |
| toLambdaPiLam | Language.LambdaPi.Impl.FreeFoil |
| toLambdaPiPi | Language.LambdaPi.Impl.FreeFoil |
| toMetaVarTyping' | Language.SOAS.Impl.Generated |
| toOpArg' | Language.SOAS.Impl.Generated |
| toOpArg'Sig | Language.SOAS.Impl.Generated |
| toOpArgTyping' | Language.SOAS.Impl.Generated |
| toOpArgTyping'Sig | Language.SOAS.Impl.Generated |
| toOpTyping' | Language.SOAS.Impl.Generated |
| toScopedOpArgTyping' | Language.SOAS.Impl.Generated |
| toScopedOpArgTyping'Sig | Language.SOAS.Impl.Generated |
| toSubst' | Language.SOAS.Impl.Generated |
| toTerm' | |
| 1 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 2 (Function) | Language.SOAS.Impl.Generated |
| toTerm'Closed | Language.LambdaPi.Impl.FreeFoilTH |
| toTerm'Sig | Language.SOAS.Impl.Generated |
| toTermTyping' | Language.SOAS.Impl.Generated |
| toType' | Language.SOAS.Impl.Generated |
| toType'Sig | Language.SOAS.Impl.Generated |
| toTypeBinders' | Language.SOAS.Impl.Generated |
| toVarTyping' | Language.SOAS.Impl.Generated |
| TS | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| tsID | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| tsText | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| TV | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| tvarName | Control.Monad.Foil.TH.Util |
| Type | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl |
| Type' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| Type'Sig | Language.SOAS.Impl.Generated |
| TypeBinders | Language.SOAS.Syntax.Abs |
| TypeBinders' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| TypeFun | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Impl.Generated |
| TypeFunSig | Language.SOAS.Impl.Generated |
| TypeProduct | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Impl.Generated |
| TypeProductSig | Language.SOAS.Impl.Generated |
| TypeVar | Language.SOAS.Syntax.Abs |
| T_MetaVarIdent | Language.SOAS.Syntax.Lex |
| T_OpIdent | Language.SOAS.Syntax.Lex |
| T_VarIdent | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| U2 | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| unescapeInitTail | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| UnifiableInPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| UnifiablePattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Unifier | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| Unifier' | Language.SOAS.Syntax.Abs |
| unifyInPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| UnifyNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| unifyNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| unifyPatterns | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Universe | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| UniverseE | Language.LambdaPi.Impl.Foil |
| UniverseF | Language.LambdaPi.Impl.FreeFoil |
| UniverseSig | Language.LambdaPi.Impl.FreeFoilTH |
| unpeelConT | Control.Monad.Foil.TH.Util |
| unsafeAssertFresh | Control.Monad.Foil.Internal |
| unsafeDistinct | Control.Monad.Foil.Internal |
| unsafeEqAST | Control.Monad.Free.Foil |
| unsafeEqExpr | Language.LambdaPi.Impl.Foil |
| unsafeEqPattern | |
| 1 (Function) | Control.Monad.Foil.Internal |
| 2 (Function) | Language.LambdaPi.Impl.Foil |
| unsafeEqScopedAST | Control.Monad.Free.Foil |
| unsafeExt | Control.Monad.Foil.Internal |
| unsafeMergeNameBinders | Control.Monad.Foil.Internal |
| unsafeMergeUnifyBinders | Control.Monad.Foil.Internal |
| UnsafeName | Control.Monad.Foil.Internal |
| UnsafeNameBinder | Control.Monad.Foil.Internal |
| UnsafeNameBinders | Control.Monad.Foil.Internal |
| unsafeParse | Language.SOAS.Impl.Generated |
| UnsafeScope | Control.Monad.Foil.Internal |
| unsafeSetNameBinders | Control.Monad.Foil.Internal |
| UnsafeSubstitution | Control.Monad.Foil.Internal |
| unsinkAST | Control.Monad.Free.Foil |
| UnsinkName | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| unsinkName | Control.Monad.Foil.Internal, Control.Monad.Foil |
| unsinkNamePattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| utf8Encode | |
| 1 (Function) | Language.LambdaPi.Syntax.Lex |
| 2 (Function) | Language.SOAS.Syntax.Lex |
| V2 | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Var | |
| 1 (Data Constructor) | Control.Monad.Free.Foil |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 3 (Data Constructor) | Language.SOAS.Syntax.Abs |
| VarE | |
| 1 (Data Constructor) | Control.Monad.Foil.Example |
| 2 (Data Constructor) | Language.LambdaPi.Impl.Foil |
| VarIdent | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 3 (Type/Class) | Language.SOAS.Syntax.Abs |
| 4 (Data Constructor) | Language.SOAS.Syntax.Abs |
| VarTyping | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| 3 (Data Constructor) | Language.SOAS.Impl.Generated |
| VarTyping' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| VoidS | Control.Monad.Foil.Internal, Control.Monad.Foil |
| voidSubst | Control.Monad.Foil.Internal, Control.Monad.Foil |
| whnf | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| 3 (Function) | Language.LambdaPi.Impl.FreeFoilTH |
| 4 (Function) | Language.LambdaPi.Impl.FreeFoil |
| 5 (Function) | Language.LambdaPi.Impl.FoilTH |
| 6 (Function) | Language.LambdaPi.Impl.Foil |
| whnf' | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil.Example |
| withFresh | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withFreshBinder | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withFreshPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| WithNameBinderList | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| withPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withRefreshed | Control.Monad.Foil.Internal, Control.Monad.Foil |
| withRefreshedFoilPattern' | Language.LambdaPi.Impl.FoilTH |
| WithRefreshedPattern | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| withRefreshedPattern | Control.Monad.Foil.Internal, Control.Monad.Foil |
| WithRefreshedPattern' | |
| 1 (Type/Class) | Control.Monad.Foil.Internal |
| 2 (Data Constructor) | Control.Monad.Foil.Internal |
| withRefreshedPattern' | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ZipLoT | Data.ZipMatchK.Mappings, Data.ZipMatchK |
| zipMatch1 | Data.ZipMatchK |
| zipMatch2 | Data.ZipMatchK |
| ZipMatchFields | Data.ZipMatchK.Generic |
| zipMatchFieldsWith | Data.ZipMatchK.Generic |
| ZipMatchK | Data.ZipMatchK.Generic, Data.ZipMatchK |
| zipMatchK | Data.ZipMatchK |
| zipMatchViaChooseLeft | Data.ZipMatchK |
| zipMatchViaEq | Data.ZipMatchK |
| zipMatchWith1 | Data.ZipMatchK |
| zipMatchWith2 | Data.ZipMatchK |
| zipMatchWithK | Data.ZipMatchK.Generic, Data.ZipMatchK |