Language.Haskell.Liquid.Interactive.Handler

Contents

• Initial state for server
• Command handler

Synopsis

• initial :: State
• handler :: MVar State -> Command -> IO Response

Initial state for server

Command handler