Documentation

interpret :: (MonadIO m, Adjustable es es') => Handle m es' -> TChan a -> Sig s es a r -> m r Source #

interpretSt :: (MonadIO m, Adjustable es es') => HandleSt st m es' -> TChan a -> Sig s es a r -> St st m r Source #

interpretSt' :: (MonadIO m, Adjustable es es', Ord k) => HandleSt st m es' -> TVar (Map k v) -> TChan a -> Sig s es ([(k, Maybe v)], a) r -> St st m r Source #

maybeInsert :: Ord k => k -> Maybe a -> Map k a -> Map k a Source #