Language.Haskell.Liquid.Interactive.Types

Commands

type Command = Config

Command ------------------------------------------------------------------

Response

type Response = (Status, Int)

status :: ExitCode -> Status

State

data State

State --------------------------------------------------------------------

Constructors

State

Fields

• sCount :: Int
• sMbEnv :: MbEnv