monadology: The best ideas in monad-related classes and types.

[ bsd2, library, monads ] [ Propose Tags ] [ Report a vulnerability ]

Monadology is intended as a collection of the best ideas in monad-related classes and types, with a focus on correctness and elegance, and theoretical understanding, rather than practical performance.

Modules

[Last Documentation]

Control
- Monad
  - Control.Monad.Ology
    - Control.Monad.Ology.Data
      - Control.Monad.Ology.Data.Exn
      - Control.Monad.Ology.Data.Param
      - Control.Monad.Ology.Data.Prod
      - Control.Monad.Ology.Data.Ref
    - Control.Monad.Ology.General
      - Control.Monad.Ology.General.Catch
      - Control.Monad.Ology.General.Cont
      - Control.Monad.Ology.General.Coroutine
      - Control.Monad.Ology.General.Exception
      - Control.Monad.Ology.General.Extract
      - Control.Monad.Ology.General.Function
      - Control.Monad.Ology.General.IO
      - Control.Monad.Ology.General.Identity
      - Control.Monad.Ology.General.Inner
      - Control.Monad.Ology.General.Outer
      - Control.Monad.Ology.General.Throw
      - Trans
        Control.Monad.Ology.General.Trans.AskUnlift
        Control.Monad.Ology.General.Trans.Coerce
        Control.Monad.Ology.General.Trans.Constraint
        Control.Monad.Ology.General.Trans.Hoist
        Control.Monad.Ology.General.Trans.Trans
        Control.Monad.Ology.General.Trans.Tunnel
        Control.Monad.Ology.General.Trans.Unlift
    - Specific
      - Control.Monad.Ology.Specific.ComposeInner
      - Control.Monad.Ology.Specific.ComposeOuter
      - Control.Monad.Ology.Specific.ComposeT
      - Control.Monad.Ology.Specific.ContT
      - Control.Monad.Ology.Specific.CoroutineT
      - Control.Monad.Ology.Specific.ExceptT
      - Control.Monad.Ology.Specific.IdentityT
      - Control.Monad.Ology.Specific.LifecycleT
      - Control.Monad.Ology.Specific.MaybeT
      - Control.Monad.Ology.Specific.ReaderStateT
      - Control.Monad.Ology.Specific.ReaderT
      - Control.Monad.Ology.Specific.Result
      - Control.Monad.Ology.Specific.ResultT
      - Control.Monad.Ology.Specific.StackT
      - Control.Monad.Ology.Specific.StateT
      - Control.Monad.Ology.Specific.StepT
      - Control.Monad.Ology.Specific.WithT
      - Control.Monad.Ology.Specific.WriterT

Downloads

monadology-0.4.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

AshleyYakeley

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1, 0.2, 0.3, 0.4
Change log	changelog.md
Dependencies	base (>=4.19 && <5), constraints (>=0.14), invariant (>=0.6), transformers (>=0.6), type-rig (>=0.1), witness (>=0.7) [details]
Tested with	ghc ==9.8.4, ghc ==9.10.1
License	BSD-2-Clause
Copyright	(c) 2017-2024 Ashley Yakeley
Author	Ashley Yakeley
Maintainer	<ashley@semantic.org>
Category	Monads
Home page	https://github.com/AshleyYakeley/monadology#readme
Bug tracker	https://github.com/AshleyYakeley/monadology/issues
Source repo	head: git clone https://github.com/AshleyYakeley/monadology
Uploaded	by AshleyYakeley at 2024-12-16T02:41:54Z
Distributions	LTSHaskell:0.3, NixOS:0.3, Stackage:0.4
Downloads	367 total (30 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 2024-12-16 [all 2 reports]