Language.PureScript.Ide.Error

Error types for psc-ide

Documentation

data PscIdeError

Constructors

GeneralError Text

NotFound Text

ModuleNotFound ModuleIdent

ModuleFileNotFound ModuleIdent

ParseError ParseError Text

RebuildError [JSONError]

Instances

ToJSON PscIdeError

Methods

toJSON :: PscIdeError -> Value

toEncoding :: PscIdeError -> Encoding

toJSONList :: [PscIdeError] -> Value

toEncodingList :: [PscIdeError] -> Encoding