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
72
73
74
75
76
77
78
79
80
81
82
83
|
cabal-version: 1.18
name: STMonadTrans
version: 0.4.8
license: BSD3
license-file: LICENSE
author: Josef Svenningsson
maintainer: Andreas Abel, josef.svenningsson@gmail.com
homepage: https://github.com/josefs/STMonadTrans
bug-reports: https://github.com/josefs/STMonadTrans/issues
category: Monads
build-type: Simple
synopsis: A monad transformer version of the ST monad
description:
A monad transformer version of the ST monad.
.
Warning! This monad transformer should not be used with monads that
can contain multiple answers, like the list monad. The reason is that
the state token will be duplicated across the different answers and
this causes Bad Things to happen (such as loss of referential
transparency). Safe monads include the monads State, Reader, Writer,
Maybe and combinations of their corresponding monad transformers.
Tested-With:
GHC == 9.8.1
GHC == 9.6.3
GHC == 9.4.8
GHC == 9.2.8
GHC == 9.0.2
GHC == 8.10.7
GHC == 8.8.4
GHC == 8.6.5
GHC == 8.4.4
GHC == 8.2.2
GHC == 8.0.2
extra-doc-files:
README.md
changelog.md
source-repository head
type: git
location: https://github.com/josefs/STMonadTrans
library
default-language: Haskell2010
build-depends:
base >= 4.9 && < 5
, transformers >= 0.2.0.0 && < 0.7
, mtl >= 1.1
, array
exposed-modules:
Control.Monad.ST.Trans
Control.Monad.ST.Trans.Internal
default-extensions:
CPP
BangPatterns
MagicHash
UnboxedTuples
Rank2Types
FlexibleInstances
MultiParamTypeClasses
UndecidableInstances
ghc-options:
-Wall
-fwarn-tabs
-Wcompat
test-suite test
default-language: Haskell2010
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Main.hs
build-depends:
STMonadTrans
, array
, base
, transformers
, tasty >= 0.11.0.4 && < 1.6
, tasty-quickcheck >= 0.8.4 && < 0.11
, tasty-hunit >= 0.9.2 && < 0.11
|
