cataName | Data.Morphism.Cata |
CataOptions | |
1 (Type/Class) | Data.Morphism.Cata |
2 (Data Constructor) | Data.Morphism.Cata |
defaultOptions | Data.Morphism.Cata |
makeCata | Data.Morphism.Cata |
cataName | Data.Morphism.Cata |
CataOptions | |
1 (Type/Class) | Data.Morphism.Cata |
2 (Data Constructor) | Data.Morphism.Cata |
defaultOptions | Data.Morphism.Cata |
makeCata | Data.Morphism.Cata |