Control.Monad.NodeId

Documentation

data NodeId

A unique identifier with respect to the runNodeIdT in which it was generated

Instances

Eq NodeId

Defined in Control.Monad.NodeId

Methods

(==) :: NodeId -> NodeId -> Bool

(/=) :: NodeId -> NodeId -> Bool

Ord NodeId

Defined in Control.Monad.NodeId

Methods

compare :: NodeId -> NodeId -> Ordering

(<) :: NodeId -> NodeId -> Bool

(<=) :: NodeId -> NodeId -> Bool

(>) :: NodeId -> NodeId -> Bool

(>=) :: NodeId -> NodeId -> Bool

max :: NodeId -> NodeId -> NodeId

min :: NodeId -> NodeId -> NodeId

Show NodeId

Defined in Control.Monad.NodeId

Methods

showsPrec :: Int -> NodeId -> ShowS

show :: NodeId -> String

showList :: [NodeId] -> ShowS

class Monad m => MonadNodeId m where

Members of this class can request new identifiers that are unique in the action in which they are obtained (i.e., all calls to getNextNodeId in a given runNodeIdT will produce unique results)

Minimal complete definition

Nothing

Methods

getNextNodeId :: m NodeId

getNextNodeId :: (MonadTrans t, MonadNodeId n, m ~ t n) => m NodeId

Instances

MonadIO m => MonadNodeId (NodeIdT m)

Defined in Control.Monad.NodeId

Methods

getNextNodeId :: NodeIdT m NodeId

MonadNodeId m => MonadNodeId (ReaderT x m)

Defined in Control.Monad.NodeId

Methods

getNextNodeId :: ReaderT x m NodeId

MonadNodeId m => MonadNodeId (PostBuildT t m)

Defined in Control.Monad.NodeId

Methods

getNextNodeId :: PostBuildT t m NodeId

MonadNodeId m => MonadNodeId (TriggerEventT t m)

Defined in Control.Monad.NodeId

Methods

getNextNodeId :: TriggerEventT t m NodeId

MonadNodeId m => MonadNodeId (VtyWidget t m)

Defined in Reflex.Vty.Widget

Methods

getNextNodeId :: VtyWidget t m NodeId

MonadNodeId m => MonadNodeId (Layout t m)

Defined in Reflex.Vty.Widget.Layout

Methods

getNextNodeId :: Layout t m NodeId

MonadNodeId m => MonadNodeId (BehaviorWriterT t x m)

Defined in Control.Monad.NodeId

Methods

getNextNodeId :: BehaviorWriterT t x m NodeId

MonadNodeId m => MonadNodeId (DynamicWriterT t x m)

Defined in Control.Monad.NodeId

Methods

getNextNodeId :: DynamicWriterT t x m NodeId

MonadNodeId m => MonadNodeId (EventWriterT t x m)

Defined in Control.Monad.NodeId

Methods

getNextNodeId :: EventWriterT t x m NodeId

data NodeIdT m a

A monad transformer that internally keeps track of the next NodeId

Instances

MonadTrans NodeIdT

Defined in Control.Monad.NodeId

Methods

lift :: Monad m => m a -> NodeIdT m a

NotReady t m => NotReady t (NodeIdT m)

Defined in Control.Monad.NodeId

Methods

notReadyUntil :: Event t a -> NodeIdT m ()

notReady :: NodeIdT m ()

PerformEvent t m => PerformEvent t (NodeIdT m)

Defined in Control.Monad.NodeId

Associated Types

type Performable (NodeIdT m) :: Type -> Type

Methods

performEvent :: Event t (Performable (NodeIdT m) a) -> NodeIdT m (Event t a)

performEvent_ :: Event t (Performable (NodeIdT m) ()) -> NodeIdT m ()

TriggerEvent t m => TriggerEvent t (NodeIdT m)

Defined in Control.Monad.NodeId

Methods

newTriggerEvent :: NodeIdT m (Event t a, a -> IO ())

newTriggerEventWithOnComplete :: NodeIdT m (Event t a, a -> IO () -> IO ())

newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> NodeIdT m (Event t a)

PostBuild t m => PostBuild t (NodeIdT m)

Defined in Control.Monad.NodeId

Methods

getPostBuild :: NodeIdT m (Event t ())

Adjustable t m => Adjustable t (NodeIdT m)

Defined in Control.Monad.NodeId

Methods

runWithReplace :: NodeIdT m a -> Event t (NodeIdT m b) -> NodeIdT m (a, Event t b)

traverseIntMapWithKeyWithAdjust :: (Key -> v -> NodeIdT m v') -> IntMap v -> Event t (PatchIntMap v) -> NodeIdT m (IntMap v', Event t (PatchIntMap v'))

traverseDMapWithKeyWithAdjust :: GCompare k => (forall a. k a -> v a -> NodeIdT m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> NodeIdT m (DMap k v', Event t (PatchDMap k v'))

traverseDMapWithKeyWithAdjustWithMove :: GCompare k => (forall a. k a -> v a -> NodeIdT m (v' a)) -> DMap k v -> Event t (PatchDMapWithMove k v) -> NodeIdT m (DMap k v', Event t (PatchDMapWithMove k v'))

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (NodeIdT m)

Defined in Control.Monad.NodeId

Methods

newEventWithTrigger :: (EventTrigger t a -> IO (IO ())) -> NodeIdT m (Event t a)

newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger t a -> IO (IO ())) -> NodeIdT m (EventSelector t k)

HasDisplaySize t m => HasDisplaySize t (NodeIdT m)

Defined in Reflex.Vty.Widget

Methods

displayWidth :: NodeIdT m (Dynamic t Int)

displayHeight :: NodeIdT m (Dynamic t Int)

Monad m => Monad (NodeIdT m)

Defined in Control.Monad.NodeId

Methods

(>>=) :: NodeIdT m a -> (a -> NodeIdT m b) -> NodeIdT m b

(>>) :: NodeIdT m a -> NodeIdT m b -> NodeIdT m b

return :: a -> NodeIdT m a

fail :: String -> NodeIdT m a

Functor m => Functor (NodeIdT m)

Defined in Control.Monad.NodeId

Methods

fmap :: (a -> b) -> NodeIdT m a -> NodeIdT m b

(<$) :: a -> NodeIdT m b -> NodeIdT m a

MonadFix m => MonadFix (NodeIdT m)

Defined in Control.Monad.NodeId

Methods

mfix :: (a -> NodeIdT m a) -> NodeIdT m a

Applicative m => Applicative (NodeIdT m)

Defined in Control.Monad.NodeId

Methods

pure :: a -> NodeIdT m a

(<*>) :: NodeIdT m (a -> b) -> NodeIdT m a -> NodeIdT m b

liftA2 :: (a -> b -> c) -> NodeIdT m a -> NodeIdT m b -> NodeIdT m c

(*>) :: NodeIdT m a -> NodeIdT m b -> NodeIdT m b

(<*) :: NodeIdT m a -> NodeIdT m b -> NodeIdT m a

MonadIO m => MonadIO (NodeIdT m)

Defined in Control.Monad.NodeId

Methods

liftIO :: IO a -> NodeIdT m a

MonadRef m => MonadRef (NodeIdT m)

Defined in Control.Monad.NodeId

Associated Types

type Ref (NodeIdT m) :: Type -> Type

Methods

newRef :: a -> NodeIdT m (Ref (NodeIdT m) a)

readRef :: Ref (NodeIdT m) a -> NodeIdT m a

writeRef :: Ref (NodeIdT m) a -> a -> NodeIdT m ()

modifyRef :: Ref (NodeIdT m) a -> (a -> a) -> NodeIdT m ()

modifyRef' :: Ref (NodeIdT m) a -> (a -> a) -> NodeIdT m ()

MonadIO m => MonadNodeId (NodeIdT m)

Defined in Control.Monad.NodeId

Methods

getNextNodeId :: NodeIdT m NodeId

MonadSample t m => MonadSample (t :: Type) (NodeIdT m)

Defined in Control.Monad.NodeId

Methods

sample :: Behavior t a -> NodeIdT m a

MonadHold t m => MonadHold (t :: Type) (NodeIdT m)

Defined in Control.Monad.NodeId

Methods

hold :: a -> Event t a -> NodeIdT m (Behavior t a)

holdDyn :: a -> Event t a -> NodeIdT m (Dynamic t a)

holdIncremental :: Patch p => PatchTarget p -> Event t p -> NodeIdT m (Incremental t p)

buildDynamic :: PushM t a -> Event t a -> NodeIdT m (Dynamic t a)

headE :: Event t a -> NodeIdT m (Event t a)

type Ref (NodeIdT m)

Defined in Control.Monad.NodeId

type Ref (NodeIdT m) = Ref (ReaderT (IORef NodeId) m)

type Performable (NodeIdT m)

Defined in Control.Monad.NodeId

type Performable (NodeIdT m) = Performable (ReaderT (IORef NodeId) m)

runNodeIdT :: MonadIO m => NodeIdT m a -> m a

Runs a NodeIdT action