Graded Monad in Scala

The target is dotty.

Installation

sbt compile

Examples

• 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