dejafu/monad-conc.cabal

77 lines
2.9 KiB
Plaintext
Raw Normal View History

-- Initial monad-conc.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
name: monad-conc
version: 0.0.0.0
synopsis: Overloadable primitives for potentially non-deterministic concurrency.
2015-01-12 17:24:12 +03:00
description:
Concurrency is nice, deadlocks and race conditions not so much. The
@Par@ monad family, as defined in
<https://hackage.haskell.org/package/abstract-par/docs/Control-Monad-Par-Class.html abstract-par>
provides deterministic parallelism, but sometimes we can tolerate a
bit of nondeterminism.
.
This package provides a family of monads for potentially
nondeterministic concurrency, with an interface very much in the
spirit of @Par@, but slightly more relaxed. Specifically, @Conc@'s
@IVar@ equivalent, @CVar@s, can be written to multiple times.
.
== @Conc@ monads with 'IO':
.
The intention of the @Conc@ monads is to provide concurrency where
any apparent nondeterminism arises purely from the scheduling
behaviour. To put it another way, a given @Conc@ computation,
parametrised with a fixed set of scheduling decisions, is
deterministic. This assumption is used by the testing functionality
provided by Control.Monad.Conc.SCT.
.
Whilst this assumption may not hold in general when 'IO' is
involved, you should strive to produce test cases where it does.
.
See the <https://github.com/barrucadu/monad-conc README> for more
details.
homepage: https://github.com/barrucadu/monad-conc
license: WTFPL
license-file: LICENSE
author: Michael Walker
maintainer: mike@barrucadu.co.uk
-- copyright:
category: Concurrency
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
library
exposed-modules: Control.Monad.Conc.Class
2014-12-21 12:38:25 +03:00
, Control.Monad.Conc.CVar
, Control.Monad.Conc.Fixed
, Control.Monad.Conc.Fixed.ST
, Control.Monad.Conc.Fixed.IO
, Control.Monad.Conc.Fixed.Schedulers
, Control.Monad.Conc.SCT
, Control.Monad.Conc.SCT.Tests
other-modules: Control.Monad.Conc.Fixed.Internal
2015-01-09 05:35:28 +03:00
, Control.Monad.Conc.SCT.Internal
, Control.Monad.Conc.SCT.PreBound
-- other-extensions:
2014-12-20 00:30:38 +03:00
build-depends: base >=4.6 && <5
, containers
, deepseq
2015-01-24 13:57:05 +03:00
, monad-loops
, monad-st
, mtl
2014-12-19 10:09:26 +03:00
, random
, transformers
-- hs-source-dirs:
2014-12-21 19:34:55 +03:00
default-language: Haskell2010
ghc-options: -Wall
test-suite tests
hs-source-dirs: tests
type: exitcode-stdio-1.0
main-is: Tests.hs
build-depends: monad-conc, base
default-language: Haskell2010