| 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 |