| Copyright | (C) 2019 Csongor Kiss |
|---|---|
| License | BSD3 |
| Maintainer | Csongor Kiss <kiss.csongor.kiss@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Generics.Product.Constraints
Contents
Description
Constrained traversals.
Synopsis
- class HasConstraints (c :: * -> * -> Constraint) s t where
- constraints :: TraversalC c s t
- class HasConstraints' (c :: * -> Constraint) s where
- constraints' :: TraversalC' c s
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 # | |
Defined in Data.Generics.Product.Constraints Methods constraints :: TraversalC c s t Source # | |
class HasConstraints' (c :: * -> Constraint) s where Source #
Methods
constraints' :: TraversalC' c s Source #
Instances
| (Generic s, GHasConstraints' c (Rep s)) => HasConstraints' c s Source # | |
Defined in Data.Generics.Product.Constraints Methods constraints' :: TraversalC' c s Source # | |