migrate -> migrate_theory

AlgebraicJulia · Nov 13, 2023 · 345cc44 · 345cc44
1 parent 714c90a
commit 345cc44
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/src/models/ModelInterface.jl b/src/models/ModelInterface.jl
@@ -1,7 +1,7 @@
 module ModelInterface
 
 export Model, implements, TypeCheckFail, SignatureMismatchError, 
-       @model, @instance, @withmodel, @fail, migrate
+       @model, @instance, @withmodel, @fail, migrate_theory
 
 using ...Syntax
 using ...Util.MetaUtils
@@ -780,6 +780,6 @@ function to_call_accessor(t::AlgTerm, x::Symbol, mod::Module)
   Expr(:call, Expr(:ref, :($mod.$(nameof(headof(b)))), :(model.model)), rest)
 end
 
-migrate(theorymap::Module, m::Model) = theorymap.Migrator(m)
+migrate_theory(theorymap::Module, m::Model) = theorymap.Migrator(m)
 
 end # module
diff --git a/src/stdlib/derivedmodels/DerivedModels.jl b/src/stdlib/derivedmodels/DerivedModels.jl
@@ -6,12 +6,12 @@ using ...StdTheoryMaps
 using ...StdModels
 
 # Given a model of a category C, we can derive a model of Cᵒᵖ.
-OpFinSetC = migrate(OpCat, FinSetC())
+OpFinSetC = migrate_theory(OpCat, FinSetC())
 
 # Interpret `e` as `0` and `⋅` as `+`.
-IntMonoid = migrate(NatPlusMonoid, IntNatPlus())
+IntMonoid = migrate_theory(NatPlusMonoid, IntNatPlus())
 
 # Interpret `id` as reflexivity and `compose` as transitivity.
-IntPreorderCat = migrate(PreorderCat, IntPreorder())
+IntPreorderCat = migrate_theory(PreorderCat, IntPreorder())
 
 end # module