Safe Haskell | None |
---|---|

Language | Haskell2010 |

This module is intended for internal use only, and may change without warning in subsequent releases.

## Synopsis

# Documentation

Context (b -> t) a |

(#.) :: Coercible b c => (b -> c) -> (a -> b) -> a -> c infixr 9 Source #

Composition operator where the first argument must be an identity function up to representational equivalence (e.g. a newtype wrapper or unwrapper), and will be ignored at runtime.

(.#) :: Coercible a b => (b -> c) -> (a -> b) -> a -> c infixl 8 Source #

Composition operator where the second argument must be an identity function up to representational equivalence (e.g. a newtype wrapper or unwrapper), and will be ignored at runtime.

newtype Traversed f a Source #

Helper for `traverseOf_`

and the like for better
efficiency than the foldr-based version.

Note that the argument `a`

of the result should not be used.

Traversed (f a) |

## Instances

Applicative f => Semigroup (Traversed f a) Source # | |

Applicative f => Monoid (Traversed f a) Source # | |

runTraversed :: Functor f => Traversed f a -> f () Source #