Newer
Older
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
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
module Control.Applicative where
-- Safety: Trustworthy
(<$) :: forall (f :: * -> *) a b. GHC.Base.Functor f => a -> f b -> f a
(<$>) :: forall (f :: * -> *) a b. GHC.Base.Functor f => (a -> b) -> f a -> f b
(<**>) :: forall (f :: * -> *) a b. Applicative f => f a -> f (a -> b) -> f b
type Alternative :: (* -> *) -> Constraint
class Applicative f => Alternative f where
empty :: forall a. f a
(<|>) :: forall a. f a -> f a -> f a
some :: forall a. f a -> f [a]
many :: forall a. f a -> f [a]
{-# MINIMAL empty, (<|>) #-}
type Applicative :: (* -> *) -> Constraint
class GHC.Base.Functor f => Applicative f where
pure :: forall a. a -> f a
(<*>) :: forall a b. f (a -> b) -> f a -> f b
liftA2 :: forall a b c. (a -> b -> c) -> f a -> f b -> f c
(*>) :: forall a b. f a -> f b -> f b
(<*) :: forall a b. f a -> f b -> f a
{-# MINIMAL pure, ((<*>) | liftA2) #-}
type role Const representational phantom
type Const :: forall {k}. * -> k -> *
newtype Const a b = Const {getConst :: a}
type role WrappedArrow representational nominal nominal
type WrappedArrow :: (* -> * -> *) -> * -> * -> *
newtype WrappedArrow a b c = WrapArrow {unwrapArrow :: a b c}
type role WrappedMonad representational nominal
type WrappedMonad :: (* -> *) -> * -> *
newtype WrappedMonad m a = WrapMonad {unwrapMonad :: m a}
type ZipList :: * -> *
newtype ZipList a = ZipList {getZipList :: [a]}
asum :: forall (t :: * -> *) (f :: * -> *) a. (Data.Foldable.Foldable t, Alternative f) => t (f a) -> f a
liftA :: forall (f :: * -> *) a b. Applicative f => (a -> b) -> f a -> f b
liftA3 :: forall (f :: * -> *) a b c d. Applicative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d
optional :: forall (f :: * -> *) a. Alternative f => f a -> f (GHC.Maybe.Maybe a)
module Control.Arrow where
-- Safety: Trustworthy
(<<<) :: forall {k} (cat :: k -> k -> *) (b :: k) (c :: k) (a :: k). Control.Category.Category cat => cat b c -> cat a b -> cat a c
(<<^) :: forall (a :: * -> * -> *) c d b. Arrow a => a c d -> (b -> c) -> a b d
(>>>) :: forall {k} (cat :: k -> k -> *) (a :: k) (b :: k) (c :: k). Control.Category.Category cat => cat a b -> cat b c -> cat a c
(>>^) :: forall (a :: * -> * -> *) b c d. Arrow a => a b c -> (c -> d) -> a b d
type Arrow :: (* -> * -> *) -> Constraint
class Control.Category.Category a => Arrow a where
arr :: forall b c. (b -> c) -> a b c
first :: forall b c d. a b c -> a (b, d) (c, d)
second :: forall b c d. a b c -> a (d, b) (d, c)
(***) :: forall b c b' c'. a b c -> a b' c' -> a (b, b') (c, c')
(&&&) :: forall b c c'. a b c -> a b c' -> a b (c, c')
{-# MINIMAL arr, (first | (***)) #-}
type ArrowApply :: (* -> * -> *) -> Constraint
class Arrow a => ArrowApply a where
app :: forall b c. a (a b c, b) c
{-# MINIMAL app #-}
type ArrowChoice :: (* -> * -> *) -> Constraint
class Arrow a => ArrowChoice a where
left :: forall b c d. a b c -> a (Data.Either.Either b d) (Data.Either.Either c d)
right :: forall b c d. a b c -> a (Data.Either.Either d b) (Data.Either.Either d c)
(+++) :: forall b c b' c'. a b c -> a b' c' -> a (Data.Either.Either b b') (Data.Either.Either c c')
(|||) :: forall b d c. a b d -> a c d -> a (Data.Either.Either b c) d
{-# MINIMAL (left | (+++)) #-}
type ArrowLoop :: (* -> * -> *) -> Constraint
class Arrow a => ArrowLoop a where
loop :: forall b d c. a (b, d) (c, d) -> a b c
{-# MINIMAL loop #-}
type role ArrowMonad representational nominal
type ArrowMonad :: (* -> * -> *) -> * -> *
newtype ArrowMonad a b = ArrowMonad (a () b)
type ArrowPlus :: (* -> * -> *) -> Constraint
class ArrowZero a => ArrowPlus a where
(<+>) :: forall b c. a b c -> a b c -> a b c
{-# MINIMAL (<+>) #-}
type ArrowZero :: (* -> * -> *) -> Constraint
class Arrow a => ArrowZero a where
zeroArrow :: forall b c. a b c
{-# MINIMAL zeroArrow #-}
type role Kleisli representational representational nominal
type Kleisli :: (* -> *) -> * -> * -> *
newtype Kleisli m a b = Kleisli {runKleisli :: a -> m b}
(^<<) :: forall (a :: * -> * -> *) c d b. Arrow a => (c -> d) -> a b c -> a b d
(^>>) :: forall (a :: * -> * -> *) b c d. Arrow a => (b -> c) -> a c d -> a b d
leftApp :: forall (a :: * -> * -> *) b c d. ArrowApply a => a b c -> a (Data.Either.Either b d) (Data.Either.Either c d)
returnA :: forall (a :: * -> * -> *) b. Arrow a => a b b
module Control.Category where
-- Safety: Trustworthy
(<<<) :: forall {k} (cat :: k -> k -> *) (b :: k) (c :: k) (a :: k). Category cat => cat b c -> cat a b -> cat a c
(>>>) :: forall {k} (cat :: k -> k -> *) (a :: k) (b :: k) (c :: k). Category cat => cat a b -> cat b c -> cat a c
type Category :: forall {k}. (k -> k -> *) -> Constraint
class Category cat where
id :: forall (a :: k). cat a a
(.) :: forall (b :: k) (c :: k) (a :: k). cat b c -> cat a b -> cat a c
{-# MINIMAL id, (.) #-}
module Control.Concurrent where
-- Safety: Trustworthy
type Chan :: * -> *
data Chan a = ...
type MVar :: * -> *
data MVar a = ...
type QSem :: *
newtype QSem = ...
type QSemN :: *
data QSemN = ...
type ThreadId :: *
data ThreadId = ...
addMVarFinalizer :: forall a. MVar a -> GHC.Types.IO () -> GHC.Types.IO ()
dupChan :: forall a. Chan a -> GHC.Types.IO (Chan a)
forkFinally :: forall a. GHC.Types.IO a -> (Data.Either.Either GHC.Exception.Type.SomeException a -> GHC.Types.IO ()) -> GHC.Types.IO ThreadId
forkIO :: GHC.Types.IO () -> GHC.Types.IO ThreadId
forkIOWithUnmask :: ((forall a. GHC.Types.IO a -> GHC.Types.IO a) -> GHC.Types.IO ()) -> GHC.Types.IO ThreadId
forkOS :: GHC.Types.IO () -> GHC.Types.IO ThreadId
forkOSWithUnmask :: ((forall a. GHC.Types.IO a -> GHC.Types.IO a) -> GHC.Types.IO ()) -> GHC.Types.IO ThreadId
forkOn :: GHC.Types.Int -> GHC.Types.IO () -> GHC.Types.IO ThreadId
forkOnWithUnmask :: GHC.Types.Int -> ((forall a. GHC.Types.IO a -> GHC.Types.IO a) -> GHC.Types.IO ()) -> GHC.Types.IO ThreadId
getChanContents :: forall a. Chan a -> GHC.Types.IO [a]
getNumCapabilities :: GHC.Types.IO GHC.Types.Int
isCurrentThreadBound :: GHC.Types.IO GHC.Types.Bool
isEmptyMVar :: forall a. MVar a -> GHC.Types.IO GHC.Types.Bool
killThread :: ThreadId -> GHC.Types.IO ()
mkWeakMVar :: forall a. MVar a -> GHC.Types.IO () -> GHC.Types.IO (GHC.Weak.Weak (MVar a))
mkWeakThreadId :: ThreadId -> GHC.Types.IO (GHC.Weak.Weak ThreadId)
modifyMVar :: forall a b. MVar a -> (a -> GHC.Types.IO (a, b)) -> GHC.Types.IO b
modifyMVarMasked :: forall a b. MVar a -> (a -> GHC.Types.IO (a, b)) -> GHC.Types.IO b
modifyMVarMasked_ :: forall a. MVar a -> (a -> GHC.Types.IO a) -> GHC.Types.IO ()
modifyMVar_ :: forall a. MVar a -> (a -> GHC.Types.IO a) -> GHC.Types.IO ()
myThreadId :: GHC.Types.IO ThreadId
newChan :: forall a. GHC.Types.IO (Chan a)
newEmptyMVar :: forall a. GHC.Types.IO (MVar a)
newMVar :: forall a. a -> GHC.Types.IO (MVar a)
newQSem :: GHC.Types.Int -> GHC.Types.IO QSem
newQSemN :: GHC.Types.Int -> GHC.Types.IO QSemN
putMVar :: forall a. MVar a -> a -> GHC.Types.IO ()
readChan :: forall a. Chan a -> GHC.Types.IO a
readMVar :: forall a. MVar a -> GHC.Types.IO a
rtsSupportsBoundThreads :: GHC.Types.Bool
runInBoundThread :: forall a. GHC.Types.IO a -> GHC.Types.IO a
runInUnboundThread :: forall a. GHC.Types.IO a -> GHC.Types.IO a
setNumCapabilities :: GHC.Types.Int -> GHC.Types.IO ()
signalQSem :: QSem -> GHC.Types.IO ()
signalQSemN :: QSemN -> GHC.Types.Int -> GHC.Types.IO ()
swapMVar :: forall a. MVar a -> a -> GHC.Types.IO a
takeMVar :: forall a. MVar a -> GHC.Types.IO a
threadCapability :: ThreadId -> GHC.Types.IO (GHC.Types.Int, GHC.Types.Bool)
threadDelay :: GHC.Types.Int -> GHC.Types.IO ()
threadWaitRead :: System.Posix.Types.Fd -> GHC.Types.IO ()
threadWaitReadSTM :: System.Posix.Types.Fd -> GHC.Types.IO (GHC.Conc.Sync.STM (), GHC.Types.IO ())
threadWaitWrite :: System.Posix.Types.Fd -> GHC.Types.IO ()
threadWaitWriteSTM :: System.Posix.Types.Fd -> GHC.Types.IO (GHC.Conc.Sync.STM (), GHC.Types.IO ())
throwTo :: forall e. GHC.Exception.Type.Exception e => ThreadId -> e -> GHC.Types.IO ()
tryPutMVar :: forall a. MVar a -> a -> GHC.Types.IO GHC.Types.Bool
tryReadMVar :: forall a. MVar a -> GHC.Types.IO (GHC.Maybe.Maybe a)
tryTakeMVar :: forall a. MVar a -> GHC.Types.IO (GHC.Maybe.Maybe a)
waitQSem :: QSem -> GHC.Types.IO ()
waitQSemN :: QSemN -> GHC.Types.Int -> GHC.Types.IO ()
withMVar :: forall a b. MVar a -> (a -> GHC.Types.IO b) -> GHC.Types.IO b
withMVarMasked :: forall a b. MVar a -> (a -> GHC.Types.IO b) -> GHC.Types.IO b
writeChan :: forall a. Chan a -> a -> GHC.Types.IO ()
writeList2Chan :: forall a. Chan a -> [a] -> GHC.Types.IO ()
yield :: GHC.Types.IO ()
module Control.Concurrent.Chan where
-- Safety: Trustworthy
type Chan :: * -> *
data Chan a = ...
dupChan :: forall a. Chan a -> GHC.Types.IO (Chan a)
getChanContents :: forall a. Chan a -> GHC.Types.IO [a]
newChan :: forall a. GHC.Types.IO (Chan a)
readChan :: forall a. Chan a -> GHC.Types.IO a
writeChan :: forall a. Chan a -> a -> GHC.Types.IO ()
writeList2Chan :: forall a. Chan a -> [a] -> GHC.Types.IO ()
module Control.Concurrent.MVar where
-- Safety: Trustworthy
type MVar :: * -> *
data MVar a = ...
addMVarFinalizer :: forall a. MVar a -> GHC.Types.IO () -> GHC.Types.IO ()
isEmptyMVar :: forall a. MVar a -> GHC.Types.IO GHC.Types.Bool
mkWeakMVar :: forall a. MVar a -> GHC.Types.IO () -> GHC.Types.IO (GHC.Weak.Weak (MVar a))
modifyMVar :: forall a b. MVar a -> (a -> GHC.Types.IO (a, b)) -> GHC.Types.IO b
modifyMVarMasked :: forall a b. MVar a -> (a -> GHC.Types.IO (a, b)) -> GHC.Types.IO b
modifyMVarMasked_ :: forall a. MVar a -> (a -> GHC.Types.IO a) -> GHC.Types.IO ()
modifyMVar_ :: forall a. MVar a -> (a -> GHC.Types.IO a) -> GHC.Types.IO ()
newEmptyMVar :: forall a. GHC.Types.IO (MVar a)
newMVar :: forall a. a -> GHC.Types.IO (MVar a)
putMVar :: forall a. MVar a -> a -> GHC.Types.IO ()
readMVar :: forall a. MVar a -> GHC.Types.IO a
swapMVar :: forall a. MVar a -> a -> GHC.Types.IO a
takeMVar :: forall a. MVar a -> GHC.Types.IO a
tryPutMVar :: forall a. MVar a -> a -> GHC.Types.IO GHC.Types.Bool
tryReadMVar :: forall a. MVar a -> GHC.Types.IO (GHC.Maybe.Maybe a)
tryTakeMVar :: forall a. MVar a -> GHC.Types.IO (GHC.Maybe.Maybe a)
withMVar :: forall a b. MVar a -> (a -> GHC.Types.IO b) -> GHC.Types.IO b
withMVarMasked :: forall a b. MVar a -> (a -> GHC.Types.IO b) -> GHC.Types.IO b
module Control.Concurrent.QSem where
-- Safety: Safe
type QSem :: *
newtype QSem = ...
Loading
Loading full blame...