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 (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 (Construction Maybe a)

Defined in Pandora.Paradigm.Structure.Stack

Methods

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

resolve :: (a -> r) -> r -> Construction Maybe 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

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

Defined in Pandora.Paradigm.Structure.Stack

Methods

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

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

find :: (Monotonic a e, Pointable t, Avoidable t) => Predicate a -> e -> t a