liquidhaskell-0.6.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Interactive.Types

Contents

Synopsis

Commands

type Command = Config Source

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

Response

type Response = (Status, Int) Source

status :: ExitCode -> Status Source

State

data State Source

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

Constructors

State 

Fields

sCount :: Int
 
sMbEnv :: MbEnv