Pandora.Pattern.Functor.Distributive

Documentation

class Covariant u => Distributive u 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 t => t a -> (a -> u b) -> (u :.: t) b infixl 5

Infix version of collect

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

Prefix version of >>-

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

The dual of sequence

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

Infix versions of collect with various nesting levels

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

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

Instances

Distributive Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

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

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

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

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

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

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

Distributive (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy

Methods

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

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

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

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

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

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

Distributive t => Distributive (Jack t)

Defined in Pandora.Paradigm.Basis.Jack

Methods

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

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

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

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

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

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

Distributive (Tagged tag)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

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

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

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

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

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

(Distributive t, Distributive u) => Distributive (TU Co Co t u)

Defined in Pandora.Paradigm.Junction.Schemes.TU

Methods

(>>-) :: Covariant t0 => t0 a -> (a -> TU Co Co t u b) -> (TU Co Co t u :.: t0) b

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

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

(>>>-) :: (Covariant t0, Covariant v) => (t0 :.: v) a -> (a -> TU Co Co t u b) -> (TU Co Co t u :.: (t0 :.: v)) b

(>>>>-) :: (Covariant t0, Covariant v, Covariant w) => (t0 :.: (v :.: w)) a -> (a -> TU Co Co t u b) -> (TU Co Co t u :.: (t0 :.: (v :.: w))) b

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

(Distributive (t u), Distributive u) => Distributive (UTU Co Co t u)

Defined in Pandora.Paradigm.Junction.Schemes.UTU

Methods

(>>-) :: Covariant t0 => t0 a -> (a -> UTU Co Co t u b) -> (UTU Co Co t u :.: t0) b

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

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

(>>>-) :: (Covariant t0, Covariant v) => (t0 :.: v) a -> (a -> UTU Co Co t u b) -> (UTU Co Co t u :.: (t0 :.: v)) b

(>>>>-) :: (Covariant t0, Covariant v, Covariant w) => (t0 :.: (v :.: w)) a -> (a -> UTU Co Co t u b) -> (UTU Co Co t u :.: (t0 :.: (v :.: w))) b

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

(Distributive t, Distributive u) => Distributive (UT Co Co t u)

Defined in Pandora.Paradigm.Junction.Schemes.UT

Methods

(>>-) :: Covariant t0 => t0 a -> (a -> UT Co Co t u b) -> (UT Co Co t u :.: t0) b

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

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

(>>>-) :: (Covariant t0, Covariant v) => (t0 :.: v) a -> (a -> UT Co Co t u b) -> (UT Co Co t u :.: (t0 :.: v)) b

(>>>>-) :: (Covariant t0, Covariant v, Covariant w) => (t0 :.: (v :.: w)) a -> (a -> UT Co Co t u b) -> (UT Co Co t u :.: (t0 :.: (v :.: w))) b

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

(Distributive t, Distributive u, Distributive v) => Distributive (TUV Co Co Co t u v)

Defined in Pandora.Paradigm.Junction.Schemes.TUV

Methods

(>>-) :: Covariant t0 => t0 a -> (a -> TUV Co Co Co t u v b) -> (TUV Co Co Co t u v :.: t0) b

collect :: Covariant t0 => (a -> TUV Co Co Co t u v b) -> t0 a -> (TUV Co Co Co t u v :.: t0) b

distribute :: Covariant t0 => (t0 :.: TUV Co Co Co t u v) a -> (TUV Co Co Co t u v :.: t0) a

(>>>-) :: (Covariant t0, Covariant v0) => (t0 :.: v0) a -> (a -> TUV Co Co Co t u v b) -> (TUV Co Co Co t u v :.: (t0 :.: v0)) b

(>>>>-) :: (Covariant t0, Covariant v0, Covariant w) => (t0 :.: (v0 :.: w)) a -> (a -> TUV Co Co Co t u v b) -> (TUV Co Co Co t u v :.: (t0 :.: (v0 :.: w))) b

(>>>>>-) :: (Covariant t0, Covariant v0, Covariant w, Covariant j) => (t0 :.: (v0 :.: (w :.: j))) a -> (a -> TUV Co Co Co t u v b) -> (TUV Co Co Co t u v :.: (t0 :.: (v0 :.: (w :.: j)))) b

(Distributive t, Distributive u, Distributive v, Distributive w) => Distributive (TUVW Co Co Co Co t u v w)

Defined in Pandora.Paradigm.Junction.Schemes.TUVW

Methods

(>>-) :: Covariant t0 => t0 a -> (a -> TUVW Co Co Co Co t u v w b) -> (TUVW Co Co Co Co t u v w :.: t0) b

collect :: Covariant t0 => (a -> TUVW Co Co Co Co t u v w b) -> t0 a -> (TUVW Co Co Co Co t u v w :.: t0) b

distribute :: Covariant t0 => (t0 :.: TUVW Co Co Co Co t u v w) a -> (TUVW Co Co Co Co t u v w :.: t0) a

(>>>-) :: (Covariant t0, Covariant v0) => (t0 :.: v0) a -> (a -> TUVW Co Co Co Co t u v w b) -> (TUVW Co Co Co Co t u v w :.: (t0 :.: v0)) b

(>>>>-) :: (Covariant t0, Covariant v0, Covariant w0) => (t0 :.: (v0 :.: w0)) a -> (a -> TUVW Co Co Co Co t u v w b) -> (TUVW Co Co Co Co t u v w :.: (t0 :.: (v0 :.: w0))) b

(>>>>>-) :: (Covariant t0, Covariant v0, Covariant w0, Covariant j) => (t0 :.: (v0 :.: (w0 :.: j))) a -> (a -> TUVW Co Co Co Co t u v w b) -> (TUVW Co Co Co Co t u v w :.: (t0 :.: (v0 :.: (w0 :.: j)))) b