File: IOSpec.cabal

package info (click to toggle)
haskell-iospec 0.3.1.1-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 140 kB
  • sloc: haskell: 971; makefile: 2
file content (71 lines) | stat: -rw-r--r-- 2,773 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
Name:            IOSpec
Version:         0.3.1.1
License:         BSD3
License-file:    LICENSE
Cabal-Version:   >= 1.6
Author:          Wouter Swierstra,
                 Yusaku Hashimoto,
                 Nikolay Amiantov,
                 Bertram Felgenhauer
Maintainer:      Bertram Felgenhauer <int-e@gmx.de>
Homepage:        https://github.com/lambdabot/IOSpec
Synopsis:        A pure specification of the IO monad.
Description:     This package consists of several modules, that give a
                 pure specification of functions in the IO monad:
                 .
                 * "Test.IOSpec.Fork": a pure specification of
                   'forkIO'.
                 * "Test.IOSpec.IORef": a pure specification of most
                   functions that create and manipulate on 'IORefs'.
                 * "Test.IOSpec.MVar": a pure specification of most
                   functions that create and manipulate and 'MVars'.
                 * "Test.IOSpec.STM": a pure specification of
                   'atomically' and the 'STM' monad.
                 * "Test.IOSpec.Teletype": a pure specification of
                   'getChar', 'putChar', and several related
                   Prelude functions.
                 .
                 Besides these modules containing the specifications,
                 there are a few other important modules:
                 .
                 * "Test.IOSpec.Types": defines the 'IOSpec' type and
                   several amenities.
                 * "Test.IOSpec.VirtualMachine": defines a virtual
                   machine on which to execute pure specifications.
                 * "Test.IOSpec.Surrogate": a drop-in replacement for
                   the other modules. Import this and recompile your
                   code once you've finished testing and debugging.
                 .
                 There are several well-documented examples included 
                 with the source distribution.
Category:        Testing
Build-Type:      Simple
Extra-source-files:  README
      , examples/Channels.hs
      , examples/Echo.hs
      , examples/Queues.hs
      , examples/Refs.hs
      , examples/Sudoku.hs

Source-Repository head
    Type:        git
    Location:    https://github.com/lambdabot/IOSpec

Library
    Build-Depends:    base >= 4.8.0.0 && < 5
      , mtl
      , QuickCheck >= 2 && < 3
      , Stream
    Extensions:       MultiParamTypeClasses, OverlappingInstances
    Ghc-options:      -Wall
    Hs-source-dirs:   src
    Exposed-modules:  Test.IOSpec
      , Test.IOSpec.Fork
      , Test.IOSpec.IORef
      , Test.IOSpec.MVar
      , Test.IOSpec.STM
      , Test.IOSpec.Surrogate
      , Test.IOSpec.Teletype
      , Test.IOSpec.Types
      , Test.IOSpec.VirtualMachine