Control.Lens.Iso

Isomorphism Lenses

type Iso a b c d

type a :<-> b

iso

isos

ala

auf

under

Primitive isomorphisms

from

via

data Isomorphism a b

class Isomorphic k

Common Isomorphisms

_const

identity

Storing Isomorphisms

data ReifiedIso a b c d

Simplicity

type SimpleIso a b

type SimpleReifiedIso a b