proarrow-0: Category theory with a central role for profunctors

Index - D

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
dayActAsOpticProarrow.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
deltaProarrow.Category.Bicategory
dimapProarrow.Core, Proarrow.Profunctor, Proarrow
dimapCorepProarrow.Profunctor.Corepresentable
dimapDefaultProarrow.Core, Proarrow.Category, Proarrow
dimapRepProarrow.Profunctor.Representable
DiscreteKProarrow.Category.Bicategory.Bidiscrete
DKProarrow.Category.Bicategory.Bidiscrete
DObProarrow.Category.Double
DoubleProarrow.Category.Double