Control.Category.Linear

Documentation

data P k r a

unit :: forall k con r. (Obj k r, Monoidal k, con (), forall α β. (con α, con β) => con (α, β), con ~ Obj k) => P k r ()

split :: forall con a b r k. (O3 k r a b, Monoidal k, con (), forall α β. (con α, con β) => con (α, β), con ~ Obj k) => P k r (a ⊗ b) %1 -> (P k r a, P k r b)

merge :: forall con a b r k. (O3 k r a b, Monoidal k, con (), forall α β. (con α, con β) => con (α, β), con ~ Obj k) => (P k r a, P k r b) %1 -> P k r (a ⊗ b)

encode :: O3 k r a b => (a `k` b) -> P k r a %1 -> P k r b

decode :: forall a b k con. (con (), con ~ Obj k, Monoidal k, con a, con b, forall α β. (con α, con β) => con (α, β)) => (forall r. Obj k r => P k r a %1 -> P k r b) -> a `k` b

(!:) :: forall con a b r k. (O3 k r a b, Monoidal k, con (), forall α β. (con α, con β) => con (α, β), con ~ Obj k) => P k r a %1 -> P k r b %1 -> P k r (a, b)

ignore :: (Monoidal k, O3 k r a (), forall α β. (con α, con β) => con (α, β), con ~ Obj k) => P k r () %1 -> P k r a %1 -> P k r a

copy :: (Cartesian k, O2 k r a, forall α β. (con α, con β) => con (α, β), con ~ Obj k) => P k r a %1 -> P k r (a ⊗ a)

discard :: (Cartesian k, O2 k r a, forall α β. (con α, con β) => con (α, β), con ~ Obj k, con ()) => P k r a %1 -> P k r ()