generic-lens-1.2.0.1: 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.Product.Constraints

Contents

Description

Constrained traversals.

Synopsis

Traversals

class HasConstraints (c :: * -> * -> Constraint) s t where Source #

Methods

constraints :: TraversalC c s t Source #

Instances
(Generic s, Generic t, GHasConstraints c (Rep s) (Rep t)) => HasConstraints c s t Source # 
Instance details

Defined in Data.Generics.Product.Constraints

Methods

constraints :: TraversalC c s t Source #

class HasConstraints' (c :: * -> Constraint) s where Source #

Instances
(Generic s, GHasConstraints' c (Rep s)) => HasConstraints' c s Source # 
Instance details

Defined in Data.Generics.Product.Constraints