@hackage / effect-monad

Embeds effect systems and program logics into Haskell using graded monads and parameterised monads

Latest0.8.1.0

Dependencies

library:effect-monad (2 dependencies)

@hackage / base Core data structures and operations
- Version: <5
- License: BSD-3-Clause
@hackage / type-level-sets Type-level sets and finite maps (with value-level counterparts)
- Version: >=0.8.7.0
- License: BSD-3-Clause