Data.Invertible.Profunctor

Documentation

class IsoProfunctor p where

Class IsoProfunctor represents a profunctor from Iso -> Hask (?)

dimap id id ≡ id

 lmap id ≡ id
 rmap id ≡ id

dimap f g ≡ lmap f . rmap g

dimap (f . g) (h . i) ≡ dimap g h . dimap f i
lmap (f . g) ≡ lmap g . lmap f
rmap (f . g) ≡ rmap f . rmap g

Methods

dimap :: (a <-> b) -> (c <-> d) -> p b c -> p a d

lmap :: (a <-> b) -> p b c -> p a c

rmap :: (b <-> c) -> p a b -> p a c

Instances

IsoProfunctor (Bijection (->))

Methods

dimap :: (a <-> b) -> (c <-> d) -> Bijection (->) b c -> Bijection (->) a d

lmap :: (a <-> b) -> Bijection (->) b c -> Bijection (->) a c

rmap :: (b <-> c) -> Bijection (->) a b -> Bijection (->) a c

IsoProfunctor b => IsoProfunctor (FreeA b)

Methods

dimap :: (a <-> b) -> (c <-> d) -> FreeA b b c -> FreeA b a d

lmap :: (a <-> b) -> FreeA b b c -> FreeA b a c

rmap :: (b <-> c) -> FreeA b a b -> FreeA b a c