Metro.Conn

Documentation

data ConnEnv tp

Instances

Monad m => MonadReader (ConnEnv tp) (ConnT tp m)

Defined in Metro.Conn

Methods

ask :: ConnT tp m (ConnEnv tp)

local :: (ConnEnv tp -> ConnEnv tp) -> ConnT tp m a -> ConnT tp m a

reader :: (ConnEnv tp -> a) -> ConnT tp m a

data ConnT tp m a

Instances

FromConn ConnT

Defined in Metro.Conn

Methods

fromConn :: forall (n :: Type -> Type) tp a. Monad n => ConnT tp n a -> ConnT tp n a

MonadTrans (ConnT tp)

Defined in Metro.Conn

Methods

lift :: Monad m => m a -> ConnT tp m a

Monad m => MonadReader (ConnEnv tp) (ConnT tp m)

Defined in Metro.Conn

Methods

ask :: ConnT tp m (ConnEnv tp)

local :: (ConnEnv tp -> ConnEnv tp) -> ConnT tp m a -> ConnT tp m a

reader :: (ConnEnv tp -> a) -> ConnT tp m a

Monad m => Monad (ConnT tp m)

Defined in Metro.Conn

Methods

(>>=) :: ConnT tp m a -> (a -> ConnT tp m b) -> ConnT tp m b

(>>) :: ConnT tp m a -> ConnT tp m b -> ConnT tp m b

return :: a -> ConnT tp m a

Functor m => Functor (ConnT tp m)

Defined in Metro.Conn

Methods

fmap :: (a -> b) -> ConnT tp m a -> ConnT tp m b

(<$) :: a -> ConnT tp m b -> ConnT tp m a

Applicative m => Applicative (ConnT tp m)

Defined in Metro.Conn

Methods

pure :: a -> ConnT tp m a

(<*>) :: ConnT tp m (a -> b) -> ConnT tp m a -> ConnT tp m b

liftA2 :: (a -> b -> c) -> ConnT tp m a -> ConnT tp m b -> ConnT tp m c

(*>) :: ConnT tp m a -> ConnT tp m b -> ConnT tp m b

(<*) :: ConnT tp m a -> ConnT tp m b -> ConnT tp m a

MonadIO m => MonadIO (ConnT tp m)

Defined in Metro.Conn

Methods

liftIO :: IO a -> ConnT tp m a

MonadUnliftIO m => MonadUnliftIO (ConnT tp m)

Defined in Metro.Conn

Methods

withRunInIO :: ((forall a. ConnT tp m a -> IO a) -> IO b) -> ConnT tp m b

class FromConn m where

Methods

fromConn :: Monad n => ConnT tp n a -> m tp n a

Instances

FromConn ConnT

Defined in Metro.Conn

Methods

fromConn :: forall (n :: Type -> Type) tp a. Monad n => ConnT tp n a -> ConnT tp n a

FromConn (SessionT u nid k rpkt)

Defined in Metro.Session

Methods

fromConn :: forall (n :: Type -> Type) tp a. Monad n => ConnT tp n a -> SessionT u nid k rpkt tp n a

FromConn (NodeT u nid k rpkt)

Defined in Metro.Node

Methods

fromConn :: forall (n :: Type -> Type) tp a. Monad n => ConnT tp n a -> NodeT u nid k rpkt tp n a

runConnT :: ConnEnv tp -> ConnT tp m a -> m a

initConnEnv :: (MonadIO m, Transport tp) => TransportConfig tp -> m (ConnEnv tp)

receive :: (MonadUnliftIO m, Transport tp, RecvPacket pkt) => ConnT tp m pkt

send :: (MonadUnliftIO m, Transport tp, SendPacket pkt) => pkt -> ConnT tp m ()

close :: (MonadIO m, Transport tp) => ConnT tp m ()

statusTVar :: Monad m => ConnT tp m (TVar Bool)