Pandora.Paradigm.Structure.Ability.Monotonic

Documentation

class Monotonic e a where

Methods

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

Instances

Monotonic a a

Defined in Pandora.Paradigm.Structure.Ability.Monotonic

Methods

bypass :: (a -> r -> r) -> r -> a -> r

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

Defined in Pandora.Paradigm.Structure

Methods

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

Monotonic (Construction Maybe a) a

Defined in Pandora.Paradigm.Structure.Stack

Methods

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

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

Defined in Pandora.Paradigm.Structure.Stack

Methods

bypass :: (a -> r -> r) -> r -> ((Maybe :. Construction Maybe) := a) -> r

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

Defined in Pandora.Paradigm.Structure.Stack

Methods

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

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