From a7a942d9c596122010612a3b8f61dbafa52fde0f Mon Sep 17 00:00:00 2001 From: epatters Date: Wed, 29 Jan 2020 18:42:20 -0800 Subject: [PATCH] CLEANUP: Export implicit/explicit (co)diagonals for wiring diagrams. Makes it easier to support wiring diagrams on custom signatures. Motivated by #86. --- src/wiring_diagrams/Algebraic.jl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/wiring_diagrams/Algebraic.jl b/src/wiring_diagrams/Algebraic.jl index 6ff8d7f9c..72e57a111 100644 --- a/src/wiring_diagrams/Algebraic.jl +++ b/src/wiring_diagrams/Algebraic.jl @@ -10,8 +10,10 @@ export Ports, Junction, PortOp, BoxOp, functor, dom, codom, id, compose, ⋅, ∘, otimes, ⊗, munit, braid, permute, mcopy, delete, Δ, ◇, mmerge, create, ∇, □, dual, dunit, dcounit, mate, dagger, mplus, mzero, coplus, cozero, meet, join, top, bottom, ocompose, - junction_diagram, junction_caps, junction_cups, add_junctions, add_junctions!, - rem_junctions, merge_junctions + implicit_mcopy, implicit_delete, implicit_mmerge, implicit_create, + junction_diagram, add_junctions, add_junctions!, rem_junctions, merge_junctions, + junction_caps, junction_cups, junctioned_dunit, junctioned_dcounit, + junctioned_mcopy, junctioned_delete, junctioned_mmerge, junctioned_create using AutoHashEquals using LightGraphs