Pandora.Paradigm.Structure.Ability.Monotonic

Documentation

class Monotonic e a where

Methods

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

Instances

Monotonic a a

Defined in Pandora.Paradigm.Structure.Ability.Monotonic

Methods

iterate :: (a -> r -> r) -> r -> a -> r

Monotonic e a => Monotonic (Product a e) a

Defined in Pandora.Paradigm.Primary.Functor.Product

Methods

iterate :: (a -> r -> r) -> r -> Product a e -> r