Control.Invertible.Monoidal

Functor

(>$<)

(>$)

($<)

Monoidal

class Monoidal f

(>*)

(*<)

Tuple combinators

liftI2

liftI3

liftI4

liftI5

(>*<<)

(>*<<<)

(>*<<<<)

(>>*<)

(>>>*<)

(>>>>*<)

(>>*<<)

pureI

sequenceI_

mapI_

forI_

sequenceMaybesI

mapMaybeI

MonoidalAlt

class MonoidalAlt f

(>|)

(|<)

optionalI

defaulting

manyI

msumIndex

msumFirst

msumLast

oneOfI