Control.Lens.Iso

# Isomorphism Lenses

type Iso s t a b

type Iso' s a

type AnIso s t a b

type AnIso' s a

# Isomorphism Construction

iso

# Consuming Isomorphisms

from

cloneIso

withIso

# Working with isomorphisms

au

auf

under

mapping

## Common Isomorphisms

simple

non

non'

anon

enum

curried

uncurried

flipped

class Swapped p

class Strict lazy strict

lazy

class Reversing t

reversed

involuted

## Uncommon Isomorphisms

magma

imagma

data Magma i t b a

## Contravariant functors

contramapping

# Profunctors

class Profunctor p

dimapping

lmapping

rmapping

# Bifunctors

bimapping

# Coercions

coerced