Control.Category.Traced

Documentation

class (Symmetric k p, Monoidal k p) => Traced k p where

Laws:

• Pre-naturality: trace f . g = trace (f . first g)
• Post-naturality: g . trace f = trace (first g . f)
• Dinaturality: trace (second g . f) = trace (f . second g)

TODO: figure out how to write remaining laws in Haskell syntax

Methods

trace :: (p a c `k` p b c) -> a `k` b

Instances

Traced (->) (,)