liquidhaskell-0.8.0.2: 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