Util.VariableList

Documentation

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

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

Instances

Functor VariableList

HasAddDelayer (VariableList a)

data ListDrawer a pos

Constructors

ListDrawer

Fields

newPos :: Maybe pos -> Maybe a -> IO pos

setPos :: pos -> Maybe a -> IO ()

delPos :: pos -> IO ()

redraw :: IO ()

Instances

HasAddDelayerIO (ListDrawer a pos)

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