REFACTOR: Move Permutations submodule into CategoricalAlgebra.

I can't remember why it was ever at the top level but it no longer appears to be necessary.
AlgebraicJulia · Jun 9, 2023 · 204865d · 204865d
1 parent a55fc62
commit 204865d
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 3 deletions.
diff --git a/src/Catlab.jl b/src/Catlab.jl
@@ -6,7 +6,6 @@ include("gats/GATs.jl")
 include("theories/Theories.jl")
 
 include("categorical_algebra/ACSetsGATsInterop.jl")
-include("categorical_algebra/Permutations.jl")
 include("graphs/Graphs.jl")
 include("categorical_algebra/CategoricalAlgebra.jl")
 

diff --git a/src/categorical_algebra/CategoricalAlgebra.jl b/src/categorical_algebra/CategoricalAlgebra.jl
@@ -9,6 +9,7 @@ include("Limits.jl")
 include("Subobjects.jl")
 include("Sets.jl")
 include("FinSets.jl")
+include("Permutations.jl")
 include("Matrices.jl")
 include("FinRelations.jl")
 include("CSets.jl")
@@ -29,6 +30,7 @@ include("Slices.jl")
 
 @reexport using .Sets
 @reexport using .FinSets
+@reexport using .Permutations
 @reexport using .CSets
 @reexport using .CatElements
 

diff --git a/src/wiring_diagrams/Expressions.jl b/src/wiring_diagrams/Expressions.jl
@@ -12,7 +12,7 @@ go the other way around.
 module WiringDiagramExpressions
 export to_ob_expr, to_hom_expr, to_wiring_diagram, to_undirected_wiring_diagram
 
-using ...GATs, ...Theories, ...Permutations, ...CategoricalAlgebra
+using ...GATs, ...Theories, ...CategoricalAlgebra
 using ...GATs.SyntaxSystems: syntax_module
 using ...Graphs, ..DirectedWiringDiagrams, ..UndirectedWiringDiagrams,
   ..MonoidalDirectedWiringDiagrams, ..MonoidalUndirectedWiringDiagrams

diff --git a/test/categorical_algebra/Permutations.jl b/test/categorical_algebra/Permutations.jl
@@ -1,7 +1,7 @@
 module TestPermutations
 
 using Test
-using Catlab.Theories, Catlab.Permutations
+using Catlab.Theories, Catlab.CategoricalAlgebra.Permutations
 
 # Decomposition
 ###############