Modulegeneric-lens-2.3.0.0Haskell2010

Data.Generics.Wrapped

Derive an isomorphism between a newtype and its wrapped type.

Synopsis

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

Instances1Wrapped

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

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

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

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

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