Control.Lens.Iso

Isomorphism Lenses

type Iso s t a b

type AnIso s t a b

Isomorphism Construction

class Isomorphic k

data Isoid ab st

Consuming Isomorphisms

from

cloneIso

Working with isomorphisms

au

auf

under

mapping

Common Isomorphisms

simple

non

anon

enum

curried

uncurried

class Strict s t a b

Simplicity

type SimpleIso s a

Useful Type Families

type family CoA x :: *

type family CoB x :: *