generic-optics-2.2.1.0: Generically derive traversals, lenses and prisms.
Copyright(C) 2020 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

Instances details
Context s t a b => Wrapped s t a b Source # 
Instance details

Defined in Data.Generics.Wrapped

Methods

wrappedIso :: Iso s t a b Source #

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

Since: 1.1.0.0

wrappedFrom :: forall s a. Wrapped s s a a => a -> s 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