Source codeContentsIndex
VariableSet
Synopsis
class (Ord key) => HasKey x key | x -> key where
toKey :: x -> key
newtype Keyed x = Keyed x
data VariableSetUpdate x
= AddElement x
| DelElement x
newtype VariableSet x = VariableSet (Broadcaster (VariableSetData x) (VariableSetUpdate x))
newEmptyVariableSet :: (HasKey x key) => IO (VariableSet x)
newVariableSet :: (HasKey x key) => [x] -> IO (VariableSet x)
updateSet :: (HasKey x key) => VariableSet x -> VariableSetUpdate x -> IO ()
type VariableSetSource x = SinkSource [x] (VariableSetUpdate x)
Documentation
class (Ord key) => HasKey x key | x -> key where
Methods
toKey :: x -> key
newtype Keyed x
Constructors
Keyed x
Instances
(HasKey x key) => Eq (Keyed x)
(HasKey x key) => Ord (Keyed x)
data VariableSetUpdate x
Encodes the updates to a variable set.
Constructors
AddElement x
DelElement x
Instances
(Ord key) => CanAddSinks (VariableMapSet key elt element) [element] (VariableSetUpdate element)
(HasKey x key) => CanAddSinks (VariableSet x) [x] (VariableSetUpdate x)
newtype VariableSet x
Constructors
VariableSet (Broadcaster (VariableSetData x) (VariableSetUpdate x))
Instances
(HasKey x key) => CanAddSinks (VariableSet x) [x] (VariableSetUpdate x)
HasTyRep1 VariableSet
newEmptyVariableSet :: (HasKey x key) => IO (VariableSet x)
Create a new empty variable set.
newVariableSet :: (HasKey x key) => [x] -> IO (VariableSet x)
Create a new variable set with given contents
updateSet :: (HasKey x key) => VariableSet x -> VariableSetUpdate x -> IO ()
Update a variable set in some way.
type VariableSetSource x = SinkSource [x] (VariableSetUpdate x)
Produced by Haddock version 0.3