Moduledistributive-0.6.3
Data.Distributive
- 1 class
- 2 values
- Packagedistributive-0.6.3
- Exports3
- LicenceBSD-3-Clause
Methods
distribute :: Functor f => f (g a) -> g (f a)collect :: Functor f => (a -> g b) -> f a -> g (f b)distributeM :: Monad m => m (g a) -> g (m a)collectM :: Monad m => (a -> g b) -> m a -> g (m b)
Instances25Distributive, …
Distributive ComplexDefined in distributive-0.6.3 · Data.DistributiveDistributive FirstDefined in distributive-0.6.3 · Data.DistributiveDistributive LastDefined in distributive-0.6.3 · Data.DistributiveDistributive MaxDefined in distributive-0.6.3 · Data.DistributiveDistributive MinDefined in distributive-0.6.3 · Data.DistributiveDistributive IdentityDefined in distributive-0.6.3 · Data.DistributiveDistributive DualDefined in distributive-0.6.3 · Data.DistributiveDistributive ProductDefined in distributive-0.6.3 · Data.DistributiveDistributive SumDefined in distributive-0.6.3 · Data.DistributiveDistributive Par1Defined in distributive-0.6.3 · Data.DistributiveDistributive ProxyDefined in distributive-0.6.3 · Data.DistributiveDistributive U1Defined in distributive-0.6.3 · Data.Distributive(Distributive m, Monad m) => Distributive (WrappedMonad m)Defined in distributive-0.6.3 · Data.DistributiveDistributive (Tagged t)Defined in distributive-0.6.3 · Data.DistributiveDistributive f => Distributive (Rec1 f)Defined in distributive-0.6.3 · Data.DistributiveDistributive f => Distributive (Backwards f)Defined in distributive-0.6.3 · Data.DistributiveDistributive f => Distributive (Reverse f)Defined in distributive-0.6.3 · Data.DistributiveDistributive g => Distributive (IdentityT g)Defined in distributive-0.6.3 · Data.DistributiveDistributive g => Distributive (ReaderT e g)Defined in distributive-0.6.3 · Data.DistributiveDistributive ((->) e)Defined in distributive-0.6.3 · Data.Distributive(Distributive a, Distributive b) => Distributive (a :*: b)Defined in distributive-0.6.3 · Data.Distributive(Distributive f, Distributive g) => Distributive (Product f g)Defined in distributive-0.6.3 · Data.DistributiveDistributive f => Distributive (M1 i c f)Defined in distributive-0.6.3 · Data.Distributive(Distributive a, Distributive b) => Distributive (a :.: b)Defined in distributive-0.6.3 · Data.Distributive(Distributive f, Distributive g) => Distributive (Compose f g)Defined in distributive-0.6.3 · Data.Distributive