Safe Haskell	None
Language	Haskell98

ShellCheck.AST

Documentation

newtype Id Source #

Constructors

Id Int

Instances

Eq Id Source #
Instance details Defined in ShellCheck.AST Methods (==) :: Id -> Id -> Bool (/=) :: Id -> Id -> Bool
Ord Id Source #
Instance details Defined in ShellCheck.AST Methods compare :: Id -> Id -> Ordering (<) :: Id -> Id -> Bool (<=) :: Id -> Id -> Bool (>) :: Id -> Id -> Bool (>=) :: Id -> Id -> Bool max :: Id -> Id -> Id min :: Id -> Id -> Id
Show Id Source #
Instance details Defined in ShellCheck.AST Methods showsPrec :: Int -> Id -> ShowS show :: Id -> String showList :: [Id] -> ShowS
Generic Id Source #
Instance details Defined in ShellCheck.AST Associated Types type Rep Id :: Type -> Type Methods from :: Id -> Rep Id x to :: Rep Id x -> Id
NFData Id Source #
Instance details Defined in ShellCheck.AST Methods rnf :: Id -> ()
type Rep Id Source #
Instance details Defined in ShellCheck.AST type Rep Id = D1 (MetaData "Id" "ShellCheck.AST" "ShellCheck-0.7.0-Bu4mDBfRT1w4zUxf6TZpok" True) (C1 (MetaCons "Id" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data Quoted Source #

Constructors

Quoted
Unquoted

Instances

Eq Quoted Source #
Instance details Defined in ShellCheck.AST Methods (==) :: Quoted -> Quoted -> Bool (/=) :: Quoted -> Quoted -> Bool
Show Quoted Source #
Instance details Defined in ShellCheck.AST Methods showsPrec :: Int -> Quoted -> ShowS show :: Quoted -> String showList :: [Quoted] -> ShowS

data Dashed Source #

Constructors

Dashed
Undashed

Instances

Eq Dashed Source #
Instance details Defined in ShellCheck.AST Methods (==) :: Dashed -> Dashed -> Bool (/=) :: Dashed -> Dashed -> Bool
Show Dashed Source #
Instance details Defined in ShellCheck.AST Methods showsPrec :: Int -> Dashed -> ShowS show :: Dashed -> String showList :: [Dashed] -> ShowS

data AssignmentMode Source #

Constructors

Assign
Append

Instances

Eq AssignmentMode Source #
Instance details Defined in ShellCheck.AST Methods (==) :: AssignmentMode -> AssignmentMode -> Bool (/=) :: AssignmentMode -> AssignmentMode -> Bool
Show AssignmentMode Source #
Instance details Defined in ShellCheck.AST Methods showsPrec :: Int -> AssignmentMode -> ShowS show :: AssignmentMode -> String showList :: [AssignmentMode] -> ShowS

newtype FunctionKeyword Source #

Constructors

FunctionKeyword Bool

Instances

Eq FunctionKeyword Source #
Instance details Defined in ShellCheck.AST Methods (==) :: FunctionKeyword -> FunctionKeyword -> Bool (/=) :: FunctionKeyword -> FunctionKeyword -> Bool
Show FunctionKeyword Source #
Instance details Defined in ShellCheck.AST Methods showsPrec :: Int -> FunctionKeyword -> ShowS show :: FunctionKeyword -> String showList :: [FunctionKeyword] -> ShowS

newtype FunctionParentheses Source #

Constructors

FunctionParentheses Bool

Instances

Eq FunctionParentheses Source #
Instance details Defined in ShellCheck.AST Methods (==) :: FunctionParentheses -> FunctionParentheses -> Bool (/=) :: FunctionParentheses -> FunctionParentheses -> Bool
Show FunctionParentheses Source #
Instance details Defined in ShellCheck.AST Methods showsPrec :: Int -> FunctionParentheses -> ShowS show :: FunctionParentheses -> String showList :: [FunctionParentheses] -> ShowS

data CaseType Source #

Constructors

CaseBreak
CaseFallThrough
CaseContinue

Instances

Eq CaseType Source #
Instance details Defined in ShellCheck.AST Methods (==) :: CaseType -> CaseType -> Bool (/=) :: CaseType -> CaseType -> Bool
Show CaseType Source #
Instance details Defined in ShellCheck.AST Methods showsPrec :: Int -> CaseType -> ShowS show :: CaseType -> String showList :: [CaseType] -> ShowS

newtype Root Source #

Constructors

Root Token

data Token Source #

Constructors

TA_Binary Id String Token Token
TA_Assignment Id String Token Token
TA_Variable Id String [Token]
TA_Expansion Id [Token]
TA_Sequence Id [Token]
TA_Trinary Id Token Token Token
TA_Unary Id String Token
TC_And Id ConditionType String Token Token
TC_Binary Id ConditionType String Token Token
TC_Group Id ConditionType Token
TC_Nullary Id ConditionType Token
TC_Or Id ConditionType String Token Token
TC_Unary Id ConditionType String Token
TC_Empty Id ConditionType
T_AND_IF Id
T_AndIf Id Token Token
T_Arithmetic Id Token
T_Array Id [Token]
T_IndexedElement Id [Token] Token
T_UnparsedIndex Id SourcePos String
T_Assignment Id AssignmentMode String [Token] Token
T_Backgrounded Id Token
T_Backticked Id [Token]
T_Bang Id
T_Banged Id Token
T_BraceExpansion Id [Token]
T_BraceGroup Id [Token]
T_CLOBBER Id
T_Case Id
T_CaseExpression Id Token [(CaseType, [Token], [Token])]
T_Condition Id ConditionType Token
T_DGREAT Id
T_DLESS Id
T_DLESSDASH Id
T_DSEMI Id
T_Do Id
T_DollarArithmetic Id Token
T_DollarBraced Id Bool Token
T_DollarBracket Id Token
T_DollarDoubleQuoted Id [Token]
T_DollarExpansion Id [Token]
T_DollarSingleQuoted Id String
T_DollarBraceCommandExpansion Id [Token]
T_Done Id
T_DoubleQuoted Id [Token]
T_EOF Id
T_Elif Id
T_Else Id
T_Esac Id
T_Extglob Id String [Token]
T_FdRedirect Id String Token
T_Fi Id
T_For Id
T_ForArithmetic Id Token Token Token [Token]
T_ForIn Id String [Token] [Token]
T_Function Id FunctionKeyword FunctionParentheses String Token
T_GREATAND Id
T_Glob Id String
T_Greater Id
T_HereDoc Id Dashed Quoted String [Token]
T_HereString Id Token
T_If Id
T_IfExpression Id [([Token], [Token])] [Token]
T_In Id
T_IoFile Id Token Token
T_IoDuplicate Id Token String
T_LESSAND Id
T_LESSGREAT Id
T_Lbrace Id
T_Less Id
T_Literal Id String
T_Lparen Id
T_NEWLINE Id
T_NormalWord Id [Token]
T_OR_IF Id
T_OrIf Id Token Token
T_ParamSubSpecialChar Id String
T_Pipeline Id [Token] [Token]
T_ProcSub Id String [Token]
T_Rbrace Id
T_Redirecting Id [Token] Token
T_Rparen Id
T_Script Id Token [Token]
T_Select Id
T_SelectIn Id String [Token] [Token]
T_Semi Id
T_SimpleCommand Id [Token] [Token]
T_SingleQuoted Id String
T_Subshell Id [Token]
T_Then Id
T_Until Id
T_UntilExpression Id [Token] [Token]
T_While Id
T_WhileExpression Id [Token] [Token]
T_Annotation Id [Annotation] Token
T_Pipe Id String
T_CoProc Id (Maybe String) Token
T_CoProcBody Id Token
T_Include Id Token
T_SourceCommand Id Token Token
T_BatsTest Id Token Token

Instances

Eq Token Source #
Instance details Defined in ShellCheck.AST Methods (==) :: Token -> Token -> Bool (/=) :: Token -> Token -> Bool
Show Token Source #
Instance details Defined in ShellCheck.AST Methods showsPrec :: Int -> Token -> ShowS show :: Token -> String showList :: [Token] -> ShowS

data Annotation Source #

Constructors

DisableComment Integer
EnableComment String
SourceOverride String
ShellOverride String
SourcePath String

Instances

Eq Annotation Source #
Instance details Defined in ShellCheck.AST Methods (==) :: Annotation -> Annotation -> Bool (/=) :: Annotation -> Annotation -> Bool
Show Annotation Source #
Instance details Defined in ShellCheck.AST Methods showsPrec :: Int -> Annotation -> ShowS show :: Annotation -> String showList :: [Annotation] -> ShowS

data ConditionType Source #

Constructors

DoubleBracket
SingleBracket

Instances

Eq ConditionType Source #
Instance details Defined in ShellCheck.AST Methods (==) :: ConditionType -> ConditionType -> Bool (/=) :: ConditionType -> ConditionType -> Bool
Show ConditionType Source #
Instance details Defined in ShellCheck.AST Methods showsPrec :: Int -> ConditionType -> ShowS show :: ConditionType -> String showList :: [ConditionType] -> ShowS

tokenEquals :: Token -> Token -> Bool Source #

analyze :: Monad m => (Token -> m ()) -> (Token -> m ()) -> (Token -> m Token) -> Token -> m Token Source #

getId :: Token -> Id Source #

blank :: Monad m => Token -> m () Source #

doAnalysis :: Monad m => (Token -> m ()) -> Token -> m Token Source #

doStackAnalysis :: Monad m => (Token -> m ()) -> (Token -> m ()) -> Token -> m Token Source #

doTransform :: (Token -> Token) -> Token -> Token Source #