M.IO.Internal.EffectSocket

Description

Implements the interpretation of the Talking effect in terms of socket connections, providing both client and server capabilities.

Synopsis

data SocketTalkingError
- = UnknownCode Direction TypeRep
- | Mismatch Direction TypeRep TypeRep
withtalkingserver :: forall (es :: [Effect]) a. (IOE :> es, State ParserState :> es, Concurrent :> es, NonDet :> es) => Maybe String -> String -> Eff (Talking ': es) a -> Eff es a

Documentation

error in communication

Constructors

UnknownCode Direction TypeRep
Mismatch Direction TypeRep TypeRep

Instances details

Exception SocketTalkingError Source #
Instance details Defined in M.IO.Internal.EffectSocket Methods toException :: SocketTalkingError -> SomeException # fromException :: SomeException -> Maybe SocketTalkingError # displayException :: SocketTalkingError -> String # backtraceDesired :: SocketTalkingError -> Bool #
Show SocketTalkingError Source #
Instance details Defined in M.IO.Internal.EffectSocket Methods showsPrec :: Int -> SocketTalkingError -> ShowS # show :: SocketTalkingError -> String # showList :: [SocketTalkingError] -> ShowS #
Eq SocketTalkingError Source #
Instance details Defined in M.IO.Internal.EffectSocket Methods (==) :: SocketTalkingError -> SocketTalkingError -> Bool # (/=) :: SocketTalkingError -> SocketTalkingError -> Bool #

Arguments

:: forall (es :: [Effect]) a. (IOE :> es, State ParserState :> es, Concurrent :> es, NonDet :> es)
=> Maybe String	host (Nothing = all interfaces)
-> String	port
-> Eff (Talking ': es) a	per-connection handler
-> Eff es a	final result

run server accepting multiple connections