Safe Haskell | Safe-Infered |
---|
Functions and types that heavily used by the Frenetic implementation.
- data Set a
- data Map k a
- data MultiSet a
- data ByteString
- module Control.Concurrent.Chan
- module Control.Concurrent
- module System.Log.Logger
- module Data.Monoid
- select :: Chan a -> Chan b -> IO (Chan (Either a b))
- both :: Chan a -> Chan b -> IO (Chan (a, b))
- catMaybes :: [Maybe a] -> [a]
Documentation
data Set a
A set of values a
.
data Map k a
A Map from keys k
to values a
.
Typeable2 Map | |
Functor (Map k) | |
Foldable (Map k) | |
Traversable (Map k) | |
(Eq k, Eq a) => Eq (Map k a) | |
(Data k, Data a, Ord k) => Data (Map k a) | |
(Ord k, Ord v) => Ord (Map k v) | |
(Ord k, Read k, Read e) => Read (Map k e) | |
(Show k, Show a) => Show (Map k a) | |
Ord k => Monoid (Map k v) | |
(Ord k, Binary k, Binary e) => Binary (Map k e) | |
(NFData k, NFData a) => NFData (Map k a) |
data MultiSet a
A multiset of values a
.
The same value can occur multiple times.
data ByteString
A space-efficient representation of a Word8 vector, supporting many
efficient operations. A ByteString
contains 8-bit characters only.
Instances of Eq, Ord, Read, Show, Data, Typeable
module Control.Concurrent.Chan
module Control.Concurrent
module System.Log.Logger
module Data.Monoid
select :: Chan a -> Chan b -> IO (Chan (Either a b))Source
Produce a new channel that carries updates from both of the input channels, but does not wait for both to be ready. Analogous to Unix SELECT(2) followed by READ(2) on the ready file descriptor.
both :: Chan a -> Chan b -> IO (Chan (a, b))Source
Produce a new channel that waits for both input channels to produce a value, and then yields the latest version of both values. If one channel produces multiple values before the other produces any, then the early values are discarded. Afterwards, whenever one channel updates, the output channel yields that update along with whatever the current version of the other channel is.