System.UV.Stream

Definitions

data ReadRes : Type -> Type

Totality: total
Visibility: public export
Constructors:

Done : ReadRes a

Data : a -> ReadRes a

Err : UVError -> ReadRes a

Hints:

Applicative ReadRes

Functor ReadRes

Monad ReadRes

data ReadResT : (Type -> Type) -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkReadResT : m (ReadRes a) -> ReadResT m a

Hints:

Applicative m => Applicative (ReadResT m)

Functor m => Functor (ReadResT m)

HasIO m => HasIO (ReadResT m)

Monad m => Monad (ReadResT m)

MonadTrans ReadResT

runReadResT : ReadResT m a -> m (ReadRes a)

Totality: total
Visibility: export

shutdownStream : UVLoop => {auto 0 _ : PCast t Stream} -> Ptr t -> Async [] ()

Totality: total
Visibility: export

read : UVLoop => Has UVError es => AllocCB -> Ptr t -> {auto 0 _ : PCast t Stream} -> (Buffer (ReadRes ByteString) -> Async es a) -> Async es a

Totality: total
Visibility: export

write : UVLoop => Has UVError es => Ptr t -> {auto 0 _ : PCast t Stream} -> ByteString -> Async es ()

Totality: total
Visibility: export

listen : UVLoop => Has UVError es => Ptr t -> {auto 0 _ : PCast t Stream} -> (Buffer (Either UVError (Ptr Stream)) -> Async es a) -> Async es a

Totality: total
Visibility: export