Day | |
1 (Type/Class) | Proarrow.Profunctor.Day |
2 (Data Constructor) | Proarrow.Profunctor.Day |
DayAct | |
1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
dayActAsOptic | Proarrow.Category.Monoidal.Optic |
DayExp | |
1 (Type/Class) | Proarrow.Profunctor.Day |
2 (Data Constructor) | Proarrow.Profunctor.Day |
DayUnit | |
1 (Type/Class) | Proarrow.Profunctor.Day |
2 (Data Constructor) | Proarrow.Profunctor.Day |
delta | Proarrow.Category.Bicategory |
dimap | Proarrow.Core, Proarrow.Profunctor, Proarrow |
dimapCorep | Proarrow.Profunctor.Corepresentable |
dimapDefault | Proarrow.Core, Proarrow.Category, Proarrow |
dimapRep | Proarrow.Profunctor.Representable |
DiscreteK | Proarrow.Category.Bicategory.Bidiscrete |
DK | Proarrow.Category.Bicategory.Bidiscrete |
DOb | Proarrow.Category.Double |
Double | Proarrow.Category.Double |