Data.Yall.Iso

data Iso w m a b

inverseI

Convenient Iso types

Pure isomorphisms

type a :<-> b

iso

($-)

(-$)

Wrapped pure Iso

data IsoPure a b

ifmap

fromPure

Pre-defined isomorphisms

wordsI

showI

linesI

curryI

enumI

integerI

rationalI

zipI

incrementI

incrementByI

consI

distributeI

factorI

Partial isomorphisms

type a :<~> b