Index - D
| Data | |
| 1 (Type/Class) | Symantic.Typed.Data, Symantic.Typed |
| 2 (Data Constructor) | Symantic.Typed.Data, Symantic.Typed |
| Derivable | |
| 1 (Type/Class) | Symantic.Dityped.Derive, Symantic.Dityped |
| 2 (Type/Class) | Symantic.Typed.Derive, Symantic.Typed |
| derive | |
| 1 (Function) | Symantic.Dityped.Derive, Symantic.Dityped |
| 2 (Function) | Symantic.Typed.Derive, Symantic.Typed |
| Derived | |
| 1 (Type/Class) | Symantic.Dityped.Derive, Symantic.Dityped |
| 2 (Type/Class) | Symantic.Typed.Derive, Symantic.Typed |
| dicurry | Symantic.Dityped.Lang, Symantic.Dityped |
| Dicurryable | Symantic.Dityped.Lang, Symantic.Dityped |
| dimap | Symantic.Dityped.Lang, Symantic.Dityped |
| Dimapable | Symantic.Dityped.Lang, Symantic.Dityped |