Language.PureScript.DCE.Errors

Errors used in dead call elimination.

Documentation

data EntryPoint

Constructors

EntryPoint (Qualified Ident)

EntryModule ModuleName

EntryParseError String

Instances

Read EntryPoint

Defined in Language.PureScript.DCE.Errors

Methods

readsPrec :: Int -> ReadS EntryPoint

readList :: ReadS [EntryPoint]

readPrec :: ReadPrec EntryPoint

readListPrec :: ReadPrec [EntryPoint]

Show EntryPoint

Defined in Language.PureScript.DCE.Errors

Methods

showsPrec :: Int -> EntryPoint -> ShowS

show :: EntryPoint -> String

showList :: [EntryPoint] -> ShowS

showEntryPoint :: EntryPoint -> Text

isEntryParseError :: EntryPoint -> Bool

data DCEError (a :: Level)

Error type shared by dce and dceEval.

Constructors

IdentifierNotFound ModuleName Ann (Qualified Ident)

ArrayIdxOutOfBound ModuleName Ann Integer

AccessorNotFound ModuleName Ann PSString

NoEntryPoint

EntryPointsNotParsed [String]

EntryPointsNotFound [EntryPoint]

Instances

Show (DCEError a)

Defined in Language.PureScript.DCE.Errors

Methods

showsPrec :: Int -> DCEError a -> ShowS

show :: DCEError a -> String

showList :: [DCEError a] -> ShowS

displayDCEError :: FilePath -> DCEError Error -> String

displayDCEWarning :: FilePath -> (Int, Int) -> DCEError Warning -> String

data Level

Constructors

Error

Warning

Instances

Show Level

Defined in Language.PureScript.DCE.Errors

Methods

showsPrec :: Int -> Level -> ShowS

show :: Level -> String

showList :: [Level] -> ShowS

warnColor :: (ColorIntensity, Color, ConsoleIntensity)

errorColor :: (ColorIntensity, Color, ConsoleIntensity)

codeColor :: (ColorIntensity, Color, ConsoleIntensity)

colorString :: (ColorIntensity, Color, ConsoleIntensity) -> String -> String

colorText :: (ColorIntensity, Color, ConsoleIntensity) -> Text -> Text