imsos-monad: MonadIMSOS combines State, Error, Reader and Writer.

[ control, gpl, library ] [ Propose Tags ] [ Report a vulnerability ]

A Monad providing an abstraction based on the Implicitly Modular Structural Operational Semantics (I-MSOS) approach to specifying programming language semantics

Modules

Control
- Monad
  - Control.Monad.IMSOS
    - Control.Monad.IMSOS.Fixed
    - Control.Monad.IMSOS.Layered

Downloads

imsos-monad-0.2.4.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

ltvanbinsbergen

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1.0.0, 0.2.4.0
Change log	CHANGELOG.md
Dependencies	base (>=4.18.3.0 && <4.19), compdata (>=0.13 && <0.14), containers (>=0.6 && <0.7), mtl (>=2.3.1 && <2.4), random (>=1.3 && <1.4), template-haskell (>=2.20 && <2.21) [details]
License	GPL-2.0-or-later
Author	L. Thomas van Binsbergen
Maintainer	ltvanbinsbergen@acm.org
Uploaded	by ltvanbinsbergen at 2026-08-17T16:20:02Z
Category	Control
Home page	https://haskell-omelet.org
Distributions
Downloads	15 total (8 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2026-08-17 [all 2 reports]