ShellCheck-0.9.0: Shell script analysis tool
Safe HaskellSafe-Inferred
LanguageHaskell98

ShellCheck.CFGAnalysis

Documentation

data CFGParameters #

Constructors

CFGParameters 

Fields

data CFGAnalysis #

Constructors

CFGAnalysis 

Instances

Instances details
Show CFGAnalysis # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

showsPrec :: Int -> CFGAnalysis -> ShowS

show :: CFGAnalysis -> String

showList :: [CFGAnalysis] -> ShowS

data ProgramState #

Constructors

ProgramState 

Fields

Instances

Instances details
Generic ProgramState # 
Instance details

Defined in ShellCheck.CFGAnalysis

Associated Types

type Rep ProgramState :: Type -> Type

Show ProgramState # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

showsPrec :: Int -> ProgramState -> ShowS

show :: ProgramState -> String

showList :: [ProgramState] -> ShowS

NFData ProgramState # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

rnf :: ProgramState -> ()

Eq ProgramState # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

(==) :: ProgramState -> ProgramState -> Bool

(/=) :: ProgramState -> ProgramState -> Bool

type Rep ProgramState # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep ProgramState = D1 ('MetaData "ProgramState" "ShellCheck.CFGAnalysis" "ShellCheck-0.9.0-6uCWLhcMZkq1cyTXpXjNXm" 'False) (C1 ('MetaCons "ProgramState" 'PrefixI 'True) (S1 ('MetaSel ('Just "variablesInScope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String VariableState)) :*: (S1 ('MetaSel ('Just "exitCodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Id)) :*: S1 ('MetaSel ('Just "stateIsReachable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

data VariableState #

Instances

Instances details
Generic VariableState # 
Instance details

Defined in ShellCheck.CFGAnalysis

Associated Types

type Rep VariableState :: Type -> Type

Show VariableState # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

showsPrec :: Int -> VariableState -> ShowS

show :: VariableState -> String

showList :: [VariableState] -> ShowS

NFData VariableState # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

rnf :: VariableState -> ()

Eq VariableState # 
Instance details

Defined in ShellCheck.CFGAnalysis

Ord VariableState # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep VariableState # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep VariableState = D1 ('MetaData "VariableState" "ShellCheck.CFGAnalysis" "ShellCheck-0.9.0-6uCWLhcMZkq1cyTXpXjNXm" 'False) (C1 ('MetaCons "VariableState" 'PrefixI 'True) (S1 ('MetaSel ('Just "variableValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VariableValue) :*: S1 ('MetaSel ('Just "variableProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VariableProperties)))

data VariableValue #

Instances

Instances details
Generic VariableValue # 
Instance details

Defined in ShellCheck.CFGAnalysis

Associated Types

type Rep VariableValue :: Type -> Type

Show VariableValue # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

showsPrec :: Int -> VariableValue -> ShowS

show :: VariableValue -> String

showList :: [VariableValue] -> ShowS

NFData VariableValue # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

rnf :: VariableValue -> ()

Eq VariableValue # 
Instance details

Defined in ShellCheck.CFGAnalysis

Ord VariableValue # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep VariableValue # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep VariableValue = D1 ('MetaData "VariableValue" "ShellCheck.CFGAnalysis" "ShellCheck-0.9.0-6uCWLhcMZkq1cyTXpXjNXm" 'False) (C1 ('MetaCons "VariableValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "literalValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: (S1 ('MetaSel ('Just "spaceStatus") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SpaceStatus) :*: S1 ('MetaSel ('Just "numericalStatus") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NumericalStatus))))

data SpaceStatus #

Instances

Instances details
Generic SpaceStatus # 
Instance details

Defined in ShellCheck.CFGAnalysis

Associated Types

type Rep SpaceStatus :: Type -> Type

Methods

from :: SpaceStatus -> Rep SpaceStatus x

to :: Rep SpaceStatus x -> SpaceStatus

Show SpaceStatus # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

showsPrec :: Int -> SpaceStatus -> ShowS

show :: SpaceStatus -> String

showList :: [SpaceStatus] -> ShowS

NFData SpaceStatus # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

rnf :: SpaceStatus -> ()

Eq SpaceStatus # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

(==) :: SpaceStatus -> SpaceStatus -> Bool

(/=) :: SpaceStatus -> SpaceStatus -> Bool

Ord SpaceStatus # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep SpaceStatus # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep SpaceStatus = D1 ('MetaData "SpaceStatus" "ShellCheck.CFGAnalysis" "ShellCheck-0.9.0-6uCWLhcMZkq1cyTXpXjNXm" 'False) (C1 ('MetaCons "SpaceStatusEmpty" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SpaceStatusClean" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SpaceStatusDirty" 'PrefixI 'False) (U1 :: Type -> Type)))

data NumericalStatus #

Instances

Instances details
Generic NumericalStatus # 
Instance details

Defined in ShellCheck.CFGAnalysis

Associated Types

type Rep NumericalStatus :: Type -> Type

Show NumericalStatus # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

showsPrec :: Int -> NumericalStatus -> ShowS

show :: NumericalStatus -> String

showList :: [NumericalStatus] -> ShowS

NFData NumericalStatus # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

rnf :: NumericalStatus -> ()

Eq NumericalStatus # 
Instance details

Defined in ShellCheck.CFGAnalysis

Ord NumericalStatus # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep NumericalStatus # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep NumericalStatus = D1 ('MetaData "NumericalStatus" "ShellCheck.CFGAnalysis" "ShellCheck-0.9.0-6uCWLhcMZkq1cyTXpXjNXm" 'False) ((C1 ('MetaCons "NumericalStatusUnknown" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NumericalStatusEmpty" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NumericalStatusMaybe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NumericalStatusDefinitely" 'PrefixI 'False) (U1 :: Type -> Type)))

runTests :: IO Bool #