Pandora.Pattern.Functor.Distributive

Documentation

class Covariant t => Distributive t where

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

When providing a new instance, you should ensure it satisfies the two laws:
* Identity morphism: distribute . distribute ≡ identity
* Interchange collection: collect f ≡ distribute . comap f

Minimal complete definition

(>>-)

Methods

(>>-) :: Covariant u => u a -> (a -> t b) -> (t :. u) := b infixl 5

Infix and flipped version of collect

collect :: Covariant u => (a -> t b) -> u a -> (t :. u) := b

Prefix version of >>-

distribute :: Covariant u => ((u :. t) := a) -> (t :. u) := a

The dual of sequence

(>>>-) :: (Covariant u, Covariant v) => ((u :. v) := a) -> (a -> t b) -> (t :. (u :. v)) := b infixl 5

Infix versions of collect with various nesting levels

(>>>>-) :: (Covariant u, Covariant v, Covariant w) => ((u :. (v :. w)) := a) -> (a -> t b) -> (t :. (u :. (v :. w))) := b infixl 5

(>>>>>-) :: (Covariant u, Covariant v, Covariant w, Covariant j) => ((u :. (v :. (w :. j))) := a) -> (a -> t b) -> (t :. (u :. (v :. (w :. j)))) := b infixl 5

Instances

Distributive Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

(>>-) :: Covariant u => u a -> (a -> Identity b) -> (Identity :. u) := b

collect :: Covariant u => (a -> Identity b) -> u a -> (Identity :. u) := b

distribute :: Covariant u => ((u :. Identity) := a) -> (Identity :. u) := a

(>>>-) :: (Covariant u, Covariant v) => ((u :. v) := a) -> (a -> Identity b) -> (Identity :. (u :. v)) := b

(>>>>-) :: (Covariant u, Covariant v, Covariant w) => ((u :. (v :. w)) := a) -> (a -> Identity b) -> (Identity :. (u :. (v :. w))) := b

(>>>>>-) :: (Covariant u, Covariant v, Covariant w, Covariant j) => ((u :. (v :. (w :. j))) := a) -> (a -> Identity b) -> (Identity :. (u :. (v :. (w :. j)))) := b

Distributive (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy

Methods

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

collect :: Covariant u => (a -> Proxy b) -> u a -> (Proxy :. u) := b

distribute :: Covariant u => ((u :. Proxy) := a) -> (Proxy :. u) := a

(>>>-) :: (Covariant u, Covariant v) => ((u :. v) := a) -> (a -> Proxy b) -> (Proxy :. (u :. v)) := b

(>>>>-) :: (Covariant u, Covariant v, Covariant w) => ((u :. (v :. w)) := a) -> (a -> Proxy b) -> (Proxy :. (u :. (v :. w))) := b

(>>>>>-) :: (Covariant u, Covariant v, Covariant w, Covariant j) => ((u :. (v :. (w :. j))) := a) -> (a -> Proxy b) -> (Proxy :. (u :. (v :. (w :. j)))) := b

Distributive t => Distributive (Jack t)

Defined in Pandora.Paradigm.Basis.Jack

Methods

(>>-) :: Covariant u => u a -> (a -> Jack t b) -> (Jack t :. u) := b

collect :: Covariant u => (a -> Jack t b) -> u a -> (Jack t :. u) := b

distribute :: Covariant u => ((u :. Jack t) := a) -> (Jack t :. u) := a

(>>>-) :: (Covariant u, Covariant v) => ((u :. v) := a) -> (a -> Jack t b) -> (Jack t :. (u :. v)) := b

(>>>>-) :: (Covariant u, Covariant v, Covariant w) => ((u :. (v :. w)) := a) -> (a -> Jack t b) -> (Jack t :. (u :. (v :. w))) := b

(>>>>>-) :: (Covariant u, Covariant v, Covariant w, Covariant j) => ((u :. (v :. (w :. j))) := a) -> (a -> Jack t b) -> (Jack t :. (u :. (v :. (w :. j)))) := b

Distributive (Imprint e)

Defined in Pandora.Paradigm.Inventory.Imprint

Methods

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

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

distribute :: Covariant u => ((u :. Imprint e) := a) -> (Imprint e :. u) := a

(>>>-) :: (Covariant u, Covariant v) => ((u :. v) := a) -> (a -> Imprint e b) -> (Imprint e :. (u :. v)) := b

(>>>>-) :: (Covariant u, Covariant v, Covariant w) => ((u :. (v :. w)) := a) -> (a -> Imprint e b) -> (Imprint e :. (u :. (v :. w))) := b

(>>>>>-) :: (Covariant u, Covariant v, Covariant w, Covariant j) => ((u :. (v :. (w :. j))) := a) -> (a -> Imprint e b) -> (Imprint e :. (u :. (v :. (w :. j)))) := b

Distributive (Environment e)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

(>>-) :: Covariant u => u a -> (a -> Environment e b) -> (Environment e :. u) := b

collect :: Covariant u => (a -> Environment e b) -> u a -> (Environment e :. u) := b

distribute :: Covariant u => ((u :. Environment e) := a) -> (Environment e :. u) := a

(>>>-) :: (Covariant u, Covariant v) => ((u :. v) := a) -> (a -> Environment e b) -> (Environment e :. (u :. v)) := b

(>>>>-) :: (Covariant u, Covariant v, Covariant w) => ((u :. (v :. w)) := a) -> (a -> Environment e b) -> (Environment e :. (u :. (v :. w))) := b

(>>>>>-) :: (Covariant u, Covariant v, Covariant w, Covariant j) => ((u :. (v :. (w :. j))) := a) -> (a -> Environment e b) -> (Environment e :. (u :. (v :. (w :. j)))) := b

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

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

Methods

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

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

distribute :: Covariant u0 => ((u0 :. (t :> u)) := a) -> ((t :> u) :. u0) := a

(>>>-) :: (Covariant u0, Covariant v) => ((u0 :. v) := a) -> (a -> (t :> u) b) -> ((t :> u) :. (u0 :. v)) := b

(>>>>-) :: (Covariant u0, Covariant v, Covariant w) => ((u0 :. (v :. w)) := a) -> (a -> (t :> u) b) -> ((t :> u) :. (u0 :. (v :. w))) := b

(>>>>>-) :: (Covariant u0, Covariant v, Covariant w, Covariant j) => ((u0 :. (v :. (w :. j))) := a) -> (a -> (t :> u) b) -> ((t :> u) :. (u0 :. (v :. (w :. j)))) := b

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

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

Methods

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

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

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

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

(>>>>-) :: (Covariant u0, Covariant v, Covariant w) => ((u0 :. (v :. w)) := a) -> (a -> (t :< u) b) -> ((t :< u) :. (u0 :. (v :. w))) := b

(>>>>>-) :: (Covariant u0, Covariant v, Covariant w, Covariant j) => ((u0 :. (v :. (w :. j))) := a) -> (a -> (t :< u) b) -> ((t :< u) :. (u0 :. (v :. (w :. j)))) := b

Distributive (Tagged tag)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

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

distribute :: Covariant u => ((u :. Tagged tag) := a) -> (Tagged tag :. u) := a

(>>>-) :: (Covariant u, Covariant v) => ((u :. v) := a) -> (a -> Tagged tag b) -> (Tagged tag :. (u :. v)) := b

(>>>>-) :: (Covariant u, Covariant v, Covariant w) => ((u :. (v :. w)) := a) -> (a -> Tagged tag b) -> (Tagged tag :. (u :. (v :. w))) := b

(>>>>>-) :: (Covariant u, Covariant v, Covariant w, Covariant j) => ((u :. (v :. (w :. j))) := a) -> (a -> Tagged tag b) -> (Tagged tag :. (u :. (v :. (w :. j)))) := b

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

Defined in Pandora.Pattern.Functor.Distributive

Methods

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

collect :: Covariant u => (a -> e -> b) -> u a -> ((->) e :. u) := b

distribute :: Covariant u => ((u :. (->) e) := a) -> ((->) e :. u) := a

(>>>-) :: (Covariant u, Covariant v) => ((u :. v) := a) -> (a -> e -> b) -> ((->) e :. (u :. v)) := b

(>>>>-) :: (Covariant u, Covariant v, Covariant w) => ((u :. (v :. w)) := a) -> (a -> e -> b) -> ((->) e :. (u :. (v :. w))) := b

(>>>>>-) :: (Covariant u, Covariant v, Covariant w, Covariant j) => ((u :. (v :. (w :. j))) := a) -> (a -> e -> b) -> ((->) e :. (u :. (v :. (w :. j)))) := b