Pandora.Paradigm.Inventory.Some.Accumulator

Documentation

newtype Accumulator e a

Constructors

Accumulator (e :*: a)

Instances

Semigroup e => Semimonoidal (-->) (:*:) (:*:) (Accumulator e :: Type -> Type)

Defined in Pandora.Paradigm.Inventory.Some.Accumulator

Methods

mult :: forall (a :: k) (b :: k). (Accumulator e a :*: Accumulator e b) --> Accumulator e (a :*: b)

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

Defined in Pandora.Paradigm.Inventory.Some.Accumulator

Methods

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Inventory.Some.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

(<~~~~~~~~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(<~~~~~~~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(<~~~~~~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(<~~~~~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(<~~~~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(<~~~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(<~~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(<~) :: ((->) < Accumulator e a) < Primary (Accumulator e) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Accumulator e) a) < Primary u b) -> ((->) < Accumulator e a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Accumulator e a) < u b) -> ((->) < Primary (Accumulator e) a) < Primary u b

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

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

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

Defined in Pandora.Paradigm.Inventory.Some.Accumulator

Methods

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

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

Defined in Pandora.Paradigm.Inventory.Some.Accumulator

Methods

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

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

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

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

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

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

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

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

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u a) -> Accumulator e (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u a) -> Accumulator e (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u a) -> Accumulator e (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u a) -> Accumulator e (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u a) -> Accumulator e (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u a) -> Accumulator e (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u a) -> Accumulator e (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Accumulator e)) => (a -> b) -> Accumulator e (u (v a)) -> Accumulator e (u (v b))

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

Defined in Pandora.Paradigm.Inventory

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Schematic Monad (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Some.Accumulator

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

type Primary (Accumulator e) a

Defined in Pandora.Paradigm.Inventory.Some.Accumulator

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

type Accumulated e t = Adaptable t (->) (Accumulator e)

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