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

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

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

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

(Distributive (t u), Distributive u) => Distributive (Y t u)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

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

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

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

(Distributive t, Distributive u) => Distributive (T t u)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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

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

Defined in Pandora.Paradigm.Junction.Composition

Methods

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

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

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