Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.PureScript.DCE

Synopsis

data Level
- = Error
- | Warning
data DCEError (a :: Level)
- = IdentifierNotFound ModuleName Ann (Qualified Ident)
- | ArrayIdxOutOfBound ModuleName Ann Integer
- | AccessorNotFound ModuleName Ann PSString
- | NoEntryPoint
- | EntryPointsNotParsed [String]
- | EntryPointsNotFound [EntryPoint]
data EntryPoint
- = EntryPoint (Qualified Ident)
- | EntryModule ModuleName
- | EntryParseError String
isEntryParseError :: EntryPoint -> Bool
showEntryPoint :: EntryPoint -> Text
displayDCEError :: FilePath -> DCEError 'Error -> String
displayDCEWarning :: FilePath -> (Int, Int) -> DCEError 'Warning -> String
errorColor :: (ColorIntensity, Color, ConsoleIntensity)
warnColor :: (ColorIntensity, Color, ConsoleIntensity)
codeColor :: (ColorIntensity, Color, ConsoleIntensity)
colorString :: (ColorIntensity, Color, ConsoleIntensity) -> String -> String
colorText :: (ColorIntensity, Color, ConsoleIntensity) -> Text -> Text
runForeignModuleDeadCodeElimination :: [Ident] -> [JSModuleItem] -> [JSModuleItem]
evaluate :: [Module Ann] -> [Module Ann]
runDeadCodeElimination :: [Qualified Ident] -> [Module Ann] -> [Module Ann]
runBindDeadCodeElimination :: Bind Ann -> Bind Ann

Documentation

data Level Source #

Constructors

Error
Warning

Instances

Instances details

Show Level Source #
Instance details Defined in Language.PureScript.DCE.Errors Methods showsPrec :: Int -> Level -> ShowS Source # show :: Level -> String Source # showList :: [Level] -> ShowS Source #

data DCEError (a :: Level) Source #

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

Instances details

Show (DCEError a) Source #
Instance details Defined in Language.PureScript.DCE.Errors Methods showsPrec :: Int -> DCEError a -> ShowS Source # show :: DCEError a -> String Source # showList :: [DCEError a] -> ShowS Source #

data EntryPoint Source #

Constructors

EntryPoint (Qualified Ident)
EntryModule ModuleName
EntryParseError String

Instances

Instances details

Read EntryPoint Source #
Instance details Defined in Language.PureScript.DCE.Errors Methods readsPrec :: Int -> ReadS EntryPoint Source # readList :: ReadS [EntryPoint] Source # readPrec :: ReadPrec EntryPoint Source # readListPrec :: ReadPrec [EntryPoint] Source #
Show EntryPoint Source #
Instance details Defined in Language.PureScript.DCE.Errors Methods showsPrec :: Int -> EntryPoint -> ShowS Source # show :: EntryPoint -> String Source # showList :: [EntryPoint] -> ShowS Source #

isEntryParseError :: EntryPoint -> Bool Source #

showEntryPoint :: EntryPoint -> Text Source #

displayDCEError :: FilePath -> DCEError 'Error -> String Source #

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

errorColor :: (ColorIntensity, Color, ConsoleIntensity) Source #

warnColor :: (ColorIntensity, Color, ConsoleIntensity) Source #

codeColor :: (ColorIntensity, Color, ConsoleIntensity) Source #

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

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

runForeignModuleDeadCodeElimination :: [Ident] -> [JSModuleItem] -> [JSModuleItem] Source #

Filter export statements in a foreign module. This is not 100% safe. It might remove declarations that are used somewhere in the foreign module (for example by using eval).

evaluate :: [Module Ann] -> [Module Ann] Source #

Evaluate expressions in a module:

Data.Eq.eq of two literals
Data.Array.index on a literal array
Object accessors
Semigroup operations (Array, String, Unit)
Semiring operations (Unit, Unit, Unit)

Keep stack of local identifiers from let and case expressions, ignoring the ones that are comming from abstractions (we are not reducing applications).

runDeadCodeElimination Source #

Arguments

:: [Qualified Ident]	entry points used to build the graph of dependencies across module boundaries
-> [Module Ann]	modules to dce
-> [Module Ann]	dead code eliminated modules

Dead code elimination of a list of modules module

runBindDeadCodeElimination :: Bind Ann -> Bind Ann Source #

Dead code elimination of local identifiers in Binds, which detects and removes unused bindings.