Modulegeneric-optics-2.3.0.0Haskell2010

Data.Generics.Wrapped

Derive an isomorphism between a newtype and its wrapped type.

classclass Wrapped s t a b | s -> a, t -> b where

Instances1Wrapped

Context s t a b => Wrapped s t a bDefined in generic-optics-2.3.0.0 · Data.Generics.Wrapped

valuewrappedTo :: Wrapped s s a a => s -> a

valuewrappedFrom :: Wrapped s s a a => a -> s

value_Unwrapped :: Wrapped s t a b => Iso s t a b

value_Wrapped :: Wrapped s t a b => Iso b a t s