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 |
| 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 |
| deriveZipMatch | Control.Monad.Free.Foil.TH.ZipMatch, Control.Monad.Free.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 | Language.LambdaPi.Syntax.Print |
| doc | Language.LambdaPi.Syntax.Print |