Source code Contents Index

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