Pandora.Paradigm.Structure.Ability.Monotonic

Documentation

class Monotonic a e where

Minimal complete definition

reduce

Methods

reduce :: (a -> r -> r) -> r -> e -> r

resolve :: (a -> r) -> r -> e -> r

Version of reduce which ignores accumulator

Instances

Monotonic a a

Defined in Pandora.Paradigm.Structure.Ability.Monotonic

Methods

reduce :: (a -> r -> r) -> r -> a -> r

resolve :: (a -> r) -> r -> a -> r

Monotonic a (Wye a)

Defined in Pandora.Paradigm.Primary.Functor.Wye

Methods

reduce :: (a -> r -> r) -> r -> Wye a -> r

resolve :: (a -> r) -> r -> Wye a -> r

Monotonic a (Maybe a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

reduce :: (a -> r -> r) -> r -> Maybe a -> r

resolve :: (a -> r) -> r -> Maybe a -> r

Monotonic a ((t :. Construction t) := a) => Monotonic a (Construction t a)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

reduce :: (a -> r -> r) -> r -> Construction t a -> r

resolve :: (a -> r) -> r -> Construction t a -> r

Monotonic a (Vector r a) => Monotonic a (Vector (a :*: r) a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

reduce :: (a -> r0 -> r0) -> r0 -> Vector (a :*: r) a -> r0

resolve :: (a -> r0) -> r0 -> Vector (a :*: r) a -> r0

Monotonic a (Vector a a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

reduce :: (a -> r -> r) -> r -> Vector a a -> r

resolve :: (a -> r) -> r -> Vector a a -> r

Monotonic s a => Monotonic s (s :*: a)

Defined in Pandora.Paradigm.Structure

Methods

reduce :: (s -> r -> r) -> r -> (s :*: a) -> r

resolve :: (s -> r) -> r -> (s :*: a) -> r

Monotonic a ((t :. Construction t) := a) => Monotonic a ((t <:.> Construction t) := a)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

reduce :: (a -> r -> r) -> r -> ((t <:.> Construction t) := a) -> r

resolve :: (a -> r) -> r -> ((t <:.> Construction t) := a) -> r

Monotonic a (t a) => Monotonic a ((Maybe :. t) := a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

reduce :: (a -> r -> r) -> r -> ((Maybe :. t) := a) -> r

resolve :: (a -> r) -> r -> ((Maybe :. t) := a) -> r