liquidhaskell-0.8.10.1: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Interactive.Types

Synopsis

Commands

type Command = Config #

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

Response

type Response = (Status, Int) #

status :: ExitCode -> Status #

State

data State #

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

Constructors

State 

Fields