Data.Profunctor.Strong

Contents

• Strength
• Costrength

Description

Synopsis

• class Profunctor p => Strong p where
  • first' :: p a b -> p (a, c) (b, c)
  • second' :: p a b -> p (c, a) (c, b)
• uncurry' :: Strong p => p a (b -> c) -> p (a, b) c
• newtype Tambara p a b = Tambara {
  • runTambara :: forall c. p (a, c) (b, c)
  }
• tambara :: Strong p => (p :-> q) -> p :-> Tambara q
• untambara :: Profunctor q => (p :-> Tambara q) -> p :-> q
• data Pastro p a b where
  • Pastro :: ((y, z) -> b) -> p x y -> (a -> (x, z)) -> Pastro p a b
• class Profunctor p => Costrong p where
  • unfirst :: p (a, d) (b, d) -> p a b
  • unsecond :: p (d, a) (d, b) -> p a b
• data Cotambara q a b where
  • Cotambara :: Costrong r => (r :-> q) -> r a b -> Cotambara q a b
• cotambara :: Costrong p => (p :-> q) -> p :-> Cotambara q
• uncotambara :: Profunctor q => (p :-> Cotambara q) -> p :-> q
• newtype Copastro p a b = Copastro {
  • runCopastro :: forall r. Costrong r => (forall x y. p x y -> r x y) -> r a b
  }

Strength

tambara . untambara ≡ id
untambara . tambara ≡ id

tambara . untambara ≡ id
untambara . tambara ≡ id

Pastro p ~ exists z. Costar ((,)z) Procompose p Procompose Star ((,)z)

Costrength

cotambara . uncotambara ≡ id
uncotambara . cotambara ≡ id

cotambara . uncotambara ≡ id
uncotambara . cotambara ≡ id