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