NTTypeClass.hs

-- API Module: Transport API as typeclass
class Transport t where
  createTransport :: IO (Either IOException t)
  newEndPoint     :: t -> IO (Either (TransportError NewEndPointErrorCode) EndPoint)
  closeTransport  :: t -> IO ()



-- Separate module: TCP implementation
newtype TCPTransport = TCPTransport (N.HostName,N.ServiceName,MVar TransportState,TCPParameters)

instance Transport TCPTransport where
  createTransport     = mkTCPTransport
  newEndPoint tcp     = mkTCPEndPoint tcp
  closeTransport tcp  = closeTCPTransport tcp

mkTCPTransport = -- blah
mkTCPEndPoint     (TCPTransport (host,service,state,params)) = -- blah
closeTCPTransport (TCPTransport (host,service,state,params)) = -- blah