generic-lens-1.2.0.0: Generically derive traversals, lenses and prisms.

Copyright(C) 2019 Csongor Kiss
LicenseBSD3
MaintainerCsongor Kiss <kiss.csongor.kiss@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Generics.Wrapped

Description

Derive an isomorphism between a newtype and its wrapped type.

Synopsis

Documentation

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

Since: 1.1.0.0

Methods

wrappedIso :: Iso s t a b Source #

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 Source # 
Instance details

Defined in Data.Generics.Wrapped

Methods

wrappedIso :: Iso s t a b Source #

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

Since: 1.1.0.0

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

Since: 1.1.0.0

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

Since: 1.1.0.0

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

Since: 1.1.0.0