type Host = String type Port = Int type Peer = Host data Socket = So Int instance Eq Socket instance Ord Socket instance Read Socket instance Show Socket data LSocket = LSo Int instance Eq LSocket instance Ord LSocket instance Read LSocket instance Show LSocket data Timer = Ti Int instance Eq Timer instance Ord Timer instance Read Timer instance Show Timer data DLHandle = DL DL instance Read DLHandle instance Show DLHandle
Auxiliary types in socket requests.