Data.Withering

A withering is something which can be run on any IndWitherable.

Since IndWitherable has a large family of superclasses, there are
many such things.

The interest in these things is that they are the sorts of things
one wants to do in merging operations.

Definitions

data Withering : (Type -> Type) -> Type -> Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkWithering : Applicative f => (IndWitherable i t => t a -> f (t b)) -> Withering f i a b

runWither : IndWitherable i t => Withering f i a b -> t a -> f (t b)

Visibility: export

witherOne : Withering f i a b -> i -> a -> f (Maybe b)

Visibility: export

preserving : Applicative f => Withering f i a a

Visibility: export

flushing : Applicative f => Withering f i a b

Visibility: export

mapping : Applicative f => (a -> b) -> Withering f i a b

Visibility: export

imapping : Applicative f => (i -> a -> b) -> Withering f i a b

Visibility: export

mapMaybeing : Applicative f => (a -> Maybe b) -> Withering f i a b

Visibility: export

imapMaybeing : Applicative f => (i -> a -> Maybe b) -> Withering f i a b

Visibility: export

traversing : Applicative f => (a -> f b) -> Withering f i a b

Visibility: export

itraversing : Applicative f => (i -> a -> f b) -> Withering f i a b

Visibility: export

withering : Applicative f => (a -> f (Maybe b)) -> Withering f i a b

Visibility: export

iwithering : Applicative f => (i -> a -> f (Maybe b)) -> Withering f i a b

Visibility: export