Contents Index

Org.Org.Semantic.HBase.Protocol.Session

Synopsis

class Monad m => CloseSession m session where closeSession :: session -> m () class CloseSession m session => Session m spec session | spec m -> session where openSession :: spec -> m session data Closeable m a = MkCloseable { clClose :: (m ()) clItem :: a } nullCloseable :: Monad m => a -> Closeable m a remonadCloseable :: (Monad m1, Monad m2) => (forall a . m1 a -> m2 a) -> Closeable m1 t -> Closeable m2 t withRefSession :: (MonadGuard m, MonadStandardReference m ref, Session m spec session) => spec -> (m session -> m a) -> m a withRefSessionRemonad :: (MonadGuard l, MonadStandardReference l ref, Session m spec session, Monad l) => (forall b . m b -> l b) -> spec -> (l session -> l a) -> l a withRefSessionLifted :: (MonadGuard l, MonadStandardReference l ref, Session m spec session, LiftedMonad m l) => spec -> (l session -> l a) -> l a withSession :: (MonadGuard m, MonadStandardReference m ref, Session m spec session) => spec -> (session -> m a) -> m a withSessionRemonad :: (MonadGuard l, MonadStandardReference l ref, Session m spec session, Monad l) => (forall b . m b -> l b) -> spec -> (session -> l a) -> l a withSessionLifted :: (MonadGuard l, MonadStandardReference l ref, Session m spec session, LiftedMonad m l) => spec -> (session -> l a) -> l a

Documentation

class Monad m => CloseSession m session where

A session that can be closed in a monad Methods closeSession :: session -> m () Instances CloseSession IO Handle Monad m => CloseSession m (Closeable m a) CloseSession m session => CloseSession m [session]

class CloseSession m session => Session m spec session | spec m -> session where

A session that can be opened and closed in a monad Methods openSession :: spec -> m session Instances Session IO (FileOpener FilePath) Handle Session m spec session => Session m [spec] [session]

data Closeable m a

Constructors MkCloseable clClose :: (m ()) clItem :: a Instances Monad m => Functor (Closeable m) Monad m => CloseSession m (Closeable m a)

nullCloseable :: Monad m => a -> Closeable m a

remonadCloseable :: (Monad m1, Monad m2) => (forall a . m1 a -> m2 a) -> Closeable m1 t -> Closeable m2 t

withRefSession :: (MonadGuard m, MonadStandardReference m ref, Session m spec session) => spec -> (m session -> m a) -> m a

withRefSessionRemonad :: (MonadGuard l, MonadStandardReference l ref, Session m spec session, Monad l) => (forall b . m b -> l b) -> spec -> (l session -> l a) -> l a

withRefSessionLifted :: (MonadGuard l, MonadStandardReference l ref, Session m spec session, LiftedMonad m l) => spec -> (l session -> l a) -> l a

withSession :: (MonadGuard m, MonadStandardReference m ref, Session m spec session) => spec -> (session -> m a) -> m a

withSessionRemonad :: (MonadGuard l, MonadStandardReference l ref, Session m spec session, Monad l) => (forall b . m b -> l b) -> spec -> (session -> l a) -> l a

withSessionLifted :: (MonadGuard l, MonadStandardReference l ref, Session m spec session, LiftedMonad m l) => spec -> (session -> l a) -> l a

Produced by Haddock version 0.6