1 module Main where

     1 module Main where

     2 

     2 

     3 import Text.PrettyPrint.HughesPJ

     3 import Text.PrettyPrint.HughesPJ

     4 

     5 

     5 data HWProtocol = Command String [CmdParam]

     6 data HWProtocol = Command String [CmdParam]

     6 data CmdParam = Skip

     7 data CmdParam = Skip

     7               | SS

     8               | SS

     8               | LS

     9               | LS

    24         , cmd1 "ASKPASSWORD" SS

    25         , cmd1 "ASKPASSWORD" SS

    25         , cmd1 "SERVER_AUTH" SS

    26         , cmd1 "SERVER_AUTH" SS

    26         , cmd1 "LOBBY:JOINED" $ Many [SS]

    27         , cmd1 "LOBBY:JOINED" $ Many [SS]

    27     ]

    28     ]

    28 

    29