@hackage / STMonadTrans

A monad transformer version of the ST monad

0.4.8.1

Dependents

@hackage / Agda A dependently typed functional programming language and proof assistant
- Version: 2.8.0
- Last uploaded: 2 months ago
- License: MIT
@hackage / BPS Translations of classic Truth Maintenance Systems
- Version: 0.1.1.0
- Last uploaded: 3 years ago
- License: GPL-3.0-only
@hackage / FastPush A monad and monad transformer for pushing things onto a stack very fast.
- Version: 0.1.0.3
- Last uploaded: 9 years ago
- License: BSD-3-Clause
@hackage / TLT Testing in monads and transformers without explicit specs
- Version: 0.5.0.0
- Last uploaded: 3 years ago
- License: LGPL-3.0-only
@hackage / TastyTLT Run TLT tests from Tasty
- Version: 0.0.0.0
- Last uploaded: 4 years ago
- License: LGPL-3.0-only
@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / creditmonad Reasoning about amortized time complexity
- Version: 1.1.0
- Last uploaded: 10 months ago
- License: BSD-3-Clause
@hackage / equivalence Maintaining an equivalence relation implemented as union-find using STT.
- Version: 0.4.1.1
- Last uploaded: 10 months ago
- License: BSD-3-Clause
@hackage / glean A system for collecting, deriving and working with facts about source code.
- Version: 0.2.0.1
- Last uploaded: 4 months ago
- License: BSD-3-Clause
@hackage / neural Neural Networks in native Haskell
- Version: 0.3.0.1
- Last uploaded: 9 years ago
- License: MIT
@hackage / thrift-http Support for Thrift-over-HTTP server and client
- Version: 0.3.0.0
- Last uploaded: 4 months ago
- License: BSD-3-Clause
@hackage / thrift-lib Libraries for Haskell Thrift
- Version: 0.2.0.0
- Last uploaded: 11 months ago
- License: BSD-3-Clause