ShellCheck-0.10.0: Shell script analysis tool
Safe HaskellNone
LanguageHaskell98

ShellCheck.CFGAnalysis

Documentation

data CFGParameters Source #

Constructors

CFGParameters 

Fields

data CFGAnalysis Source #

Constructors

CFGAnalysis 

Fields

Instances

Instances details
Show CFGAnalysis Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

showsPrec :: Int -> CFGAnalysis -> ShowS

show :: CFGAnalysis -> String

showList :: [CFGAnalysis] -> ShowS

data ProgramState Source #

Constructors

ProgramState 

Fields

Instances

Instances details
NFData ProgramState Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

rnf :: ProgramState -> ()

Generic ProgramState Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Associated Types

type Rep ProgramState 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep ProgramState = D1 ('MetaData "ProgramState" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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))))
Show ProgramState Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

showsPrec :: Int -> ProgramState -> ShowS

show :: ProgramState -> String

showList :: [ProgramState] -> ShowS

Eq ProgramState Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

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

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

type Rep ProgramState Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep ProgramState = D1 ('MetaData "ProgramState" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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 Source #

Instances

Instances details
NFData VariableState Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

rnf :: VariableState -> ()

Generic VariableState Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Associated Types

type Rep VariableState 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep VariableState = D1 ('MetaData "VariableState" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" 'False) (C1 ('MetaCons "VariableState" 'PrefixI 'True) (S1 ('MetaSel ('Just "variableValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VariableValue) :*: S1 ('MetaSel ('Just "variableProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VariableProperties)))
Show VariableState Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

showsPrec :: Int -> VariableState -> ShowS

show :: VariableState -> String

showList :: [VariableState] -> ShowS

Eq VariableState Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Ord VariableState Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep VariableState Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep VariableState = D1 ('MetaData "VariableState" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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 Source #

Instances

Instances details
NFData VariableValue Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

rnf :: VariableValue -> ()

Generic VariableValue Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Associated Types

type Rep VariableValue 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep VariableValue = D1 ('MetaData "VariableValue" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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))))
Show VariableValue Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

showsPrec :: Int -> VariableValue -> ShowS

show :: VariableValue -> String

showList :: [VariableValue] -> ShowS

Eq VariableValue Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Ord VariableValue Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep VariableValue Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep VariableValue = D1 ('MetaData "VariableValue" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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 Source #

Instances

Instances details
NFData SpaceStatus Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

rnf :: SpaceStatus -> ()

Generic SpaceStatus Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Associated Types

type Rep SpaceStatus 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep SpaceStatus = D1 ('MetaData "SpaceStatus" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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)))

Methods

from :: SpaceStatus -> Rep SpaceStatus x

to :: Rep SpaceStatus x -> SpaceStatus

Show SpaceStatus Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

showsPrec :: Int -> SpaceStatus -> ShowS

show :: SpaceStatus -> String

showList :: [SpaceStatus] -> ShowS

Eq SpaceStatus Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

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

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

Ord SpaceStatus Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep SpaceStatus Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep SpaceStatus = D1 ('MetaData "SpaceStatus" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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 Source #

Instances

Instances details
NFData NumericalStatus Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

rnf :: NumericalStatus -> ()

Generic NumericalStatus Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Associated Types

type Rep NumericalStatus 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep NumericalStatus = D1 ('MetaData "NumericalStatus" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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)))
Show NumericalStatus Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Methods

showsPrec :: Int -> NumericalStatus -> ShowS

show :: NumericalStatus -> String

showList :: [NumericalStatus] -> ShowS

Eq NumericalStatus Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

Ord NumericalStatus Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep NumericalStatus Source # 
Instance details

Defined in ShellCheck.CFGAnalysis

type Rep NumericalStatus = D1 ('MetaData "NumericalStatus" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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 Source #