Pandora.Paradigm.Structure.Ability.Monotonic

Documentation

class Monotonic e a 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 (Maybe a) 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 s => Monotonic (s :*: a) s

Defined in Pandora.Paradigm.Structure

Methods

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

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

Monotonic (Construction Maybe a) 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 (t a) a => Monotonic ((Maybe :. t) := a) 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 ((Maybe <:.> Construction Maybe) := a) 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 e a, Pointable t, Avoidable t) => Predicate a -> e -> t a