Documentation

newtype HMonad t a Source

bindHMonad :: HMonad t a -> (a -> HMonad t b) -> HMonad t bSource

get_host :: HMonad t (Host t)Source

has_sock :: SocketID -> HMonad t BoolSource

delete_sock :: SocketID -> HMonad t ()Source

insert_sock :: SocketID -> TCPSocket t -> HMonad t ()Source

runHMonad_ :: HMonad t a -> Host t -> (Host t, a)Source

runHMonad :: HMonad t a -> Host t -> Host tSource