Moved exports

AlgebraicJulia · Oct 30, 2024 · 5fc4c85 · 5fc4c85
1 parent c8c6d92
commit 5fc4c85
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 5 deletions.
diff --git a/src/DiagrammaticEquations.jl b/src/DiagrammaticEquations.jl
@@ -30,7 +30,9 @@ to_graphviz, # Re-exported from Catlab
 ## rewrite
 average_rewrite,
 ## openoperators
-transfer_parents!, transfer_children!, replace_op1!, replace_op2!, replace_all_op1s!, replace_all_op2s!
+transfer_parents!, transfer_children!, replace_op1!, replace_op2!, replace_all_op1s!, replace_all_op2s!,
+Operator, same_type_rules_op, arthimetic_operators, infer_resolve!, type_check, DecaTypeExeception
+
 
 using Catlab.Theories
 import Catlab.Theories: otimes, oplus, compose, ⊗, ⊕, ⋅, associate, associate_unit, Ob, Hom, dom, codom

diff --git a/src/acset.jl b/src/acset.jl
@@ -8,9 +8,6 @@ using ACSets.InterTypes
 import Base.show
 
 using .decapodeacset
-# TODO: Move this export to main file
-export Operator, same_type_rules_op, arthimetic_operators, infer_resolve!, type_check
-export DecaTypeExeception
 
 # Transferring pointers
 # --------------------

diff --git a/test/language.jl b/test/language.jl
@@ -7,7 +7,7 @@ using Base.Iterators
 using DiagrammaticEquations
 using DiagrammaticEquations.Deca
 
-import DiagrammaticEquations: Judgement
+import DiagrammaticEquations: Judgement, filterfor_ec_types
 
 @testset "Parsing" begin
   # Tests