Control.Lens.Equality

Type Equality

type Equality s t a b

type Equality' s a

type AnEquality s t a b

type AnEquality' s a

runEq

substEq

mapEq

fromEq

simply

The Trivial Equality

simple

Implementation Details

data Identical a b s t