Copyright | (C) 2018 Csongor Kiss |
---|---|
License | BSD3 |
Maintainer | Csongor Kiss <kiss.csongor.kiss@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Constrained traversals.
- class HasConstraints (c :: * -> * -> Constraint) s t where
- class HasConstraints' (c :: * -> Constraint) s where
Traversals
class HasConstraints (c :: * -> * -> Constraint) s t where Source #
constraints :: TraversalC c s t Source #
class HasConstraints' (c :: * -> Constraint) s where Source #
constraints' :: TraversalC' c s Source #
(Generic s, GHasConstraints' c (Rep s)) => HasConstraints' c s Source # | |