Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
selecting :: Monad m => Fold s a -> TrekT s m a Source #
Optical version of 'select'/'selectEach'. Iterates over all result(s) of the provided optic in the structure. Accepts a Getter, Traversal, Prism, Iso or Fold.
mounting :: Monad m => Fold t s -> TrekT s m a -> TrekT t m a Source #
Allows sequencing a tuple or list of Trek blocks into the values that they return. selectAll :: Monad m => Each x y (TrekT s m b) b => x -> TrekT s m y selectAll = sequenceAOf each
The optical version of 'mount'/'mountEach'. Runs a TrekT
block over each focus of
the provided optic.
All state updates are discarded.