Documentation

type Context s t a b = (Generic s, Generic t, GWrapped (Rep s) (Rep t) a b, UnifyHead s t, UnifyHead t s, ErrorUnlessOnlyOne s (Rep s)) Source #

derived :: Context s t a b => Iso s t a b Source #