Control.Invertible.Monoidal

data Bijection a b c

biCase

Functor

(>$<)

(>$)

($<)

Monoidal

class Monoidal f

unitDefault

pairADefault

(>*)

(*<)

Tuple combinators

liftI2

liftI3

liftI4

liftI5

(>*<<)

(>*<<<)

(>*<<<<)

(>>*<)

(>>>*<)

(>>>>*<)

(>>*<<)

pureI

constI

sequenceI_

mapI_

forI_

sequenceMaybesI

mapMaybeI

MonoidalAlt

class MonoidalAlt f

eitherADefault

(>|)

(|<)

optionalI

defaulting

manyI

msumIndex

msumFirst

msumLast

oneOfI