liquidhaskell-0.8.0.2: Liquid Types for Haskell
Language.Haskell.Liquid.Interactive.Types
Contents
Synopsis
type Command = Config Source #
Command ------------------------------------------------------------------
type Response = (Status, Int) Source #
status :: ExitCode -> Status Source #
data State Source #
State --------------------------------------------------------------------
Constructors
Fields