Matryoshka.DistributiveLaw

type DistributiveLaw :: (Type -> Type) -> (Type -> Type) -> Typetype DistributiveLaw f g = forall a. f (g a) -> g (f a)

distApplicative :: forall f g. Traversable f => Applicative g => DistributiveLaw f g

distDistributive :: forall f g. Traversable f => Distributive g => DistributiveLaw f g

distCata :: forall f. Functor f => DistributiveLaw f Identity

distPara :: forall t f. Corecursive t f => DistributiveLaw f (Tuple t)

distParaT :: forall t f w. Corecursive t f => Comonad w => DistributiveLaw f w -> DistributiveLaw f (EnvT t w)

distZygo :: forall f a. Functor f => Algebra f a -> DistributiveLaw f (Tuple a)

distZygoT :: forall f w a. Functor f => Comonad w => Algebra f a -> DistributiveLaw f w -> DistributiveLaw f (EnvT a w)

distHisto :: forall f. Functor f => DistributiveLaw f (Cofree f)

distGHisto :: forall f h. Functor f => Functor h => DistributiveLaw f h -> DistributiveLaw f (Cofree h)

distAna :: forall f. Functor f => DistributiveLaw Identity f

distApo :: forall t f. Recursive t f => DistributiveLaw (Either t) f

distGApo :: forall f a. Functor f => Coalgebra f a -> DistributiveLaw (Either a) f

distGApoT :: forall f m a. Functor f => Functor m => Coalgebra f a -> DistributiveLaw m f -> DistributiveLaw (ExceptT a m) f

distFutu :: forall f. Functor f => DistributiveLaw (Free f) f

distGFutu :: forall f h. Functor f => Functor h => DistributiveLaw h f -> DistributiveLaw (Free h) f