Monads

124 results

Effectful sequential computations

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

Monads

@hackage/abstract-par

@hackage/atrans

@hackage/backward-state

@hackage/boots

@hackage/category-extras

@hackage/cflp

@hackage/colorful-monoids

@hackage/compose-trans

@hackage/cond

@hackage/console-style

@hackage/Consumer

@hackage/control-monad-exception

@hackage/control-monad-exception-monadsfd

@hackage/control-monad-exception-monadstf

@hackage/control-monad-exception-mtl

@hackage/control-monad-failure

@hackage/control-monad-failure-mtl

@hackage/control-monad-free

@hackage/contstuff

@hackage/contstuff-monads-tf

@hackage/contstuff-transformers

@hackage/csp

@hackage/database-study

@hackage/do-list

@hackage/effect-monad

@hackage/effective-aspects

@hackage/effective-aspects-mzv

@hackage/effects

@hackage/effects-parser

@hackage/either

@hackage/elevator

@hackage/except-exceptions

@hackage/exception-monads-fd

@hackage/exception-monads-tf

@hackage/exception-mtl

@hackage/exception-transformers

@hackage/exceptions

@hackage/exotic-list-monads

@hackage/explicit-sharing

@hackage/extensible

@hackage/extensible-skeleton

@hackage/failure

@hackage/free

@hackage/free-algebras

@hackage/free-category

@hackage/free-game

@hackage/free-vl

@hackage/graphted

@hackage/hdph

@hackage/hofix-mtl

@hackage/hsmisc

@hackage/iException

@hackage/indexed-free

@hackage/infinite-search

@hackage/interleavableGen

@hackage/interleavableIO

@hackage/ixmonad

@hackage/kan-extensions

@hackage/lazyio

@hackage/level-monad

@hackage/list-t

@hackage/meta-par

@hackage/monad-connect

@hackage/monad-coroutine

@hackage/monad-dijkstra

@hackage/monad-hash

@hackage/monad-interleave

@hackage/monad-memo

@hackage/monad-par

@hackage/monad-par-extras

@hackage/monad-parallel

@hackage/monad-parallel-progressbar

@hackage/monad-products

@hackage/monad-ran

@hackage/monad-skeleton

@hackage/monad-st

@hackage/monad-state

@hackage/monad-stlike-io

@hackage/monad-stlike-stm