Pandora.Pattern.Functor.Distributive

Documentation

class Covariant_ t source target => Distributive t source target where

Let f :: Distributive g => (a -> g b)

When providing a new instance, you should ensure it satisfies:
* Identity morphism: (identity -<<) . (identity -<<) ≡ identity
* Interchange collection: (f -<<) ≡ (identity -<<) . (f -<$>-)

Methods

(-<<) :: Covariant_ u source target => source a (t b) -> target (u a) (t (u b)) infixl 5

Instances

Distributive (Proxy :: Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

(-<<) :: Covariant_ u (->) (->) => (a -> Proxy b) -> u a -> Proxy (u b)

Distributive (Imprint e) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

(-<<) :: Covariant_ u (->) (->) => (a -> Imprint e b) -> u a -> Imprint e (u b)

Distributive (Environment e) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

(-<<) :: Covariant_ u (->) (->) => (a -> Environment e b) -> u a -> Environment e (u b)

Distributive (Tagged tag) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(-<<) :: Covariant_ u (->) (->) => (a -> Tagged tag b) -> u a -> Tagged tag (u b)

Distributive (Schematic Monad t u) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Distributive (t :> u) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic

Methods

(-<<) :: Covariant_ u0 (->) (->) => (a -> (t :> u) b) -> u0 a -> (t :> u) (u0 b)

Distributive t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Distributive (Backwards t) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

(-<<) :: Covariant_ u (->) (->) => (a -> Backwards t b) -> u a -> Backwards t (u b)

Distributive t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Distributive (Reverse t) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

(-<<) :: Covariant_ u (->) (->) => (a -> Reverse t b) -> u a -> Reverse t (u b)

Distributive (Schematic Comonad t u) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Distributive (t :< u) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic

Methods

(-<<) :: Covariant_ u0 (->) (->) => (a -> (t :< u) b) -> u0 a -> (t :< u) (u0 b)

Distributive ((->) e :: Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Algebraic.Exponential

Methods

(-<<) :: Covariant_ u (->) (->) => (a -> (e -> b)) -> u a -> (e -> u b)