Skip to content

Latest commit

 

History

History
15 lines (10 loc) · 397 Bytes

README.md

File metadata and controls

15 lines (10 loc) · 397 Bytes
Raw

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