Graphics.XHB.AtomCache

Documentation

data AtomId

Constructors

forall l . AtomLike l => AtomId l

Instances

Eq AtomId

Hashable AtomId

Typeable * AtomId

class (Eq l, Hashable l, Typeable l) => AtomLike l where

Minimal complete definition

toAtomName

Methods

toAtom :: l -> AtomId

fromAtom :: AtomId -> Maybe l

toAtomName :: l -> AtomName

newtype AtomCacheT m a

Constructors

AtomCacheT

Fields

unAtomT :: StateT AtomState m a

Instances

MonadTrans AtomCacheT

MonadError e m => MonadError e (AtomCacheT m)

MonadReader r m => MonadReader r (AtomCacheT m)

MonadState s m => MonadState s (AtomCacheT m)

MonadWriter w m => MonadWriter w (AtomCacheT m)

Monad m => Monad (AtomCacheT m)

Functor m => Functor (AtomCacheT m)

(Monad m, Functor m) => Applicative (AtomCacheT m)

MonadIO m => MonadIO (AtomCacheT m)

Monad m => AtomCacheCtx (AtomCacheT m)

Typeable ((* -> *) -> * -> *) AtomCacheT

class Monad m => AtomCacheCtx m where

Methods

insertATOM :: AtomLike l => l -> ATOM -> m ()

lookupATOM :: AtomLike l => l -> m (Maybe ATOM)

unsafeLookupATOM :: AtomLike l => l -> m ATOM

lookupAtomId :: ATOM -> m (Maybe AtomId)

unsafeLookupAtomId :: ATOM -> m AtomId

Instances

(AtomCacheCtx m, MonadTrans t, Monad (t m)) => AtomCacheCtx (t m)

Monad m => AtomCacheCtx (AtomCacheT m)

type AtomName = String

atomName :: AtomId -> AtomName

runAtomCacheT :: Monad m => AtomCacheT m a -> m a

seedAtoms :: (AtomLike l, Applicative m, MonadIO m) => Connection -> [l] -> AtomCacheT m a -> AtomCacheT m (Either SomeError a)

Preseed the atom cache with ATOMs Example: > let atoms = ["_NET_CLIENT_LIST", "_NET_NUMBER_OF_DESKTOPS"] > fromJust $ X.connect >>= c -> runAtomCacheT . seedAtoms c atoms $ mapM_ (n -> unsafeLookupAtom n >>= liftIO . print)

tryLookupAtom :: (AtomLike l, AtomCacheCtx m, MonadIO m) => Connection -> l -> m (Either SomeError ATOM)

Lookup AtomName in cache first, if that fails, try to fetch from the X server and put it into the cache