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 o (o :+: a)

Defined in Pandora.Paradigm.Structure.Ability.Monotonic

Methods

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

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

Monotonic a (o :+: a)

Defined in Pandora.Paradigm.Structure.Ability.Monotonic

Methods

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

resolve :: (a -> r) -> r -> (o :+: 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 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