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 #