ExternalDataSocket.hs 285 Bytes
Newer Older
bbr's avatar
bbr committed
1
2
3
4
5
6
7
8
9
10
11
12
module ExternalDataSocket (module ExternalDataSocket) where

import Curry
import CurryPrelude

import Network

type C_Socket = Prim Socket

instance Read Socket where

instance Generate Socket where
13
14
  genFree  = error "no random sockets"
  maxArity = error "no narrowing on sockets"
bbr's avatar
bbr committed
15
16