fix!: remove Unmonad (#25)

fix!: remove Unmonad
RedPRL · Oct 31, 2023 · 80dca8d · 80dca8d
1 parent feba970
commit 80dca8d
Show file tree

Hide file tree

Showing 9 changed files with 7 additions and 31 deletions.
diff --git a/README.markdown b/README.markdown
@@ -13,7 +13,6 @@ We use [semantic versioning.](https://semver.org/) Breaking changes will bump th
 - [Algaeff.Sequencer](https://redprl.org/algaeff/algaeff/Algaeff/Sequencer): making a `Seq.t`
 - [Algaeff.Mutex](https://redprl.org/algaeff/algaeff/Algaeff/Mutex): simple locking to prevent re-entrance
 - [Algaeff.UniqueID](https://redprl.org/algaeff/algaeff/Algaeff/UniqueID): generating unique IDs
-- [Algaeff.Unmonad](https://redprl.org/algaeff/algaeff/Algaeff/Unmonad): effects for any monadic operations
 
 Effects-based concurrency (cooperative lightweight threading) was already tackled by other libraries such as [Eio](https://github.com/ocaml-multicore/eio) and [Affect](https://erratique.ch/software/affect). This library focuses on the rest.
 

diff --git a/src/Algaeff.ml b/src/Algaeff.ml
@@ -3,6 +3,5 @@ module Reader = Reader
 module Sequencer = Sequencer
 module Mutex = Mutex
 module UniqueID = UniqueID
-module Unmonad = Unmonad
 module Sigs = Sigs
 module Fun = Fun
diff --git a/src/Algaeff.mli b/src/Algaeff.mli
@@ -12,8 +12,6 @@ module Mutex = Mutex
 
 module UniqueID = UniqueID
 
-module Unmonad = Unmonad
-
 (** {1 Auxiliary modules} *)
 
 module Sigs = Sigs

diff --git a/test/TestReader.ml b/test/TestReader.ml
@@ -13,7 +13,7 @@ end
 
 module ReaderUnmonad =
 struct
-  module U = Algaeff.Unmonad.Make (ReaderMonad)
+  module U = Unmonad.Make (ReaderMonad)
   let read () = U.perform ReaderMonad.read
   let scope f m = U.perform @@ ReaderMonad.scope f @@ U.run m
   let run ~env f = U.run f env

diff --git a/test/TestSequencer.ml b/test/TestSequencer.ml
@@ -22,7 +22,7 @@ end
 
 module SequencerUnmonad =
 struct
-  module U = Algaeff.Unmonad.Make (SequencerMonad)
+  module U = Unmonad.Make (SequencerMonad)
   let yield x = U.perform (SequencerMonad.yield x)
   let run f = output_to_seq @@ snd @@ U.run f
   let register_printer _ = ()

diff --git a/test/TestState.ml b/test/TestState.ml
@@ -14,7 +14,7 @@ end
 
 module StateUnmonad =
 struct
-  module U = Algaeff.Unmonad.Make (StateMonad)
+  module U = Unmonad.Make (StateMonad)
   let get () = U.perform StateMonad.get
   let set s = U.perform @@ StateMonad.set s
   let modify f = U.perform @@ StateMonad.modify f

diff --git a/src/Unmonad.ml → test/Unmonad.ml b/src/Unmonad.ml → test/Unmonad.ml
diff --git a/src/Unmonad.mli → test/Unmonad.mli b/src/Unmonad.mli → test/Unmonad.mli
diff --git a/test/dune b/test/dune
@@ -1,27 +1,7 @@
-(test
- (name TestState)
- (modules TestState)
- (libraries qcheck-core qcheck-core.runner algaeff))
-
-(test
- (name TestReader)
- (modules TestReader)
- (libraries qcheck-core qcheck-core.runner algaeff))
-
-(test
- (name TestSequencer)
- (modules TestSequencer)
- (libraries qcheck-core qcheck-core.runner algaeff))
-
-(test
- (name TestMutex)
- (modules TestMutex)
- (libraries alcotest algaeff))
-
-(test
- (name TestUniqueID)
- (modules TestUniqueID)
- (libraries qcheck-core qcheck-core.runner algaeff))
+(tests
+ (names TestState TestReader TestSequencer TestMutex TestUniqueID)
+ (modules TestState TestReader TestSequencer TestMutex TestUniqueID Unmonad)
+ (libraries qcheck-core qcheck-core.runner alcotest algaeff))
 
 (test
  (name Example)