spec-effects

BellaBe/ideas-os

Define effect types used by morphisms. Creates the effect algebra includingIO, error types, state, and reader effects. Use when: defining error types,specifying effect semantics, building the monad foundation.

1 stars
0 forks
43 views