Data.Generics.Wrapped

Derive an isomorphism between a newtype and its wrapped type.

Documentation

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

Since: 1.1.0.0

Methods

wrappedIso :: Iso s t a b

Since: 1.1.0.0

Instances

(Generic s, Generic t, GWrapped (Rep s) (Rep t) a b, UnifyHead s t, UnifyHead t s) => Wrapped s t a b

Defined in Data.Generics.Wrapped

Methods

wrappedIso :: Iso s t a b

wrappedTo :: forall s t a b. Wrapped s t a b => s -> a

Since: 1.1.0.0

wrappedFrom :: forall s t a b. Wrapped s t a b => b -> t

Since: 1.1.0.0

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

Since: 1.1.0.0

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

Since: 1.1.0.0