Categories Monads

Effectful sequential computations

130 results

Check out Package Feeds

@hackage/abstract-par
Type classes generalizing the functionality of the 'monad-par' library.
BSD-3-Clausev0.3.3Wed, 6 Nov 2013
@hackage/stream-monad
Simple, Fair and Terminating Backtracking Monad
BSD-3-Clausev0.4.0.2Mon, 10 Sep 2012
@hackage/exception-transformers
Type classes and monads for unchecked extensible exceptions.
BSD-3-Clausev0.4.0.12Thu, 31 Aug 2023
@hackage/explicit-sharing
Explicit Sharing of Monadic Effects
LicenseRef-PublicDomainv0.9Thu, 30 Jun 2011
@hackage/wl-pprint-terminfo
A color pretty printer with terminfo support
BSD-3-Clausev3.7.1.4Wed, 22 Jun 2016
@hackage/mtl-c
Very strict CPS'd transformers
BSD-3-Clausev0.1.1Fri, 11 Nov 2016
@hackage/contstuff-monads-tf
ContStuff instances for monads-tf transformers (deprecated)
BSD-3-Clausev0.2.1Wed, 24 Nov 2010
@hackage/control-monad-free
Free monads and monad transformers
LicenseRef-PublicDomainv0.6.2Sat, 6 Oct 2018
@hackage/control-monad-exception-mtl
MTL instances for the EMT exceptions monad transformer
LicenseRef-PublicDomainv0.10.3Mon, 28 May 2012
@hackage/free
Monads for free
BSD-3-Clausev5.2Mon, 3 Mar 2025
@hackage/monad-dijkstra
A monad transformer for weighted graph searches
BSD-3-Clausev0.1.1.5Mon, 18 Dec 2023
@hackage/tree-monad
Non-Determinism Monad for Tree Search
BSD-3-Clausev0.3.2Thu, 14 Jul 2022
@hackage/views
Views allow you to run a State monad on part of a state.
BSD-3-Clausev1.0Fri, 15 Mar 2013
@hackage/tagged-exception-core
Reflect exceptions using phantom types.
BSD-3-Clausev2.2.0.0Tue, 2 Feb 2016
@hackage/statethread
The ST monad and STRefs
BSD-3-Clausev0.1.1Sat, 7 Apr 2012
@hackage/operational
Implementation of difficult monads made easy with operational semantics.
BSD-3-Clausev0.2.4.2Fri, 29 Dec 2023
@hackage/monad-ran
Fast monads and monad transformers
BSD-3-Clausev0.1.0Wed, 6 May 2009
@hackage/boots
IoC Monad in Haskell
MITv0.2.0.1Tue, 3 Sep 2019
@hackage/monad-memo
Memoization monad transformer
BSD-3-Clausev0.5.4Mon, 3 Jan 2022
@hackage/resumable-exceptions
A monad transformer for resumable exceptions
LicenseRef-OtherLicensev0.0.0.20100920Mon, 20 Sep 2010
@hackage/level-monad
Non-Determinism Monad for Level-Wise Search
LicenseRef-PublicDomainv0.4.1Mon, 22 Jun 2009
@hackage/monad-interleave
Monads with an unsaveInterleaveIO-like operation.
BSD-3-Clausev0.2.0.1Tue, 22 Nov 2022
@hackage/unlift
Typeclass for monads that can be unlifted to arbitrary base monads
MPL-2.0v0.0.0.0Wed, 21 Apr 2021
@hackage/ixmonad
Embeds effect systems into Haskell using parameteric effect monads
BSD-3-Clausev0.57Sun, 1 Jan 2017
@hackage/contstuff
Fast, easy to use CPS-based monad transformers
BSD-3-Clausev1.2.6Thu, 19 May 2011
@hackage/mstate
MState: A consistent State monad for concurrent applications.
BSD-3-Clausev0.2.11Tue, 4 Feb 2025
@hackage/ZFS
Oleg's Zipper FS
LicenseRef-PublicDomainv0.0.2Tue, 25 Nov 2014
@hackage/free-game
Create games for free
BSD-3-Clausev1.2Mon, 29 Aug 2022
@hackage/tangle
Heterogenous memoisation monad
BSD-3-Clausev0.1Mon, 8 Nov 2021
@hackage/csp
Discrete constraint satisfaction problem (CSP) solver.
LicenseRef-LGPLv1.4.0Wed, 14 Mar 2018
@hackage/monad-connect
Transformer for TCP connection with TLS and SOCKS support
LicenseRef-PublicDomainv0.1Wed, 16 Mar 2016
@hackage/TreeT
Transformer for Data.Tree
LicenseRef-PublicDomainv0.0Sat, 17 Sep 2011
@hackage/free-algebras
Free algebras
MPL-2.0v0.1.2.0Sun, 1 Sep 2024
@hackage/compose-trans
Composable monad transformers
BSD-3-Clausev0.1Sat, 5 Nov 2011
@hackage/time-out
Timers, timeouts, alarms, monadic wrappers
LicenseRef-PublicDomainv0.2Mon, 30 May 2016
@hackage/list-t
ListT done right
MITv1.0.5.7Wed, 11 Oct 2023
@hackage/monadloc-pp
A preprocessor for generating monadic call traces
LicenseRef-PublicDomainv0.3.1Fri, 17 Oct 2014
@hackage/monad-stlike-stm
ST-like monad capturing variables to regions and supporting STM.
BSD-3-Clausev0.1.1Wed, 3 Feb 2010
@hackage/supply-chain-core
Composable request-response pipelines
Apache-2.0v0.0.0.1Wed, 11 Jan 2023
@hackage/graphted
Graph indexed monads.
BSD-3-Clausev0.3.1.0Tue, 9 May 2017
@hackage/exception-monads-fd
Exception monad transformer instances for monads-fd classes.
BSD-3-Clausev0.2Wed, 6 Oct 2010
@hackage/heftia
higher-order algebraic effects done right
MPL-2.0v0.7.0.0Thu, 24 Apr 2025
@hackage/representable-tries
Tries from representations of polynomial functors
BSD-3-Clausev3.0.2Sun, 6 Jan 2013
@hackage/monad-par
A library for parallel programming based on a monad
BSD-3-Clausev0.3.6Mon, 2 Oct 2023
@hackage/hofix-mtl
defining @mtl@-ready monads as * -> * fixed-points
LicenseRef-OtherLicensev1.0Thu, 12 Aug 2010
@hackage/wl-pprint-annotated
Pretty printer with annotation support
BSD-3-Clausev0.1.0.1Thu, 10 Apr 2025
@hackage/control-monad-exception-monadstf
Monads-tf instances for the EMT exceptions monad transformer
LicenseRef-PublicDomainv0.10.3Mon, 28 May 2012
@hackage/monad-st
Provides a MonadST class
BSD-3-Clausev0.2.4.1Fri, 17 Dec 2021
@hackage/lazyio
Run IO actions lazily while respecting their order
BSD-3-Clausev0.1.0.4Thu, 16 Feb 2023
@hackage/monad-hash
Monad transformer for incremental hashing
LicenseRef-PublicDomainv0.1.0.2Mon, 30 May 2016
@hackage/extensible
Extensible, efficient, optics-friendly data types and effects
BSD-3-Clausev0.9.2Thu, 5 Dec 2024
@hackage/set-monad
Set monad
BSD-3-Clausev0.3.0.0Sat, 29 Jan 2022
@hackage/monadic-recursion-schemes
Recursion Schemes for Monadic version.
BSD-3-Clausev0.1.13.2Wed, 19 Apr 2023
@hackage/pipes-errors
Integration between pipes and errors
BSD-3-Clausev0.3Thu, 21 May 2015
@hackage/rhythm-game-tutorial
Haskell rhythm game tutorial
BSD-3-Clausev0.1.1Mon, 23 Feb 2015
@hackage/supply-chain
Composable request-response pipelines
Apache-2.0v0.0.1.0Fri, 3 Mar 2023
@hackage/MonadLab
Automatically generate layered monads
BSD-3-Clausev0.0.2Thu, 29 Jan 2009
@hackage/failure
A simple type class for success/failure computations. (deprecated)
BSD-3-Clausev0.2.0.3Tue, 8 Oct 2024
@hackage/monad-parallel-progressbar
Parallel execution of monadic computations with a progress bar
MITv0.1.0.1Sun, 5 Apr 2015
@hackage/monad-tx
A transactional state monad.
BSD-3-Clausev0.0.1Mon, 6 Apr 2009
@hackage/representable-functors
Representable functors
BSD-3-Clausev3.2.0.2Sun, 13 Oct 2013
@hackage/lazyio-applicative
LazyIO applicative for asymptotic performance
MITv0.1.0.3Fri, 2 Feb 2024
@hackage/hsmisc
A collection of miscellaneous modules
BSD-3-Clausev1.2Mon, 29 Jun 2015
@hackage/freer-par-monad
Freer par monad
BSD-3-Clausev0.1.0.0Fri, 1 Dec 2023
@hackage/STMonadTrans
A monad transformer version of the ST monad
BSD-3-Clausev0.4.8.1Tue, 26 Aug 2025
@hackage/nondeterminism
A monad and monad transformer for nondeterministic computations.
LicenseRef-LGPLv1.5Fri, 20 May 2022
@hackage/wl-pprint-extras
A free monad based on the Wadler/Leijen pretty printer
BSD-3-Clausev3.5.0.5Tue, 9 Jun 2015
@hackage/effect-monad
Embeds effect systems and program logics into Haskell using graded monads and parameterised monads
BSD-3-Clausev0.8.1.0Wed, 24 Jan 2018
@hackage/monadLib-compose
Arrow-like monad composition for monadLib.
BSD-3-Clausev0.2Wed, 20 Oct 2010
@hackage/streamt
Simple, Fair and Terminating Backtracking Monad Transformer
BSD-3-Clausev0.5.0.1Fri, 20 May 2022
@hackage/cond
Basic conditional and boolean operators with monadic variants.
BSD-3-Clausev0.5.1Sun, 19 Nov 2023
@hackage/interleavableIO
Use other Monads in functions that asks for an IO Monad.
LicenseRef-OtherLicensev0.0.1Wed, 23 Jul 2008
@hackage/stm-lifted
Software Transactional Memory lifted to MonadIO
BSD-3-Clausev2.5.0.0Tue, 30 Apr 2019
@hackage/iException
Version of Control.Exception using InterleavableIO.
LicenseRef-OtherLicensev0.0.1Wed, 23 Jul 2008
@hackage/supermonad
Plugin and base library to support supermonads in Haskell
BSD-3-Clausev0.2.1.1Mon, 7 May 2018
@hackage/monad-products
Monad products
BSD-3-Clausev4.0.1Sun, 17 Jan 2016
@hackage/hdph
Haskell distributed parallel Haskell
BSD-3-Clausev0.0.1Thu, 7 Feb 2013
@hackage/reflection-without-remorse
Efficient free and operational monads.
BSD-3-Clausev0.9.5Tue, 30 Dec 2014
@hackage/control-monad-failure
A class for monads which can fail with an error. (deprecated)
LicenseRef-PublicDomainv0.7.0.1Wed, 18 Jan 2012
@hackage/monad-stlike-io
ST-like monad capturing variables to regions and supporting IO.
BSD-3-Clausev0.2.2Mon, 6 Dec 2010
@hackage/monad-par-extras
Combinators and extra features for Par monads
BSD-3-Clausev0.3.3Fri, 12 Jul 2013
@hackage/kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads
BSD-3-Clausev5.2.7Tue, 17 Jun 2025
@hackage/do-list
Do notation for free
BSD-3-Clausev1.0.1Mon, 19 Sep 2016
@hackage/Tainted
Tainted type, and associated operations
BSD-3-Clausev0.1.0.2Wed, 27 May 2015
@hackage/elevator
Immediately lifts to a desired level
BSD-3-Clausev0.2.3Wed, 1 Apr 2015
@hackage/exception-mtl
Exception monad transformer instances for mtl classes.
BSD-3-Clausev0.4.0.2Wed, 22 Mar 2023
@hackage/effective-aspects
A monadic embedding of aspect oriented programming
LicenseRef-OtherLicensev0.1.0.0Wed, 15 Jan 2014
@hackage/meta-par
Provides the monad-par interface, but based on modular scheduler "mix-ins".
BSD-3-Clausev0.3Fri, 4 May 2012
@hackage/Consumer
A monad and monad transformer for consuming streams
BSD-3-Clausev1.2Tue, 27 Oct 2009
@hackage/atrans
A small collection of monad (transformer) instances.
MITv0.1.1.0Wed, 20 Jan 2016
@hackage/monad-parallel
Parallel execution of monadic computations
BSD-3-Clausev0.8Tue, 22 Mar 2022
@hackage/effects-parser
Parser Effect for the Control.Effects Library
BSD-3-Clausev0.1Sun, 15 Sep 2013
@hackage/effective-aspects-mzv
A monadic embedding of aspect oriented programming, using "Monads, Zippers and Views" instead of mtl.
LicenseRef-OtherLicensev0.1.0.1Wed, 16 Apr 2014
@hackage/contstuff-transformers
Deprecated interface between contstuff 0.7.0 and the transformers package
BSD-3-Clausev0.1.1Mon, 27 Dec 2010
@hackage/monadology
The best ideas in monad-related classes and types.
BSD-2-Clausev0.4Mon, 16 Dec 2024
@hackage/control-monad-exception
Explicitly typed, checked exceptions with stack traces
LicenseRef-PublicDomainv0.11.4Mon, 6 Jul 2020
@hackage/monad-coroutine
Coroutine monad transformer for suspending and resuming monadic computations
LicenseRef-GPLv0.9.2Wed, 23 Mar 2022
@hackage/functor-monad
FFunctor: functors on (the usual) Functors
BSD-3-Clausev0.1.1.1Sun, 29 Sep 2024
@hackage/transformers-compose
Arrow-like / category-like composition for transformers.
BSD-3-Clausev0.1Mon, 1 Nov 2010
@hackage/database-study
Demonstrate how a database can be implemented the functional way
BSD-3-Clausev0.0.1Fri, 5 Feb 2010
@hackage/console-style
Styled console text output using ANSI escape sequences.
MITv0.0.2.1Sat, 3 Dec 2016
@hackage/stateful-mtl
Typeclass instances for monad transformer stacks with an ST thread at the bottom.
BSD-3-Clausev1.0.7Fri, 13 Mar 2009
@hackage/effects
Computational Effects
BSD-3-Clausev0.2.4Sat, 13 Apr 2019
@hackage/control-monad-exception-monadsfd
Monads-fd instances for the EMT exceptions monad transformer
LicenseRef-PublicDomainv0.10.3Mon, 28 May 2012
@hackage/except-exceptions
Safely deal with exceptions in ExceptT
BSD-3-Clausev0.1Fri, 23 Mar 2018
@hackage/infinite-search
Exhaustively searchable infinite sets.
BSD-3-Clausev0.12Fri, 9 Jan 2009
@hackage/probability
Probabilistic Functional Programming
BSD-3-Clausev0.2.8Mon, 19 May 2025
@hackage/monad-effect
A fast and lightweight effect system.
BSD-3-Clausev0.2.0.0Fri, 17 Oct 2025
@hackage/interleavableGen
Generates a version of a module using InterleavableIO
LicenseRef-OtherLicensev0.0.1Wed, 23 Jul 2008
@hackage/monadLib
A collection of monad transformers.
ISCv3.10.3Mon, 2 Sep 2024
@hackage/pqueue-mtl
Fully encapsulated monad transformers with queuelike functionality.
BSD-3-Clausev1.0.7Fri, 13 Mar 2009
@hackage/control-monad-failure-mtl
A class for monads which can fail with an error for mtl 1 (deprecated)
LicenseRef-PublicDomainv0.7.1Wed, 30 Nov 2011
@hackage/exotic-list-monads
Non-standard monads on lists and non-empty lists
MITv1.2.1Fri, 8 Aug 2025
@hackage/cflp
Constraint Functional-Logic Programming in Haskell
BSD-3-Clausev2009.2.1Thu, 4 Jun 2009
@hackage/monadloc
A class for monads which can keep a monadic call trace
LicenseRef-PublicDomainv0.7.1Thu, 6 Jun 2013
@hackage/exception-monads-tf
Exception monad transformer instances for monads-tf classes.
BSD-3-Clausev0.4.0.1Wed, 3 May 2017
@hackage/free-vl
van Laarhoven encoded Free Monad with Extensible Effects
BSD-3-Clausev0.1.4Wed, 10 Feb 2016
@hackage/either
Combinators for working with sums
BSD-3-Clausev5.0.3Sat, 11 Oct 2025
@hackage/colorful-monoids
Styled console text output using ANSI escape sequences.
MITv0.2.1.3Wed, 17 Jun 2020
@hackage/free-category
efficient data types for free categories and arrows
MPL-2.0v0.0.4.5Sun, 1 Sep 2024
@hackage/MonadCompose
Methods for composing monads.
BSD-3-Clausev0.9.0.0Mon, 28 Jan 2019
@hackage/heftia-effects
higher-order algebraic effects done right
MPL-2.0v0.7.0.0Thu, 24 Apr 2025
@hackage/backward-state
A state monad that runs the state in reverse through the computation
BSD-3-Clausev0.1.0.2Mon, 14 Jan 2013
@hackage/category-extras
A meta-package documenting various packages inspired by category theory
BSD-3-Clausev1.0.2Fri, 6 Apr 2012
@hackage/exceptions
Extensible optionally-pure exceptions
BSD-3-Clausev0.10.11Mon, 13 Oct 2025
@hackage/monad-supply
Stateful supply monad
LicenseRef-OtherLicensev0.9Mon, 14 Sep 2020
@hackage/monad-state
Utility library for monads, particularly those involving state.
BSD-3-Clausev0.2.0.3Wed, 7 Feb 2024
@hackage/monad-skeleton
Monads of program skeleta
BSD-3-Clausev0.2Tue, 30 Nov 2021
@hackage/indexed-free
indexed monads for free
BSD-3-Clausev0.3.1Wed, 27 Nov 2013
@hackage/extensible-skeleton
Operational-based extensible effect library
BSD-3-Clausev0.0.1Thu, 21 Oct 2021

Categories Monads

@hackage/abstract-par

@hackage/stream-monad

@hackage/exception-transformers

@hackage/explicit-sharing

@hackage/wl-pprint-terminfo

@hackage/mtl-c

@hackage/contstuff-monads-tf

@hackage/control-monad-free

@hackage/control-monad-exception-mtl

@hackage/free

@hackage/monad-dijkstra

@hackage/tree-monad

@hackage/views

@hackage/tagged-exception-core

@hackage/statethread

@hackage/operational

@hackage/monad-ran

@hackage/boots

@hackage/monad-memo

@hackage/resumable-exceptions

@hackage/level-monad

@hackage/monad-interleave

@hackage/unlift

@hackage/ixmonad

@hackage/contstuff

@hackage/mstate

@hackage/ZFS

@hackage/free-game

@hackage/tangle

@hackage/csp

@hackage/monad-connect

@hackage/TreeT

@hackage/free-algebras

@hackage/compose-trans

@hackage/time-out

@hackage/list-t

@hackage/monadloc-pp

@hackage/monad-stlike-stm

@hackage/supply-chain-core

@hackage/graphted

@hackage/exception-monads-fd

@hackage/heftia

@hackage/representable-tries

@hackage/monad-par

@hackage/hofix-mtl

@hackage/wl-pprint-annotated

@hackage/control-monad-exception-monadstf

@hackage/monad-st

@hackage/lazyio

@hackage/monad-hash

@hackage/extensible

@hackage/set-monad

@hackage/monadic-recursion-schemes

@hackage/pipes-errors

@hackage/rhythm-game-tutorial

@hackage/supply-chain

@hackage/MonadLab

@hackage/failure

@hackage/monad-parallel-progressbar

@hackage/monad-tx

@hackage/representable-functors

@hackage/lazyio-applicative

@hackage/hsmisc

@hackage/freer-par-monad

@hackage/STMonadTrans

@hackage/nondeterminism

@hackage/wl-pprint-extras

@hackage/effect-monad

@hackage/monadLib-compose

@hackage/streamt

@hackage/cond

@hackage/interleavableIO

@hackage/stm-lifted

@hackage/iException

@hackage/supermonad

@hackage/monad-products

@hackage/hdph

@hackage/reflection-without-remorse

@hackage/control-monad-failure