Matryoshka.DistributiveLaw

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

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

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

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

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

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

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

distZygoT :: forall a w f. 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 h f. Functor f => Functor h => DistributiveLaw f h -> DistributiveLaw f (Cofree h)

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

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

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

distGApoT :: forall a m f. 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 h f. Functor f => Functor h => DistributiveLaw h f -> DistributiveLaw (Free h) f