update stdlib

anoma · Feb 25, 2025 · b230296 · b230296
1 parent b17a496
commit b230296
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/juvix-stdlib b/juvix-stdlib
diff --git a/tests/Compilation/positive/test091.juvix b/tests/Compilation/positive/test091.juvix
@@ -51,7 +51,7 @@ evalState
 instance
 StateT-Functor
   {S : Type} {M : Type → Type} {{func : Functor M}} : Functor (StateT S M) :=
-  mkFunctor@{
+  Functor.mk@{
     map {A B : Type} (f : A → B) : StateT S M A → StateT S M B
       | (mkStateT S→M⟨A×S⟩) :=
         mkStateT λ{s := Functor.map λ{(a, s') := f a, s'} (S→M⟨A×S⟩ s)};
@@ -141,7 +141,7 @@ runReader {S A : Type} {M : Type → Type} (r : S) (m : ReaderT S M A) : M A :=
 instance
 ReaderT-Functor
   {S : Type} {M : Type → Type} {{Functor M}} : Functor (ReaderT S M) :=
-  mkFunctor@{
+  Functor.mk@{
     map {A B : Type} (f : A → B) : ReaderT S M A → ReaderT S M B
       | (mkReaderT g) := mkReaderT λ{s := Functor.map λ{a := f a} (g s)};
   };
@@ -222,7 +222,7 @@ open Identity public;
 
 instance
 Identity-Functor : Functor Identity :=
-  mkFunctor@{
+  Functor.mk@{
     map {A B : Type} (f : A -> B) : Identity A -> Identity B
       | (mkIdentity a) := mkIdentity (f a);
   };
+5 −5		Stdlib/Data/List.juvix
+3 −3		Stdlib/Data/Map.juvix
+4 −4		Stdlib/Data/Maybe.juvix
+2 −2		Stdlib/Data/Range.juvix
+4 −4		Stdlib/Data/Result.juvix
+1 −1		Stdlib/Data/Set.juvix
+1 −1		Stdlib/Data/Unit.juvix
+2 −2		Stdlib/Trait/Applicative.juvix
+3 −3		Stdlib/Trait/Foldable/Monomorphic.juvix
+2 −2		Stdlib/Trait/Foldable/Polymorphic.juvix
+3 −3		Stdlib/Trait/Functor/Monomorphic.juvix
+2 −2		Stdlib/Trait/Functor/Polymorphic.juvix
+2 −2		Stdlib/Trait/Monad.juvix
+3 −3		Stdlib/Trait/Traversable/Monomorphic.juvix
+2 −2		Stdlib/Trait/Traversable/Polymorphic.juvix