Freer indexed (parameterized) monad for type-level resource-aware effectual operations.
See Parameterized Extensible Effects and Session Types.
See docs on hackage.
-
Notifications
You must be signed in to change notification settings - Fork 0
Freer parameterized monads
License
epoberezkin/freer-indexed
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Freer parameterized monads