Copyright | (C) CSIRO 2017-2019 |
---|---|
License | BSD3 |
Maintainer | Isaac Elliott <isaace71295@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
class HasIdents s where Source #
Nothing
_Idents :: Traversal (s v a) (s '[] a) (Ident v a) (Ident '[] a) Source #
_Idents :: forall v a l m. (Generic (s v a), Generic (s '[] a), Rep (s v a) ~ l, Rep (s '[] a) ~ m, GHasIdents l m v a) => Traversal (s v a) (s '[] a) (Ident v a) (Ident '[] a) Source #