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

Downloads

imsos-monad-0.1.0.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
Change log	CHANGELOG.md
Dependencies	base (>=4.18.3.0 && <4.19), mtl (>=2.3.1 && <2.4) [details]
License	GPL-2.0-or-later
Author	L. Thomas van Binsbergen
Maintainer	ltvanbinsbergen@acm.org
Uploaded	by ltvanbinsbergen at 2026-05-23T12:45:11Z
Category	Control
Home page	https://haskell-omelet.org
Distributions
Downloads	1 total (1 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-05-23 [all 2 reports]