Pandora.Paradigm.Inventory.Accumulator

Documentation

newtype Accumulator e a

Constructors

Accumulator (e :*: a)

Instances

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

(.#..) :: (Accumulator e ~ v a, Category v) => v c d -> ((v a :. v b) := c) -> (v a :. v b) := d

(.#...) :: (Accumulator e ~ v a, Accumulator e ~ v b, Category v, Covariant (v a), Covariant (v b)) => v d e0 -> ((v a :. (v b :. v c)) := d) -> (v a :. (v b :. v c)) := e0

(.#....) :: (Accumulator e ~ v a, Accumulator e ~ v b, Accumulator e ~ v c, Category v, Covariant (v a), Covariant (v b), Covariant (v c)) => v e0 f -> ((v a :. (v b :. (v c :. v d))) := e0) -> (v a :. (v b :. (v c :. v d))) := f

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

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

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

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

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

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

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

(<%>) :: Accumulator e a -> Accumulator e (a -> b) -> 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

Interpreted (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Associated Types

type Primary (Accumulator e) a

Methods

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

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

(||=) :: Interpreted u => (Primary (Accumulator e) a -> Primary u b) -> Accumulator e a -> u b

(=||) :: Interpreted u => (Accumulator e a -> u b) -> Primary (Accumulator e) a -> Primary u b

(<$||=) :: (Covariant j, Interpreted u) => (Primary (Accumulator e) a -> Primary u b) -> (j := Accumulator e a) -> j := u b

(<$$||=) :: (Covariant j, Covariant k, Interpreted u) => (Primary (Accumulator e) a -> Primary u b) -> ((j :. k) := Accumulator e a) -> (j :. k) := u b

(<$$$||=) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Primary (Accumulator e) a -> Primary u b) -> ((j :. (k :. l)) := Accumulator e a) -> (j :. (k :. l)) := u b

(<$$$$||=) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Primary (Accumulator e) a -> Primary u b) -> ((j :. (k :. (l :. m))) := Accumulator e a) -> (j :. (k :. (l :. m))) := u b

(=||$>) :: (Covariant j, Interpreted u) => (Accumulator e a -> u b) -> (j := Primary (Accumulator e) a) -> j := Primary u b

(=||$$>) :: (Covariant j, Covariant k, Interpreted u) => (Accumulator e a -> u b) -> ((j :. k) := Primary (Accumulator e) a) -> (j :. k) := Primary u b

(=||$$$>) :: (Covariant j, Covariant k, Covariant l, Interpreted u) => (Accumulator e a -> u b) -> ((j :. (k :. l)) := Primary (Accumulator e) a) -> (j :. (k :. l)) := Primary u b

(=||$$$$>) :: (Covariant j, Covariant k, Covariant l, Covariant m, Interpreted u) => (Accumulator e a -> u b) -> ((j :. (k :. (l :. m))) := Primary (Accumulator e) a) -> (j :. (k :. (l :. m))) := Primary u b

Monoid e => Monadic (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

wrap :: forall (u :: Type -> Type). Pointable u (->) => Accumulator e ~> (Accumulator e :> u)

Adjoint (Accumulator e) (Imprint e) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory

Methods

(-|) :: (Accumulator e a -> b) -> a -> Imprint e b

(|-) :: (a -> Imprint e b) -> Accumulator e a -> b

Semigroup e => Bindable (Accumulator e) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

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

Monoid e => Pointable (Accumulator e) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

point :: a -> Accumulator e a

Covariant_ (Accumulator e) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

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

type Schematic Monad (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

type Schematic Monad (Accumulator e) = (<.:>) ((:*:) e)

type Primary (Accumulator e) a

Defined in Pandora.Paradigm.Inventory.Accumulator

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

type Accumulated e t = Adaptable (Accumulator e) t

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

Orphan instances

(Semigroup e, Applicative u) => Applicative ((:*:) e <.:> u)

Methods

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

apply :: ((:*:) e <.:> u) (a -> b) -> ((:*:) e <.:> u) a -> ((:*:) e <.:> u) b

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

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

forever :: ((:*:) e <.:> u) a -> ((:*:) e <.:> u) b

(<%>) :: ((:*:) e <.:> u) a -> ((:*:) e <.:> u) (a -> b) -> ((:*:) e <.:> u) b

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

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

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

(Semigroup e, Pointable u ((->) :: Type -> Type -> Type), Bindable u ((->) :: Type -> Type -> Type)) => Bindable ((:*:) e <.:> u) ((->) :: Type -> Type -> Type)

Methods

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

(Pointable u ((->) :: Type -> Type -> Type), Monoid e) => Pointable ((:*:) e <.:> u) ((->) :: Type -> Type -> Type)

Methods

point :: a -> ((:*:) e <.:> u) a