Graded Monad in Scala

The target is dotty.

Installation

sbt compile

example/ExtensibleExceptions.scala: Can fail with extensible exceptions using Graded Try Monad
example/MemoryState.scala: Access the memory store with compile-time indexes using Graded State Monad
TODO: example/FreeEffect.scala: Approximate algebraic effect using Freer Graded Monad

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
example		example
project		project
src		src
.editorconfig		.editorconfig
.gitignore		.gitignore
README.md		README.md
build.sbt		build.sbt