module Interface where
  
import IO
import Port

data DBMessages =
  Alloc String AllocAnswerPort |
  Lookup String (Port (Maybe String))
    deriving (Show, Read)

type ServerPort = Port DBMessages

data AllocAnswer =
  Allocated |
  Free (Port String)
    deriving (Read,Show)

type AllocAnswerPort = Port AllocAnswer