| Copyright | (c) 2014 Aleksey Kliger |
|---|---|
| License | BSD3 (See LICENSE) |
| Maintainer | Aleksey Kliger |
| Stability | experimental |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Unbound.Generics.LocallyNameless.Internal.Fold
Description
Some utilities for working with Folds.
If you are using lens, you don't need this module.
Documentation
type Fold s a = forall f. (Contravariant f, Applicative f) => (a -> f a) -> s -> f s Source #
type Traversal' s a = forall f. Applicative f => (a -> f a) -> s -> f s Source #
filtered :: (a -> Bool) -> Traversal' a a Source #
justFiltered :: (a -> Maybe b) -> Fold a b Source #