diff --git a/Stdlib/Data/Field/Base.juvix b/Stdlib/Data/Field/Base.juvix index c23eae15..9ad01840 100644 --- a/Stdlib/Data/Field/Base.juvix +++ b/Stdlib/Data/Field/Base.juvix @@ -1,8 +1,8 @@ module Stdlib.Data.Field.Base; import Stdlib.Data.Fixity open; -import Stdlib.Data.Nat.Base open; -import Stdlib.Data.Int.Base open hiding {toNat}; +import Stdlib.Data.Nat.Base open hiding {+; *}; +import Stdlib.Data.Int.Base open hiding {toNat; +; -; *}; import Stdlib.Data.Bool.Base open; builtin field diff --git a/Stdlib/Data/Map.juvix b/Stdlib/Data/Map.juvix index ed2d822d..912934df 100644 --- a/Stdlib/Data/Map.juvix +++ b/Stdlib/Data/Map.juvix @@ -3,7 +3,7 @@ module Stdlib.Data.Map; import Stdlib.Data.Pair open; import Stdlib.Data.Maybe open; import Stdlib.Data.Result open; -import Stdlib.Data.List open; +import Stdlib.Data.List open hiding {all; any; filter; partition}; import Stdlib.Data.Nat open; import Stdlib.Data.Bool open; diff --git a/Stdlib/Data/Set.juvix b/Stdlib/Data/Set.juvix index ce2350d2..dd31c0f8 100644 --- a/Stdlib/Data/Set.juvix +++ b/Stdlib/Data/Set.juvix @@ -15,7 +15,7 @@ import Stdlib.Data.Nat open; import Stdlib.Data.Int open; import Stdlib.Data.Bool open; import Stdlib.Data.Pair open; -import Stdlib.Data.List open using {List; nil; ::; filter; ++; catMaybes}; +import Stdlib.Data.List open using {List; nil; ::; ++; catMaybes}; import Stdlib.Data.String open; import Stdlib.Trait.Foldable open hiding {foldr; foldl}; import Stdlib.Function open;