SecLib.Untrustworthy

data Sec s a

up

public

data SecIO s a

value

plug

run

type File s

readFileSecIO

writeFileSecIO

type Ref s a

readRefSecIO

writeRefSecIO

newIORefSecIO

type Screen s

getLineSecIO

putStrSecIO

putStrLnSecIO

s_read

s_write

type SecSocket s

data SecSockAddr s

inet_addrSecIO

portInet

socketSecIO

bindSocketSecIO

sIsBoundSecIO

acceptSecIO

recvSecIO

sendSecIO

connectSecIO

sIsConnectedSecIO

data Authority s

certify

class Less s s'

class Attacker s