generic-lens-2.2.1.0: Generically derive traversals, lenses and prisms.
Copyright (C) 2020 Csongor Kiss
License BSD3
Maintainer Csongor Kiss <kiss.csongor.kiss@gmail.com>
Stability experimental
Portability non-portable
Safe Haskell None
Language Haskell2010

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

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