The ImperativeHaskell package

[ Tags: control, development, embedded, gpl, language, library ] [ Propose Tags ]

A monad that uses GADTs and continuations to replicate what it is like to program in an imperative language like C, Java or Go with "return", "for", "break", "continue", and mutable references.

In Version 2:

For more information see:

[Skip to Readme]


Dependencies base (>=4.0 && <5.0), mtl (>=2.0 && <3.0), template-haskell (>=2.6 && <3.0) [details]
License GPL-3
Author Matthew Mirman
Maintainer Matthew Mirman <>
Category Control, Embedded, Development, Language
Home page
Source repo head: git clone git://
Uploaded Thu Jun 7 16:21:36 UTC 2012 by MatthewMirman
Distributions NixOS:
Downloads 4725 total (94 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees

Readme for ImperativeHaskell-

[back to package description]
Just proof that Haskell' can be truly imperative, and even look like C.

For some background, look in

For an example usage, look in Main.hs.