Safe Haskell	None
Language	Haskell98

ShellCheck.Analytics

Documentation

data Shell Source

Constructors

Ksh
Zsh
Sh
Bash

Instances

Eq Shell
Show Shell

genericChecks :: [Token -> [(Id, Note)]] Source

checksFor :: Shell -> [Token -> [(Id, Note)]] Source

runAllAnalytics :: Token -> Map Id Metadata -> Map Id Metadata Source

checkList :: [t -> [b]] -> t -> [b] Source

addToMap :: Ord k => [(k, Note)] -> Map k Metadata -> Map k Metadata Source

prop_determineShell0 :: Bool Source

prop_determineShell1 :: Bool Source

prop_determineShell2 :: Bool Source

determineShell :: Token -> Shell Source

runBasicAnalysis :: (Token -> StateT [t] Identity ()) -> Token -> [t] Source

basicChecks :: [Token -> StateT [(Id, Note)] Identity ()] Source

treeChecks :: [Token -> Map Id Token -> StateT [(Id, Note)] Identity ()] Source

runBasicTreeAnalysis :: [Token -> Map Id Token -> StateT [b] Identity ()] -> Token -> [b] Source

filterByAnnotation :: Token -> Map Id Metadata -> Map Id Metadata Source

addNoteFor :: MonadState [(t, t1)] m => t -> t1 -> m () Source

warn :: MonadState [(t, Note)] m => t -> Code -> String -> m () Source

err :: MonadState [(t, Note)] m => t -> Code -> String -> m () Source

info :: MonadState [(t, Note)] m => t -> Code -> String -> m () Source

style :: MonadState [(t, Note)] m => t -> Code -> String -> m () Source

isVariableStartChar :: Char -> Bool Source

isVariableChar :: Char -> Bool Source

prop_isVariableName1 :: Bool Source

prop_isVariableName2 :: Bool Source

prop_isVariableName3 :: Bool Source

isVariableName :: [Char] -> Bool Source

willSplit :: Token -> Bool Source

isGlob :: Token -> Bool Source

wouldHaveBeenGlob :: [Char] -> Bool Source

isConfusedGlobRegex :: [Char] -> Bool Source

isPotentiallyConfusedGlobRegex :: String -> Bool Source

matches :: String -> Regex -> Bool Source

headOrDefault :: t -> [t] -> t Source

isConstant :: Token -> Bool Source

isEmpty :: Token -> Bool Source

makeSimple :: Token -> Token Source

simplify :: Token -> Token Source

deadSimple :: Token -> [[Char]] Source

(!!!) :: [a] -> Int -> Maybe a Source

verify :: (Token -> StateT [a] Identity ()) -> String -> Bool Source

verifyNot :: (Token -> StateT [a] Identity ()) -> String -> Bool Source

verifyFull :: (Token -> [a]) -> String -> Bool Source

verifyNotFull :: (Token -> [a]) -> String -> Bool Source

verifyTree :: (Token -> Map Id Token -> StateT [a] Identity ()) -> String -> Bool Source

verifyNotTree :: (Token -> Map Id Token -> StateT [a] Identity ()) -> String -> Bool Source

checkBasic :: (Token -> StateT [a] Identity ()) -> String -> Maybe Bool Source

checkTree :: (Token -> Map Id Token -> StateT [a] Identity ()) -> String -> Maybe Bool Source

checkFull :: (Token -> [a]) -> String -> Maybe Bool Source

prop_checkEchoWc3 :: Bool Source

checkEchoWc :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkEchoSed1 :: Bool Source

prop_checkEchoSed2 :: Bool Source

checkEchoSed :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkPipedAssignment1 :: Bool Source

prop_checkPipedAssignment2 :: Bool Source

prop_checkPipedAssignment3 :: Bool Source

checkPipedAssignment :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkAssignAteCommand1 :: Bool Source

prop_checkAssignAteCommand2 :: Bool Source

prop_checkAssignAteCommand3 :: Bool Source

prop_checkAssignAteCommand4 :: Bool Source

prop_checkAssignAteCommand5 :: Bool Source

checkAssignAteCommand :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkArithmeticOpCommand1 :: Bool Source

prop_checkArithmeticOpCommand2 :: Bool Source

prop_checkArithmeticOpCommand3 :: Bool Source

checkArithmeticOpCommand :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkWrongArit :: Bool Source

prop_checkWrongArit2 :: Bool Source

checkWrongArithmeticAssignment :: Token -> [(Id, Note)] Source

prop_checkUuoc1 :: Bool Source

prop_checkUuoc2 :: Bool Source

prop_checkUuoc3 :: Bool Source

prop_checkUuoc4 :: Bool Source

checkUuoc :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkNeedlessCommands :: Bool Source

prop_checkNeedlessCommands2 :: Bool Source

prop_checkNeedlessCommands3 :: Bool Source

checkNeedlessCommands :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkPipePitfalls3 :: Bool Source

prop_checkPipePitfalls4 :: Bool Source

prop_checkPipePitfalls5 :: Bool Source

prop_checkPipePitfalls6 :: Bool Source

checkPipePitfalls :: MonadState [(Id, Note)] m => Token -> m () Source

indexOfSublists :: Num t => [[Char]] -> [[Char]] -> [t] Source

bracedString :: Token -> [Char] Source

isMagicInQuotes :: Token -> Bool Source

prop_checkShebang1 :: Bool Source

prop_checkShebang2 :: Bool Source

checkShebang :: Token -> [(Id, Note)] Source

prop_checkBashisms :: Bool Source

prop_checkBashisms2 :: Bool Source

prop_checkBashisms3 :: Bool Source

prop_checkBashisms4 :: Bool Source

prop_checkBashisms5 :: Bool Source

prop_checkBashisms6 :: Bool Source

prop_checkBashisms7 :: Bool Source

prop_checkBashisms8 :: Bool Source

prop_checkBashisms9 :: Bool Source

prop_checkBashisms10 :: Bool Source

prop_checkBashisms11 :: Bool Source

prop_checkBashisms12 :: Bool Source

prop_checkBashisms13 :: Bool Source

prop_checkBashisms14 :: Bool Source

prop_checkBashisms15 :: Bool Source

prop_checkBashisms16 :: Bool Source

prop_checkBashisms17 :: Bool Source

prop_checkBashisms18 :: Bool Source

checkBashisms :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkForInQuoted :: Bool Source

prop_checkForInQuoted2 :: Bool Source

prop_checkForInQuoted2a :: Bool Source

prop_checkForInQuoted2b :: Bool Source

prop_checkForInQuoted3 :: Bool Source

prop_checkForInQuoted4 :: Bool Source

prop_checkForInQuoted5 :: Bool Source

checkForInQuoted :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkForInCat1 :: Bool Source

prop_checkForInCat1a :: Bool Source

prop_checkForInCat2 :: Bool Source

prop_checkForInCat2a :: Bool Source

prop_checkForInCat3 :: Bool Source

checkForInCat :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkForInLs :: Bool Source

prop_checkForInLs2 :: Bool Source

prop_checkForInLs3 :: Bool Source

checkForInLs :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkFindExec1 :: Bool Source

prop_checkFindExec2 :: Bool Source

prop_checkFindExec3 :: Bool Source

prop_checkFindExec4 :: Bool Source

prop_checkFindExec5 :: Bool Source

prop_checkFindExec6 :: Bool Source

checkFindExec :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkUnquotedExpansions1 :: Bool Source

prop_checkUnquotedExpansions1a :: Bool Source

prop_checkUnquotedExpansions2 :: Bool Source

prop_checkUnquotedExpansions3 :: Bool Source

prop_checkUnquotedExpansions3a :: Bool Source

prop_checkUnquotedExpansions4 :: Bool Source

prop_checkUnquotedExpansions5 :: Bool Source

prop_checkUnquotedExpansions6 :: Bool Source

prop_checkUnquotedExpansions7 :: Bool Source

checkUnquotedExpansions :: MonadState [(Id, Note)] m => Token -> Map Id Token -> m () Source

prop_checkRedirectToSame :: Bool Source

prop_checkRedirectToSame2 :: Bool Source

prop_checkRedirectToSame3 :: Bool Source

prop_checkRedirectToSame4 :: Bool Source

prop_checkRedirectToSame5 :: Bool Source

checkRedirectToSame :: MonadState [(Id, Note)] m => Token -> Map Id Token -> m () Source

prop_checkShorthandIf :: Bool Source

prop_checkShorthandIf2 :: Bool Source

prop_checkShorthandIf3 :: Bool Source

prop_checkShorthandIf4 :: Bool Source

checkShorthandIf :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkDollarStar :: Bool Source

checkDollarStar :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkUnquotedDollarAt :: Bool Source

prop_checkUnquotedDollarAt1 :: Bool Source

prop_checkUnquotedDollarAt2 :: Bool Source

prop_checkUnquotedDollarAt3 :: Bool Source

prop_checkUnquotedDollarAt4 :: Bool Source

prop_checkUnquotedDollarAt5 :: Bool Source

checkUnquotedDollarAt :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkStderrRedirect :: Bool Source

prop_checkStderrRedirect2 :: Bool Source

checkStderrRedirect :: MonadState [(Id, Note)] m => Token -> m () Source

lt :: Show a => a -> a Source

ltt :: Show a1 => a1 -> a -> a Source

prop_checkSingleQuotedVariables :: Bool Source

prop_checkSingleQuotedVariables2 :: Bool Source

prop_checkSingleQuotedVariables3 :: Bool Source

prop_checkSingleQuotedVariables3a :: Bool Source

prop_checkSingleQuotedVariables3b :: Bool Source

prop_checkSingleQuotedVariables3c :: Bool Source

prop_checkSingleQuotedVariables4 :: Bool Source

prop_checkSingleQuotedVariables5 :: Bool Source

checkSingleQuotedVariables :: MonadState [(Id, Note)] m => Token -> Map Id Token -> m () Source

prop_checkUnquotedN :: Bool Source

prop_checkUnquotedN2 :: Bool Source

prop_checkUnquotedN3 :: Bool Source

checkUnquotedN :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkNumberComparisons1 :: Bool Source

prop_checkNumberComparisons2 :: Bool Source

prop_checkNumberComparisons3 :: Bool Source

prop_checkNumberComparisons4 :: Bool Source

prop_checkNumberComparisons5 :: Bool Source

prop_checkNumberComparisons6 :: Bool Source

checkNumberComparisons :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkSingleBracketOperators1 :: Bool Source

prop_checkSingleBracketOperators2 :: Bool Source

prop_checkSingleBracketOperators3 :: Bool Source

prop_checkSingleBracketOperators5 :: Bool Source

checkSingleBracketOperators :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkDoubleBracketOperators1 :: Bool Source

prop_checkDoubleBracketOperators3 :: Bool Source

checkDoubleBracketOperators :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkQuotedCondRegex1 :: Bool Source

prop_checkQuotedCondRegex2 :: Bool Source

prop_checkQuotedCondRegex3 :: Bool Source

checkQuotedCondRegex :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkGlobbedRegex1 :: Bool Source

prop_checkGlobbedRegex2 :: Bool Source

prop_checkGlobbedRegex2a :: Bool Source

prop_checkGlobbedRegex3 :: Bool Source

prop_checkGlobbedRegex4 :: Bool Source

checkGlobbedRegex :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkConstantIfs1 :: Bool Source

prop_checkConstantIfs2 :: Bool Source

prop_checkConstantIfs3 :: Bool Source

prop_checkConstantIfs4 :: Bool Source

prop_checkConstantIfs5 :: Bool Source

checkConstantIfs :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkNoaryWasBinary :: Bool Source

prop_checkNoaryWasBinary2 :: Bool Source

prop_checkNoaryWasBinary3 :: Bool Source

checkNoaryWasBinary :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkConstantNoary :: Bool Source

prop_checkConstantNoary2 :: Bool Source

prop_checkConstantNoary3 :: Bool Source

prop_checkConstantNoary4 :: Bool Source

checkConstantNoary :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkBraceExpansionVars :: Bool Source

checkBraceExpansionVars :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkForDecimals :: Bool Source

checkForDecimals :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkDivBeforeMult :: Bool Source

prop_checkDivBeforeMult2 :: Bool Source

checkDivBeforeMult :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkArithmeticDeref :: Bool Source

prop_checkArithmeticDeref2 :: Bool Source

prop_checkArithmeticDeref3 :: Bool Source

prop_checkArithmeticDeref4 :: Bool Source

prop_checkArithmeticDeref5 :: Bool Source

prop_checkArithmeticDeref6 :: Bool Source

checkArithmeticDeref :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkArithmeticBadOctal1 :: Bool Source

prop_checkArithmeticBadOctal2 :: Bool Source

prop_checkArithmeticBadOctal3 :: Bool Source

checkArithmeticBadOctal :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkComparisonAgainstGlob :: Bool Source

prop_checkComparisonAgainstGlob2 :: Bool Source

prop_checkComparisonAgainstGlob3 :: Bool Source

prop_checkComparisonAgainstGlob4 :: Bool Source

checkComparisonAgainstGlob :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkCommarrays1 :: Bool Source

prop_checkCommarrays2 :: Bool Source

prop_checkCommarrays3 :: Bool Source

checkCommarrays :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkOrNeq1 :: Bool Source

prop_checkOrNeq2 :: Bool Source

prop_checkOrNeq3 :: Bool Source

prop_checkOrNeq4 :: Bool Source

checkOrNeq :: MonadState [(Id, Note)] m => Token -> m () Source

allModifiedVariables :: Token -> [(Token, Token, String, DataSource)] Source

prop_checkValidCondOps1 :: Bool Source

prop_checkValidCondOps2 :: Bool Source

prop_checkValidCondOps2a :: Bool Source

prop_checkValidCondOps3 :: Bool Source

prop_checkValidCondOps4 :: Bool Source

checkValidCondOps :: MonadState [(Id, Note)] m => Token -> m () Source

getParentTree :: Token -> Map Id Token Source

getTokenMap :: Token -> Map Id Token Source

inUnquotableContext :: Map Id Token -> Token -> Bool Source

isParamTo :: Map Id Token -> [Char] -> Token -> Bool Source

getClosestCommand :: Map Id Token -> Token -> Maybe Token Source

usedAsCommandName :: Map Id Token -> Token -> Bool Source

getPath :: Map Id Token -> Token -> [Token] Source

checkCommand :: Monad m => [Char] -> ([Token] -> m ()) -> Token -> m () Source

checkUnqualifiedCommand :: Monad m => [Char] -> ([Token] -> m ()) -> Token -> m () Source

getLiteralString :: Token -> Maybe [Char] Source

getGlobOrLiteralString :: Token -> Maybe [Char] Source

getLiteralStringExt :: (Token -> Maybe [Char]) -> Token -> Maybe [Char] Source

isLiteral :: Token -> Bool Source

isCommand :: Token -> [Char] -> Bool Source

isUnqualifiedCommand :: Token -> [Char] -> Bool Source

isCommandMatch :: Token -> ([Char] -> Bool) -> Bool Source

getCommandName :: Token -> Maybe [Char] Source

getCommandBasename :: Token -> Maybe [Char] Source

basename :: [Char] -> [Char] Source

isAssignment :: Token -> Bool Source

prop_checkPrintfVar1 :: Bool Source

prop_checkPrintfVar2 :: Bool Source

prop_checkPrintfVar3 :: Bool Source

prop_checkPrintfVar4 :: Bool Source

checkPrintfVar :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkUuoe1 :: Bool Source

prop_checkUuoe1a :: Bool Source

prop_checkUuoe2 :: Bool Source

prop_checkUuoe2a :: Bool Source

prop_checkUuoe3 :: Bool Source

checkUuoe :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkTr1 :: Bool Source

prop_checkTr2 :: Bool Source

prop_checkTr2a :: Bool Source

prop_checkTr3 :: Bool Source

prop_checkTr3a :: Bool Source

prop_checkTr3b :: Bool Source

prop_checkTr4 :: Bool Source

prop_checkTr5 :: Bool Source

prop_checkTr6 :: Bool Source

prop_checkTr8 :: Bool Source

prop_checkTr9 :: Bool Source

prop_checkTr10 :: Bool Source

prop_checkTr11 :: Bool Source

checkTr :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkFindNameGlob1 :: Bool Source

prop_checkFindNameGlob2 :: Bool Source

prop_checkFindNameGlob3 :: Bool Source

checkFindNameGlob :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkGrepRe1 :: Bool Source

prop_checkGrepRe2 :: Bool Source

prop_checkGrepRe3 :: Bool Source

prop_checkGrepRe4 :: Bool Source

prop_checkGrepRe5 :: Bool Source

prop_checkGrepRe6 :: Bool Source

prop_checkGrepRe7 :: Bool Source

prop_checkGrepRe8 :: Bool Source

prop_checkGrepRe9 :: Bool Source

checkGrepRe :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkTrapQuotes1 :: Bool Source

prop_checkTrapQuotes1a :: Bool Source

prop_checkTrapQuotes2 :: Bool Source

prop_checkTrapQuotes3 :: Bool Source

checkTrapQuotes :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkTimeParameters1 :: Bool Source

prop_checkTimeParameters2 :: Bool Source

prop_checkTimeParameters3 :: Bool Source

checkTimeParameters :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkTestRedirects1 :: Bool Source

prop_checkTestRedirects2 :: Bool Source

prop_checkTestRedirects3 :: Bool Source

checkTestRedirects :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkSudoRedirect1 :: Bool Source

prop_checkSudoRedirect2 :: Bool Source

prop_checkSudoRedirect3 :: Bool Source

prop_checkSudoRedirect4 :: Bool Source

prop_checkSudoRedirect5 :: Bool Source

prop_checkSudoRedirect6 :: Bool Source

prop_checkSudoRedirect7 :: Bool Source

checkSudoRedirect :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkPS11 :: Bool Source

prop_checkPS11a :: Bool Source

prop_checkPSf2 :: Bool Source

prop_checkPS13 :: Bool Source

prop_checkPS14 :: Bool Source

prop_checkPS14a :: Bool Source

prop_checkPS15 :: Bool Source

prop_checkPS16 :: Bool Source

prop_checkPS17 :: Bool Source

prop_checkPS18 :: Bool Source

checkPS1Assignments :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkBackticks1 :: Bool Source

prop_checkBackticks2 :: Bool Source

checkBackticks :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkIndirectExpansion1 :: Bool Source

prop_checkIndirectExpansion2 :: Bool Source

prop_checkIndirectExpansion3 :: Bool Source

prop_checkIndirectExpansion4 :: Bool Source

prop_checkIndirectExpansion5 :: Bool Source

checkIndirectExpansion :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkInexplicablyUnquoted1 :: Bool Source

prop_checkInexplicablyUnquoted2 :: Bool Source

prop_checkInexplicablyUnquoted3 :: Bool Source

checkInexplicablyUnquoted :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkTildeInQuotes1 :: Bool Source

prop_checkTildeInQuotes2 :: Bool Source

prop_checkTildeInQuotes4 :: Bool Source

prop_checkTildeInQuotes5 :: Bool Source

prop_checkTildeInQuotes6 :: Bool Source

checkTildeInQuotes :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkLonelyDotDash1 :: Bool Source

prop_checkLonelyDotDash2 :: Bool Source

checkLonelyDotDash :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkSpuriousExec1 :: Bool Source

prop_checkSpuriousExec2 :: Bool Source

prop_checkSpuriousExec3 :: Bool Source

prop_checkSpuriousExec4 :: Bool Source

prop_checkSpuriousExec5 :: Bool Source

prop_checkSpuriousExec6 :: Bool Source

prop_checkSpuriousExec7 :: Bool Source

checkSpuriousExec :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkSpuriousExpansion1 :: Bool Source

prop_checkSpuriousExpansion2 :: Bool Source

prop_checkSpuriousExpansion3 :: Bool Source

prop_checkSpuriousExpansion4 :: Bool Source

checkSpuriousExpansion :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkUnusedEchoEscapes1 :: Bool Source

prop_checkUnusedEchoEscapes2 :: Bool Source

prop_checkUnusedEchoEscapes3 :: Bool Source

prop_checkUnusedEchoEscapes4 :: Bool Source

checkUnusedEchoEscapes :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkDollarBrackets1 :: Bool Source

prop_checkDollarBrackets2 :: Bool Source

checkDollarBrackets :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkSshHereDoc1 :: Bool Source

prop_checkSshHereDoc2 :: Bool Source

checkSshHereDoc :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkSshCmdStr1 :: Bool Source

prop_checkSshCmdStr2 :: Bool Source

prop_checkSshCmdStr3 :: Bool Source

checkSshCommandString :: Token -> StateT [(Id, Note)] Identity () Source

prop_subshellAssignmentCheck :: Bool Source

prop_subshellAssignmentCheck2 :: Bool Source

prop_subshellAssignmentCheck3 :: Bool Source

prop_subshellAssignmentCheck4 :: Bool Source

prop_subshellAssignmentCheck5 :: Bool Source

prop_subshellAssignmentCheck6 :: Bool Source

prop_subshellAssignmentCheck6a :: Bool Source

prop_subshellAssignmentCheck7 :: Bool Source

prop_subshellAssignmentCheck8 :: Bool Source

prop_subshellAssignmentCheck9 :: Bool Source

prop_subshellAssignmentCheck10 :: Bool Source

prop_subshellAssignmentCheck11 :: Bool Source

prop_subshellAssignmentCheck12 :: Bool Source

subshellAssignmentCheck :: Token -> [(Id, Note)] Source

data Scope Source

Constructors

SubshellScope String
NoneScope

Instances

Eq Scope
Show Scope

data StackData Source

Constructors

StackScope Scope
StackScopeEnd
Assignment (Token, Token, String, DataSource)
Reference (Token, Token, String)

Instances

Eq StackData
Show StackData

data DataSource Source

Constructors

DataFrom [Token]
DataExternal

Instances

Eq DataSource
Show DataSource

data VariableState Source

Constructors

Dead Token String
Alive

Instances

Eq VariableState
Show VariableState

leadType :: Token -> Scope Source

getModifiedVariables :: Token -> [(Token, Token, String, DataSource)] Source

getReferencedVariableCommand :: Token -> [(Token, Token, String)] Source

getModifiedVariableCommand :: Token -> [(Token, Token, [Char], DataSource)] Source

getBracedReference :: [Char] -> [Char] Source

getReferencedVariables :: Token -> [(Token, Token, [Char])] Source

getVariableFlow :: Token -> [StackData] Source

findSubshelled :: MonadState [(Id, Note)] m => [StackData] -> [(String, [(Token, Token, String, DataSource)])] -> Map String VariableState -> m () Source

doVariableFlowAnalysis :: (Token -> Token -> String -> StateT b Identity [a]) -> (Token -> Token -> String -> DataSource -> StateT b Identity [a]) -> b -> Token -> [a] Source

prop_checkSpacefulness0 :: Bool Source

prop_checkSpacefulness1 :: Bool Source

prop_checkSpacefulness2 :: Bool Source

prop_checkSpacefulness3 :: Bool Source

prop_checkSpacefulness4 :: Bool Source

prop_checkSpacefulness4a :: Bool Source

prop_checkSpacefulness5 :: Bool Source

prop_checkSpacefulness6 :: Bool Source

prop_checkSpacefulness7 :: Bool Source

prop_checkSpacefulness8 :: Bool Source

prop_checkSpacefulnessA :: Bool Source

prop_checkSpacefulnessB :: Bool Source

prop_checkSpacefulnessC :: Bool Source

prop_checkSpacefulnessD :: Bool Source

prop_checkSpacefulnessE :: Bool Source

prop_checkSpacefulnessF :: Bool Source

prop_checkSpacefulnessG :: Bool Source

prop_checkSpacefulnessH :: Bool Source

prop_checkSpacefulnessI :: Bool Source

prop_checkSpacefulnessJ :: Bool Source

checkSpacefulness :: Token -> [(Id, Note)] Source

prop_checkQuotesInLiterals1 :: Bool Source

prop_checkQuotesInLiterals1a :: Bool Source

prop_checkQuotesInLiterals2 :: Bool Source

prop_checkQuotesInLiterals3 :: Bool Source

prop_checkQuotesInLiterals4 :: Bool Source

prop_checkQuotesInLiterals5 :: Bool Source

checkQuotesInLiterals :: Token -> [(Id, Note)] Source

prop_checkFunctionsUsedExternally1 :: Bool Source

prop_checkFunctionsUsedExternally2 :: Bool Source

prop_checkFunctionsUsedExternally3 :: Bool Source

checkFunctionsUsedExternally :: Token -> [(Id, Note)] Source

prop_checkUnused0 :: Bool Source

prop_checkUnused1 :: Bool Source

prop_checkUnused2 :: Bool Source

prop_checkUnused3 :: Bool Source

prop_checkUnused4 :: Bool Source

prop_checkUnused5 :: Bool Source

prop_checkUnused6 :: Bool Source

prop_checkUnused7 :: Bool Source

prop_checkUnused8 :: Bool Source

prop_checkUnused9 :: Bool Source

prop_checkUnused10 :: Bool Source

prop_checkUnused11 :: Bool Source

prop_checkUnused12 :: Bool Source

checkUnusedAssignments :: Token -> [(Id, Note)] Source

prop_checkGlobsAsOptions1 :: Bool Source

prop_checkGlobsAsOptions2 :: Bool Source

prop_checkGlobsAsOptions3 :: Bool Source

checkGlobsAsOptions :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkWhileReadPitfalls1 :: Bool Source

prop_checkWhileReadPitfalls2 :: Bool Source

prop_checkWhileReadPitfalls3 :: Bool Source

prop_checkWhileReadPitfalls4 :: Bool Source

prop_checkWhileReadPitfalls5 :: Bool Source

prop_checkWhileReadPitfalls6 :: Bool Source

checkWhileReadPitfalls :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkPrefixAssign1 :: Bool Source

prop_checkPrefixAssign2 :: Bool Source

checkPrefixAssignmentReference :: MonadState [(Id, Note)] m => Token -> Map Id Token -> m () Source

prop_checkCharRangeGlob1 :: Bool Source

prop_checkCharRangeGlob2 :: Bool Source

prop_checkCharRangeGlob3 :: Bool Source

prop_checkCharRangeGlob4 :: Bool Source

checkCharRangeGlob :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkCdAndBack1 :: Bool Source

prop_checkCdAndBack2 :: Bool Source

prop_checkCdAndBack3 :: Bool Source

checkCdAndBack :: MonadState [(Id, Note)] m => Shell -> Token -> m () Source