TypedSockets

Type-safe network sockets, as described in Client/Server Applications with Fudgets.

Documentation

data TPort a b

tPort :: (Show a, Read a, Show b, Read b) => Port -> TPort a b

tSocketServerF :: (Read c, Show s) => TPort c s -> (Peer -> F s (SocketMsg c) -> F a (SocketMsg b)) -> F (Int, a) (Int, ClientMsg b)

data TServerAddress c s

tServerAddress :: Host -> TPort c s -> TServerAddress c s

tTransceiverF :: (Show c, Read s) => TServerAddress c s -> F c (SocketMsg s)

data ClientMsg a

Constructors

ClientMsg a

ClientEOS

ClientNew

Instances

Show a => Show (ClientMsg a)

Defined in SocketServer

Methods

showsPrec :: Int -> ClientMsg a -> ShowS

show :: ClientMsg a -> String

showList :: [ClientMsg a] -> ShowS

data SocketMsg a

Constructors

SocketMsg a

SocketEOS

Instances

Functor SocketMsg

Defined in SocketServer

Methods

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

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

Show a => Show (SocketMsg a)

Defined in SocketServer

Methods

showsPrec :: Int -> SocketMsg a -> ShowS

show :: SocketMsg a -> String

showList :: [SocketMsg a] -> ShowS