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

Language | Haskell2010 |

Based on the `tagged`

package.

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

# Documentation

Tag a value with not one but two phantom type parameters (so that `Tagged`

can be used as an indexed profunctor).

## Instances

Choice Tagged Source # | |

Costrong Tagged Source # | |

Profunctor Tagged Source # | |

Defined in Optics.Internal.Tagged dimap :: (a -> b) -> (c -> d) -> Tagged i b c -> Tagged i a d Source # lmap :: (a -> b) -> Tagged i b c -> Tagged i a c Source # rmap :: (c -> d) -> Tagged i b c -> Tagged i b d Source # lcoerce' :: Coercible a b => Tagged i a c -> Tagged i b c Source # rcoerce' :: Coercible a b => Tagged i c a -> Tagged i c b Source # conjoined__ :: (Tagged i a b -> Tagged i s t) -> (Tagged i a b -> Tagged j s t) -> Tagged i a b -> Tagged j s t Source # ixcontramap :: (j -> i) -> Tagged i a b -> Tagged j a b Source # | |

Bifunctor Tagged Source # | |

Functor (Tagged i a) Source # | |