uni-util-2.3.0.3: Utilities for the uniform workbench

Safe Haskell	None
Language	Haskell2010

Util.VariableList

Synopsis

newVariableListFromSet :: forall a. Ord a => VariableSetSource a -> VariableList a
newVariableListFromList :: forall a. Ord a => SimpleSource [a] -> VariableList a
emptyVariableList :: VariableList a
singletonList :: forall a. a -> VariableList a
data VariableList a
data ListDrawer a pos = ListDrawer {
- newPos :: Maybe pos -> Maybe a -> IO pos
- setPos :: pos -> Maybe a -> IO ()
- delPos :: pos -> IO ()
- redraw :: IO ()
}
attachListOp :: VariableList a -> forall pos. ParallelExec -> ListDrawer a pos -> IO (IO ())
coMapListDrawer :: (a -> b) -> ListDrawer b pos -> ListDrawer a pos
map2ListDrawer :: (pos1 -> pos2) -> (pos2 -> pos1) -> ListDrawer b pos1 -> ListDrawer b pos2
catVariableLists :: VariableList a -> VariableList a -> VariableList a

Documentation

newVariableListFromSet :: forall a. Ord a => VariableSetSource a -> VariableList a Source #

newVariableListFromList :: forall a. Ord a => SimpleSource [a] -> VariableList a Source #

emptyVariableList :: VariableList a Source #

singletonList :: forall a. a -> VariableList a Source #

data VariableList a Source #

Return the close action. attachListOp :: ParallelExec -> VariableList a -> ListDrawer a -> IO (IO ())

Instances

Instances details

Functor VariableList Source #
Instance details Defined in Util.VariableList Methods fmap :: (a -> b) -> VariableList a -> VariableList b # (<$) :: a -> VariableList b -> VariableList a #
HasAddDelayer (VariableList a) Source #
Instance details Defined in Util.VariableList Methods addDelayer :: Delayer -> VariableList a -> VariableList a Source #

data ListDrawer a pos Source #

Constructors

ListDrawer
Fields newPos :: Maybe pos -> Maybe a -> IO pos setPos :: pos -> Maybe a -> IO () delPos :: pos -> IO () redraw :: IO ()

Instances

Instances details

HasAddDelayerIO (ListDrawer a pos) Source #
Instance details Defined in Util.VariableList Methods addDelayerIO :: Delayer -> ListDrawer a pos -> IO (ListDrawer a pos) Source #

attachListOp :: VariableList a -> forall pos. ParallelExec -> ListDrawer a pos -> IO (IO ()) Source #

coMapListDrawer :: (a -> b) -> ListDrawer b pos -> ListDrawer a pos Source #

map2ListDrawer :: (pos1 -> pos2) -> (pos2 -> pos1) -> ListDrawer b pos1 -> ListDrawer b pos2 Source #

catVariableLists :: VariableList a -> VariableList a -> VariableList a Source #