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