Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Control.Subcategory.Zip
Documentation
class CSemialign f => CZip f where Source #
Minimal complete definition
Methods
czipWith :: (Dom f a, Dom f b, Dom f c) => (a -> b -> c) -> f a -> f b -> f c Source #
czip :: (Dom f a, Dom f b, Dom f (a, b)) => f a -> f b -> f (a, b) Source #
Instances
class CZip f => CUnzip f where Source #
Minimal complete definition
Methods
cunzip :: (Dom f (a, b), Dom f a, Dom f b) => f (a, b) -> (f a, f b) Source #
cunzipWith :: (Dom f c, Dom f a, Dom f b) => (c -> (a, b)) -> f c -> (f a, f b) Source #
Instances
Instances
Functor f => Functor (CZippy f) Source # | |
Repeat f => Repeat (CZippy f) Source # | |
Defined in Control.Subcategory.Zip | |
Semialign f => Semialign (CZippy f) Source # | |
Zip f => Zip (CZippy f) Source # | |
CFunctor f => CFunctor (CZippy f) Source # | |
Constrained (CZippy f) Source # | |
Defined in Control.Subcategory.Zip | |
CSemialign f => CSemialign (CZippy f) Source # | |
Defined in Control.Subcategory.Zip | |
CRepeat f => CRepeat (CZippy f) Source # | |
CZip f => CZip (CZippy f) Source # | |
(CRepeat f, Dom f a, Monoid a) => Monoid (CZippy f a) Source # | |
(CZip f, Dom f a, Semigroup a) => Semigroup (CZippy f a) Source # | |
Read (f a) => Read (CZippy f a) Source # | |
Show (f a) => Show (CZippy f a) Source # | |
Eq (f a) => Eq (CZippy f a) Source # | |
Ord (f a) => Ord (CZippy f a) Source # | |
Defined in Control.Subcategory.Zip | |
type Dom (CZippy f) a Source # | |
Defined in Control.Subcategory.Zip |
class CZip f => CRepeat f where Source #
Instances
CRepeat ZipList Source # | |
CRepeat Identity Source # | |
CRepeat Tree Source # | |
CRepeat NonEmpty Source # | |
CRepeat Maybe Source # | |
CRepeat [] Source # | |
Defined in Control.Subcategory.Zip | |
Repeat f => CRepeat (WrapFunctor f) Source # | |
Defined in Control.Subcategory.Zip Methods crepeat :: Dom (WrapFunctor f) a => a -> WrapFunctor f a Source # | |
CRepeat f => CRepeat (CZippy f) Source # | |
CRepeat ((->) e) Source # | |
Defined in Control.Subcategory.Zip |