Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
ShellCheck.AST
Documentation
Constructors
Id Int |
Instances
Generic Id # | |
Show Id # | |
NFData Id # | |
Defined in ShellCheck.AST | |
Eq Id # | |
Ord Id # | |
type Rep Id # | |
Defined in ShellCheck.AST type Rep Id = D1 ('MetaData "Id" "ShellCheck.AST" "ShellCheck-0.9.0-6uCWLhcMZkq1cyTXpXjNXm" 'True) (C1 ('MetaCons "Id" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) |
data AssignmentMode #
Instances
Show AssignmentMode # | |
Defined in ShellCheck.AST Methods showsPrec :: Int -> AssignmentMode -> ShowS show :: AssignmentMode -> String showList :: [AssignmentMode] -> ShowS | |
Eq AssignmentMode # | |
Defined in ShellCheck.AST Methods (==) :: AssignmentMode -> AssignmentMode -> Bool (/=) :: AssignmentMode -> AssignmentMode -> Bool |
newtype FunctionKeyword #
Constructors
FunctionKeyword Bool |
Instances
Show FunctionKeyword # | |
Defined in ShellCheck.AST Methods showsPrec :: Int -> FunctionKeyword -> ShowS show :: FunctionKeyword -> String showList :: [FunctionKeyword] -> ShowS | |
Eq FunctionKeyword # | |
Defined in ShellCheck.AST Methods (==) :: FunctionKeyword -> FunctionKeyword -> Bool (/=) :: FunctionKeyword -> FunctionKeyword -> Bool |
newtype FunctionParentheses #
Constructors
FunctionParentheses Bool |
Instances
Show FunctionParentheses # | |
Defined in ShellCheck.AST Methods showsPrec :: Int -> FunctionParentheses -> ShowS show :: FunctionParentheses -> String showList :: [FunctionParentheses] -> ShowS | |
Eq FunctionParentheses # | |
Defined in ShellCheck.AST Methods (==) :: FunctionParentheses -> FunctionParentheses -> Bool (/=) :: FunctionParentheses -> FunctionParentheses -> Bool |
Constructors
CaseBreak | |
CaseFallThrough | |
CaseContinue |
Constructors
OuterToken Id (InnerToken Token) |
data InnerToken t #
Constructors
Instances
Foldable InnerToken # | |
Defined in ShellCheck.AST Methods fold :: Monoid m => InnerToken m -> m foldMap :: Monoid m => (a -> m) -> InnerToken a -> m foldMap' :: Monoid m => (a -> m) -> InnerToken a -> m foldr :: (a -> b -> b) -> b -> InnerToken a -> b foldr' :: (a -> b -> b) -> b -> InnerToken a -> b foldl :: (b -> a -> b) -> b -> InnerToken a -> b foldl' :: (b -> a -> b) -> b -> InnerToken a -> b foldr1 :: (a -> a -> a) -> InnerToken a -> a foldl1 :: (a -> a -> a) -> InnerToken a -> a toList :: InnerToken a -> [a] null :: InnerToken a -> Bool length :: InnerToken a -> Int elem :: Eq a => a -> InnerToken a -> Bool maximum :: Ord a => InnerToken a -> a minimum :: Ord a => InnerToken a -> a sum :: Num a => InnerToken a -> a product :: Num a => InnerToken a -> a | |
Traversable InnerToken # | |
Defined in ShellCheck.AST Methods traverse :: Applicative f => (a -> f b) -> InnerToken a -> f (InnerToken b) sequenceA :: Applicative f => InnerToken (f a) -> f (InnerToken a) mapM :: Monad m => (a -> m b) -> InnerToken a -> m (InnerToken b) sequence :: Monad m => InnerToken (m a) -> m (InnerToken a) | |
Functor InnerToken # | |
Defined in ShellCheck.AST Methods fmap :: (a -> b) -> InnerToken a -> InnerToken b # (<$) :: a -> InnerToken b -> InnerToken a # | |
Show t => Show (InnerToken t) # | |
Defined in ShellCheck.AST Methods showsPrec :: Int -> InnerToken t -> ShowS show :: InnerToken t -> String showList :: [InnerToken t] -> ShowS | |
Eq t => Eq (InnerToken t) # | |
Defined in ShellCheck.AST |
data Annotation #
Constructors
DisableComment Integer Integer | |
EnableComment String | |
SourceOverride String | |
ShellOverride String | |
SourcePath String | |
ExternalSources Bool |
Instances
Show Annotation # | |
Defined in ShellCheck.AST Methods showsPrec :: Int -> Annotation -> ShowS show :: Annotation -> String showList :: [Annotation] -> ShowS | |
Eq Annotation # | |
Defined in ShellCheck.AST |
data ConditionType #
Constructors
DoubleBracket | |
SingleBracket |
Instances
Show ConditionType # | |
Defined in ShellCheck.AST Methods showsPrec :: Int -> ConditionType -> ShowS show :: ConditionType -> String showList :: [ConditionType] -> ShowS | |
Eq ConditionType # | |
Defined in ShellCheck.AST |
pattern TC_Empty :: Id -> ConditionType -> Token #
pattern T_DLESSDASH :: Id -> Token #
pattern T_DollarSingleQuoted :: Id -> String -> Token #
pattern T_GREATAND :: Id -> Token #
pattern T_LESSGREAT :: Id -> Token #
pattern T_ParamSubSpecialChar :: Id -> String -> Token #
pattern T_SingleQuoted :: Id -> String -> Token #
pattern T_UnparsedIndex :: Id -> SourcePos -> String -> Token #
pattern TA_Expansion :: Id -> [Token] -> Token #
pattern T_Annotation :: Id -> [Annotation] -> Token -> Token #
pattern T_Arithmetic :: Id -> Token -> Token #
pattern TA_Sequence :: Id -> [Token] -> Token #
pattern TA_Parentesis :: Id -> Token -> Token #
pattern T_Assignment :: Id -> AssignmentMode -> String -> [Token] -> Token -> Token #
pattern TA_Variable :: Id -> String -> [Token] -> Token #
pattern T_Backgrounded :: Id -> Token -> Token #
pattern T_Backticked :: Id -> [Token] -> Token #
pattern T_BatsTest :: Id -> String -> Token -> Token #
pattern T_BraceExpansion :: Id -> [Token] -> Token #
pattern T_BraceGroup :: Id -> [Token] -> Token #
pattern TC_Nullary :: Id -> ConditionType -> Token -> Token #
pattern T_Condition :: Id -> ConditionType -> Token -> Token #
pattern T_CoProcBody :: Id -> Token -> Token #
pattern T_DollarArithmetic :: Id -> Token -> Token #
pattern T_DollarBraceCommandExpansion :: Id -> [Token] -> Token #
pattern T_DollarBraced :: Id -> Bool -> Token -> Token #
pattern T_DollarBracket :: Id -> Token -> Token #
pattern T_DollarDoubleQuoted :: Id -> [Token] -> Token #
pattern T_DollarExpansion :: Id -> [Token] -> Token #
pattern T_DoubleQuoted :: Id -> [Token] -> Token #
pattern T_FdRedirect :: Id -> String -> Token -> Token #
pattern T_Function :: Id -> FunctionKeyword -> FunctionParentheses -> String -> Token -> Token #
pattern T_HereString :: Id -> Token -> Token #
pattern T_IoDuplicate :: Id -> Token -> String -> Token #
pattern T_NormalWord :: Id -> [Token] -> Token #
pattern T_Subshell :: Id -> [Token] -> Token #
analyze :: Monad m => (Token -> m ()) -> (Token -> m ()) -> (Token -> m Token) -> Token -> m Token #
doAnalysis :: Monad m => (Token -> m ()) -> Token -> m Token #