├── .github ├── dependabot.yaml └── workflows │ └── ocaml.yml ├── .gitignore ├── CHANGELOG.markdown ├── CONTRIBUTING.markdown ├── CONTRIBUTORS.markdown ├── LICENSE ├── README.markdown ├── algaeff.opam ├── dune-project ├── src ├── Algaeff.ml ├── Algaeff.mli ├── Fun.ml ├── Fun.mli ├── Mutex.ml ├── Mutex.mli ├── Reader.ml ├── Reader.mli ├── Sequencer.ml ├── Sequencer.mli ├── Sigs.ml ├── State.ml ├── State.mli ├── UniqueID.ml ├── UniqueID.mli └── dune └── test ├── Example.expected ├── Example.ml ├── Example.mli ├── TestMutex.ml ├── TestMutex.mli ├── TestReader.ml ├── TestReader.mli ├── TestSequencer.ml ├── TestSequencer.mli ├── TestState.ml ├── TestState.mli ├── TestUniqueID.ml ├── TestUniqueID.mli ├── Unmonad.ml ├── Unmonad.mli └── dune /.github/dependabot.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/.github/dependabot.yaml -------------------------------------------------------------------------------- /.github/workflows/ocaml.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/.github/workflows/ocaml.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/CHANGELOG.markdown -------------------------------------------------------------------------------- /CONTRIBUTING.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/CONTRIBUTING.markdown -------------------------------------------------------------------------------- /CONTRIBUTORS.markdown: -------------------------------------------------------------------------------- 1 | # CONTRIBUTORS 2 | 3 | - Favonia 4 | - Matthew McQuaid 5 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/LICENSE -------------------------------------------------------------------------------- /README.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/README.markdown -------------------------------------------------------------------------------- /algaeff.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/algaeff.opam -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.0) 2 | (formatting disabled) 3 | -------------------------------------------------------------------------------- /src/Algaeff.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/Algaeff.ml -------------------------------------------------------------------------------- /src/Algaeff.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/Algaeff.mli -------------------------------------------------------------------------------- /src/Fun.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/Fun.ml -------------------------------------------------------------------------------- /src/Fun.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/Fun.mli -------------------------------------------------------------------------------- /src/Mutex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/Mutex.ml -------------------------------------------------------------------------------- /src/Mutex.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/Mutex.mli -------------------------------------------------------------------------------- /src/Reader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/Reader.ml -------------------------------------------------------------------------------- /src/Reader.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/Reader.mli -------------------------------------------------------------------------------- /src/Sequencer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/Sequencer.ml -------------------------------------------------------------------------------- /src/Sequencer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/Sequencer.mli -------------------------------------------------------------------------------- /src/Sigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/Sigs.ml -------------------------------------------------------------------------------- /src/State.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/State.ml -------------------------------------------------------------------------------- /src/State.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/State.mli -------------------------------------------------------------------------------- /src/UniqueID.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/UniqueID.ml -------------------------------------------------------------------------------- /src/UniqueID.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/UniqueID.mli -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/src/dune -------------------------------------------------------------------------------- /test/Example.expected: -------------------------------------------------------------------------------- 1 | 100 -------------------------------------------------------------------------------- /test/Example.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/Example.ml -------------------------------------------------------------------------------- /test/Example.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/Example.mli -------------------------------------------------------------------------------- /test/TestMutex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/TestMutex.ml -------------------------------------------------------------------------------- /test/TestMutex.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/TestMutex.mli -------------------------------------------------------------------------------- /test/TestReader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/TestReader.ml -------------------------------------------------------------------------------- /test/TestReader.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/TestReader.mli -------------------------------------------------------------------------------- /test/TestSequencer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/TestSequencer.ml -------------------------------------------------------------------------------- /test/TestSequencer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/TestSequencer.mli -------------------------------------------------------------------------------- /test/TestState.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/TestState.ml -------------------------------------------------------------------------------- /test/TestState.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/TestState.mli -------------------------------------------------------------------------------- /test/TestUniqueID.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/TestUniqueID.ml -------------------------------------------------------------------------------- /test/TestUniqueID.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/TestUniqueID.mli -------------------------------------------------------------------------------- /test/Unmonad.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/Unmonad.ml -------------------------------------------------------------------------------- /test/Unmonad.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/Unmonad.mli -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RedPRL/algaeff/HEAD/test/dune --------------------------------------------------------------------------------