Hans.Monad

Documentation

data Hans a

Instances

Monad Hans

Methods

(>>=) :: Hans a -> (a -> Hans b) -> Hans b

(>>) :: Hans a -> Hans b -> Hans b

return :: a -> Hans a

fail :: String -> Hans a

Functor Hans

Methods

fmap :: (a -> b) -> Hans a -> Hans b

(<$) :: a -> Hans b -> Hans a

Applicative Hans

Methods

pure :: a -> Hans a

(<*>) :: Hans (a -> b) -> Hans a -> Hans b

(*>) :: Hans a -> Hans b -> Hans b

(<*) :: Hans a -> Hans b -> Hans a

BaseM Hans IO

Methods

inBase :: IO a -> Hans a

runHans :: Hans () -> IO ()

Loop forever, running the underlying operation.

runHansOnce :: Hans a -> IO (Maybe a)

Run only one iteration of the Hans monad.

setEscape :: Hans () -> Hans ()

Set the escape continuation to the current position, within the operation given, so that control flow always restores back through this point.

escape :: Hans a

Invoke the escape continuation.

dropPacket :: DeviceStats -> Hans a

Synonym for escape that also updates device statistics.

callCC :: ((b -> Hans a) -> Hans b) -> Hans b

Call-cc. NOTE: the continuation will inherit the escape point of the calling context.

io :: IO a -> Hans a

Lift an IO operation into Hans.

decode :: DeviceStats -> Get a -> ByteString -> Hans a

Run a Get action in the context of the Hans monad,

decode' :: DeviceStats -> Get a -> ByteString -> Hans (a, ByteString)

Run a Get action in the context of the Hans monad, returning any unconsumed input.