Language.PureScript.Ide.Error

Error types for psc-ide

Documentation

data IdeError

Constructors

GeneralError Text

NotFound Text

ModuleNotFound ModuleIdent

ModuleFileNotFound ModuleIdent

RebuildError [(FilePath, Text)] MultipleErrors

Instances

ToJSON IdeError

Defined in Language.PureScript.Ide.Error

Methods

toJSON :: IdeError -> Value

toEncoding :: IdeError -> Encoding

toJSONList :: [IdeError] -> Value

toEncodingList :: [IdeError] -> Encoding

Show IdeError

Defined in Language.PureScript.Ide.Error

Methods

showsPrec :: Int -> IdeError -> ShowS

show :: IdeError -> String

showList :: [IdeError] -> ShowS

prettyPrintTypeSingleLine :: Type a -> Text