netcore-1.0.0: The NetCore compiler and runtime system for OpenFlow networks.

Safe HaskellSafe-Infered



Functions and types that heavily used by the Frenetic implementation.



data Set a

A set of values a.


Typeable1 Set 
Foldable Set 
Eq a => Eq (Set a) 
(Data a, Ord a) => Data (Set a) 
Ord a => Ord (Set a) 
(Read a, Ord a) => Read (Set a) 
Show a => Show (Set a) 
Ord a => Monoid (Set a) 
(Ord a, Binary a) => Binary (Set a) 
NFData a => NFData (Set 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.


Typeable1 MultiSet 
Foldable MultiSet 
Eq a => Eq (MultiSet a) 
(Data a, Ord a) => Data (MultiSet a) 
Ord a => Ord (MultiSet a) 
(Read a, Ord a) => Read (MultiSet a) 
Show a => Show (MultiSet a) 
Ord a => Monoid (MultiSet a) 

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

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.

catMaybes :: [Maybe a] -> [a]

The catMaybes function takes a list of Maybes and returns a list of all the Just values.