yi-0.6.2.3: The Haskell-Scriptable Editor Source code Contents Index

Yi.Verifier.JavaScript

Contents Types Instances Main code Helper functions Misc

Synopsis

data Error = MultipleFunctionDeclaration String [Posn] data Warning = UnreachableCode Posn data Report = Err Error | Warn Warning verify :: Tree TT -> Writer (DList Report) () checkMultipleFuns :: [Statement TT] -> Writer (DList Report) () checkUnreachable :: [Statement TT] -> Writer (DList Report) () ttEq :: Eq t => Tok t -> Tok t -> Bool say :: MonadWriter (DList a) m => a -> m () isReturn :: Statement t -> Bool findFunctions :: [Statement t] -> [Statement t] funName :: Statement t -> t funBody :: Statement t -> [Statement t] nameOf :: Token -> String dropWhile' :: (a -> Bool) -> [a] -> [a] dupsBy :: (a -> a -> Bool) -> [a] -> [a]

Types

data Error Source

Constructors MultipleFunctionDeclaration String [Posn] Instances Eq Error Show Error

data Warning Source

Constructors UnreachableCode Posn Instances Eq Warning Show Warning

data Report Source

Constructors Err Error Warn Warning Instances Eq Report Show Report

Instances

Main code

verify :: Tree TT -> Writer (DList Report) () Source

The main verifier which calls the sub-verifiers.

checkMultipleFuns :: [Statement TT] -> Writer (DList Report) () Source

Given a list of function declarations, checks for multiple function declarations, including the functions' subfunctions.

checkUnreachable :: [Statement TT] -> Writer (DList Report) () Source

Helper functions

ttEq :: Eq t => Tok t -> Tok t -> Bool Source

Given two Tok t, compares the ts.

say :: MonadWriter (DList a) m => a -> m () Source

isReturn :: Statement t -> Bool Source

findFunctions :: [Statement t] -> [Statement t] Source

Returns a list of the functions in the given block.

funName :: Statement t -> t Source

Given a FunDecl, returns the token representing the name.

funBody :: Statement t -> [Statement t] Source

Given a FunDecl, returns its inner body as a list.

nameOf :: Token -> String Source

Given a ValidName returns the string representing the name.

Misc

dropWhile' :: (a -> Bool) -> [a] -> [a] Source

Like dropWhile but drops the first element in the result.

dupsBy :: (a -> a -> Bool) -> [a] -> [a] Source

Produced by Haddock version 2.6.1