Pandora.Pattern.Functor.Distributive

Documentation

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

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

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

Minimal complete definition

(-<<)

Methods

(-<<) :: Covariant source target u => source a (t b) -> target (u a) (t (u b)) infixl 7

(--<<) :: Covariant source target u => source a (t b) -> target (u a) (t (u b)) infixl 6

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

(----<<) :: Covariant source target u => source a (t b) -> target (u a) (t (u b)) infixl 4

(-----<<) :: Covariant source target u => source a (t b) -> target (u a) (t (u b)) infixl 3

(------<<) :: Covariant source target u => source a (t b) -> target (u a) (t (u b)) infixl 2

(-------<<) :: Covariant source target u => source a (t b) -> target (u a) (t (u b)) infixl 1

Instances

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

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Inventory.Some.Provision

Methods

(-<<) :: Covariant (->) (->) u => (a -> Provision e b) -> u a -> Provision e (u b)

(--<<) :: Covariant (->) (->) u => (a -> Provision e b) -> u a -> Provision e (u b)

(---<<) :: Covariant (->) (->) u => (a -> Provision e b) -> u a -> Provision e (u b)

(----<<) :: Covariant (->) (->) u => (a -> Provision e b) -> u a -> Provision e (u b)

(-----<<) :: Covariant (->) (->) u => (a -> Provision e b) -> u a -> Provision e (u b)

(------<<) :: Covariant (->) (->) u => (a -> Provision e b) -> u a -> Provision e (u b)

(-------<<) :: Covariant (->) (->) u => (a -> Provision e b) -> u a -> Provision e (u b)

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

Defined in Pandora.Paradigm.Inventory.Some.Imprint

Methods

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

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

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

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

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

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

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

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

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

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

Methods

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

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

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

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

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

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

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

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

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

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

Methods

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Algebraic.Exponential

Methods

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

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

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

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

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

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

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