Pandora.Paradigm.Inventory.Accumulator

Documentation

newtype Accumulator e a

Constructors

Accumulator (e :*: a)

Instances

Interpreted (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Associated Types

type Primary (Accumulator e) a :: Type

Methods

unwrap :: Accumulator e a -> Primary (Accumulator e) a

Covariant (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

(<$>) :: (a -> b) -> Accumulator e a -> Accumulator e b

comap :: (a -> b) -> Accumulator e a -> Accumulator e b

(<$) :: a -> Accumulator e b -> Accumulator e a

($>) :: Accumulator e a -> b -> Accumulator e b

void :: Accumulator e a -> Accumulator e ()

loeb :: Accumulator e (a <-| Accumulator e) -> Accumulator e a

(<&>) :: Accumulator e a -> (a -> b) -> Accumulator e b

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

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

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

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

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

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

Semigroup e => Bindable (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

(>>=) :: Accumulator e a -> (a -> Accumulator e b) -> Accumulator e b

(=<<) :: (a -> Accumulator e b) -> Accumulator e a -> Accumulator e b

bind :: (a -> Accumulator e b) -> Accumulator e a -> Accumulator e b

join :: ((Accumulator e :. Accumulator e) := a) -> Accumulator e a

(>=>) :: (a -> Accumulator e b) -> (b -> Accumulator e c) -> a -> Accumulator e c

(<=<) :: (b -> Accumulator e c) -> (a -> Accumulator e b) -> a -> Accumulator e c

Semigroup e => Applicative (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

(<*>) :: Accumulator e (a -> b) -> Accumulator e a -> Accumulator e b

apply :: Accumulator e (a -> b) -> Accumulator e a -> Accumulator e b

(*>) :: Accumulator e a -> Accumulator e b -> Accumulator e b

(<*) :: Accumulator e a -> Accumulator e b -> Accumulator e a

forever :: Accumulator e a -> Accumulator e b

(<**>) :: Applicative u => ((Accumulator e :. u) := (a -> b)) -> ((Accumulator e :. u) := a) -> (Accumulator e :. u) := b

(<***>) :: (Applicative u, Applicative v) => ((Accumulator e :. (u :. v)) := (a -> b)) -> ((Accumulator e :. (u :. v)) := a) -> (Accumulator e :. (u :. v)) := b

(<****>) :: (Applicative u, Applicative v, Applicative w) => ((Accumulator e :. (u :. (v :. w))) := (a -> b)) -> ((Accumulator e :. (u :. (v :. w))) := a) -> (Accumulator e :. (u :. (v :. w))) := b

Monoid e => Pointable (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

point :: a |-> Accumulator e

Monoid e => Transformer (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Associated Types

type Schema (Accumulator e) u = (r :: Type -> Type)

Methods

lay :: Covariant u => u ~> (Accumulator e :> u)

wrap :: Pointable u => Accumulator e ~> (Accumulator e :> u)

type Primary (Accumulator e) a

Defined in Pandora.Paradigm.Inventory.Accumulator

type Primary (Accumulator e) a = e :*: a

type Schema (Accumulator e) u

Defined in Pandora.Paradigm.Inventory.Accumulator

type Schema (Accumulator e) u = UT Co Co ((:*:) e) u

type Accumulated e t = Adaptable (Accumulator e) t

gather :: (Covariant t, Accumulated e t) => e -> t ()

Orphan instances

Covariant u => Covariant (UT Co Co ((:*:) e) u)

Methods

(<$>) :: (a -> b) -> UT Co Co ((:*:) e) u a -> UT Co Co ((:*:) e) u b

comap :: (a -> b) -> UT Co Co ((:*:) e) u a -> UT Co Co ((:*:) e) u b

(<$) :: a -> UT Co Co ((:*:) e) u b -> UT Co Co ((:*:) e) u a

($>) :: UT Co Co ((:*:) e) u a -> b -> UT Co Co ((:*:) e) u b

void :: UT Co Co ((:*:) e) u a -> UT Co Co ((:*:) e) u ()

loeb :: UT Co Co ((:*:) e) u (a <-| UT Co Co ((:*:) e) u) -> UT Co Co ((:*:) e) u a

(<&>) :: UT Co Co ((:*:) e) u a -> (a -> b) -> UT Co Co ((:*:) e) u b

(<$$>) :: Covariant u0 => (a -> b) -> ((UT Co Co ((:*:) e) u :. u0) := a) -> (UT Co Co ((:*:) e) u :. u0) := b

(<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((UT Co Co ((:*:) e) u :. (u0 :. v)) := a) -> (UT Co Co ((:*:) e) u :. (u0 :. v)) := b

(<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((UT Co Co ((:*:) e) u :. (u0 :. (v :. w))) := a) -> (UT Co Co ((:*:) e) u :. (u0 :. (v :. w))) := b

(<&&>) :: Covariant u0 => ((UT Co Co ((:*:) e) u :. u0) := a) -> (a -> b) -> (UT Co Co ((:*:) e) u :. u0) := b

(<&&&>) :: (Covariant u0, Covariant v) => ((UT Co Co ((:*:) e) u :. (u0 :. v)) := a) -> (a -> b) -> (UT Co Co ((:*:) e) u :. (u0 :. v)) := b

(<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((UT Co Co ((:*:) e) u :. (u0 :. (v :. w))) := a) -> (a -> b) -> (UT Co Co ((:*:) e) u :. (u0 :. (v :. w))) := b

(Semigroup e, Pointable u, Bindable u) => Bindable (UT Co Co ((:*:) e) u)

Methods

(>>=) :: UT Co Co ((:*:) e) u a -> (a -> UT Co Co ((:*:) e) u b) -> UT Co Co ((:*:) e) u b

(=<<) :: (a -> UT Co Co ((:*:) e) u b) -> UT Co Co ((:*:) e) u a -> UT Co Co ((:*:) e) u b

bind :: (a -> UT Co Co ((:*:) e) u b) -> UT Co Co ((:*:) e) u a -> UT Co Co ((:*:) e) u b

join :: ((UT Co Co ((:*:) e) u :. UT Co Co ((:*:) e) u) := a) -> UT Co Co ((:*:) e) u a

(>=>) :: (a -> UT Co Co ((:*:) e) u b) -> (b -> UT Co Co ((:*:) e) u c) -> a -> UT Co Co ((:*:) e) u c

(<=<) :: (b -> UT Co Co ((:*:) e) u c) -> (a -> UT Co Co ((:*:) e) u b) -> a -> UT Co Co ((:*:) e) u c

(Semigroup e, Applicative u) => Applicative (UT Co Co ((:*:) e) u)

Methods

(<*>) :: UT Co Co ((:*:) e) u (a -> b) -> UT Co Co ((:*:) e) u a -> UT Co Co ((:*:) e) u b

apply :: UT Co Co ((:*:) e) u (a -> b) -> UT Co Co ((:*:) e) u a -> UT Co Co ((:*:) e) u b

(*>) :: UT Co Co ((:*:) e) u a -> UT Co Co ((:*:) e) u b -> UT Co Co ((:*:) e) u b

(<*) :: UT Co Co ((:*:) e) u a -> UT Co Co ((:*:) e) u b -> UT Co Co ((:*:) e) u a

forever :: UT Co Co ((:*:) e) u a -> UT Co Co ((:*:) e) u b

(<**>) :: Applicative u0 => ((UT Co Co ((:*:) e) u :. u0) := (a -> b)) -> ((UT Co Co ((:*:) e) u :. u0) := a) -> (UT Co Co ((:*:) e) u :. u0) := b

(<***>) :: (Applicative u0, Applicative v) => ((UT Co Co ((:*:) e) u :. (u0 :. v)) := (a -> b)) -> ((UT Co Co ((:*:) e) u :. (u0 :. v)) := a) -> (UT Co Co ((:*:) e) u :. (u0 :. v)) := b

(<****>) :: (Applicative u0, Applicative v, Applicative w) => ((UT Co Co ((:*:) e) u :. (u0 :. (v :. w))) := (a -> b)) -> ((UT Co Co ((:*:) e) u :. (u0 :. (v :. w))) := a) -> (UT Co Co ((:*:) e) u :. (u0 :. (v :. w))) := b

(Pointable u, Monoid e) => Pointable (UT Co Co ((:*:) e) u)

Methods

point :: a |-> UT Co Co ((:*:) e) u