Data.Invertible.Strong

Documentation

class IsoProfunctor p => IsoStrong p where

Generalizing Star of a strong Functor

Note: Every Functor in Haskell is strong with respect to (,).

This describes profunctor strength with respect to the product structure of Hask.

http://www-kb.is.s.u-tokyo.ac.jp/~asada/papers/arrStrMnd.pdf

Methods

first' :: p a b -> p (a, c) (b, c)

second' :: p a b -> p (c, a) (c, b)

Instances

IsoStrong (Bijection (->))

Methods

first' :: Bijection (->) a b -> Bijection (->) (a, c) (b, c)

second' :: Bijection (->) a b -> Bijection (->) (c, a) (c, b)

IsoStrong p => IsoStrong (FreeA p)

Methods

first' :: FreeA p a b -> FreeA p (a, c) (b, c)

second' :: FreeA p a b -> FreeA p (c, a) (c, b)