ShellCheck-0.10.0: Shell script analysis tool

Safe Haskell | None
Language | Haskell98

ShellCheck.CFG

# Documentation

data CFNode #

Constructors

CFStructuralNode |
CFEntryPoint String |
CFDropPrefixAssignments |
CFApplyEffects [IdTagged CFEffect] |
CFExecuteCommand (Maybe String) |
CFExecuteSubshell String Node Node |
CFSetExitCode Id |
CFImpliedExit |
CFResolvedExit |
CFUnresolvedExit |
CFUnreachable |
CFSetBackgroundPid Id |

#### Instances

Instances details

Generic CFNode # |
Instance details Defined in ShellCheck.CFG Associated Types
type Rep CFNode |
Instance details Defined in ShellCheck.CFG type Rep CFNode = D1 ('MetaData "CFNode" "ShellCheck.CFG" "ShellCheck-0.10.0-ATBebgXY1fH4HPyx4FAhp" 'False) (((C1 ('MetaCons "CFStructuralNode" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CFEntryPoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "CFDropPrefixAssignments" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CFApplyEffects" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [IdTagged CFEffect])) :+: (C1 ('MetaCons "CFExecuteCommand" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))) :+: C1 ('MetaCons "CFExecuteSubshell" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node)))))) :+: ((C1 ('MetaCons "CFSetExitCode" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id)) :+: (C1 ('MetaCons "CFImpliedExit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFResolvedExit" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CFUnresolvedExit" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CFUnreachable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFSetBackgroundPid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id))))))
Methods from :: CFNode -> Rep CFNode x # to :: Rep CFNode x -> CFNode #
Show CFNode # |
Instance details Defined in ShellCheck.CFG Methods showsPrec :: Int -> CFNode -> ShowS # show :: CFNode -> String # showList :: [CFNode] -> ShowS #
NFData CFNode # |
Instance details Defined in ShellCheck.CFG Methods rnf :: CFNode -> () #
Eq CFNode # |
Instance details Defined in ShellCheck.CFG Methods (==) :: CFNode -> CFNode -> Bool # (/=) :: CFNode -> CFNode -> Bool #
Ord CFNode # |
Instance details Defined in ShellCheck.CFG Methods compare :: CFNode -> CFNode -> Ordering # (<) :: CFNode -> CFNode -> Bool # (<=) :: CFNode -> CFNode -> Bool # (>) :: CFNode -> CFNode -> Bool # (>=) :: CFNode -> CFNode -> Bool # max :: CFNode -> CFNode -> CFNode # min :: CFNode -> CFNode -> CFNode #
type Rep CFNode # |
Instance details Defined in ShellCheck.CFG type Rep CFNode = D1 ('MetaData "CFNode" "ShellCheck.CFG" "ShellCheck-0.10.0-ATBebgXY1fH4HPyx4FAhp" 'False) (((C1 ('MetaCons "CFStructuralNode" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CFEntryPoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "CFDropPrefixAssignments" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CFApplyEffects" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [IdTagged CFEffect])) :+: (C1 ('MetaCons "CFExecuteCommand" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))) :+: C1 ('MetaCons "CFExecuteSubshell" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node)))))) :+: ((C1 ('MetaCons "CFSetExitCode" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id)) :+: (C1 ('MetaCons "CFImpliedExit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFResolvedExit" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CFUnresolvedExit" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CFUnreachable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFSetBackgroundPid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id))))))

data CFEdge #

Constructors

CFEErrExit |
CFEFlow |
CFEFalseFlow |
CFEExit |

#### Instances

Instances details

Generic CFEdge # |
Instance details Defined in ShellCheck.CFG Associated Types
type Rep CFEdge |
Instance details Defined in ShellCheck.CFG type Rep CFEdge = D1 ('MetaData "CFEdge" "ShellCheck.CFG" "ShellCheck-0.10.0-ATBebgXY1fH4HPyx4FAhp" 'False) ((C1 ('MetaCons "CFEErrExit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFEFlow" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CFEFalseFlow" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFEExit" 'PrefixI 'False) (U1 :: Type -> Type)))
Methods from :: CFEdge -> Rep CFEdge x # to :: Rep CFEdge x -> CFEdge #
Show CFEdge # |
Instance details Defined in ShellCheck.CFG Methods showsPrec :: Int -> CFEdge -> ShowS # show :: CFEdge -> String # showList :: [CFEdge] -> ShowS #
NFData CFEdge # |
Instance details Defined in ShellCheck.CFG Methods rnf :: CFEdge -> () #
Eq CFEdge # |
Instance details Defined in ShellCheck.CFG Methods (==) :: CFEdge -> CFEdge -> Bool # (/=) :: CFEdge -> CFEdge -> Bool #
Ord CFEdge # |
Instance details Defined in ShellCheck.CFG Methods compare :: CFEdge -> CFEdge -> Ordering # (<) :: CFEdge -> CFEdge -> Bool # (<=) :: CFEdge -> CFEdge -> Bool # (>) :: CFEdge -> CFEdge -> Bool # (>=) :: CFEdge -> CFEdge -> Bool # max :: CFEdge -> CFEdge -> CFEdge # min :: CFEdge -> CFEdge -> CFEdge #
type Rep CFEdge # |
Instance details Defined in ShellCheck.CFG type Rep CFEdge = D1 ('MetaData "CFEdge" "ShellCheck.CFG" "ShellCheck-0.10.0-ATBebgXY1fH4HPyx4FAhp" 'False) ((C1 ('MetaCons "CFEErrExit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFEFlow" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CFEFalseFlow" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFEExit" 'PrefixI 'False) (U1 :: Type -> Type)))

data CFEffect #

Constructors

CFSetProps (Maybe Scope) String (Set CFVariableProp) |
CFUnsetProps (Maybe Scope) String (Set CFVariableProp) |
CFReadVariable String |
CFWriteVariable String CFValue |
CFWriteGlobal String CFValue |
CFWriteLocal String CFValue |
CFWritePrefix String CFValue |
CFDefineFunction String Id Node Node |
CFUndefine String |
CFUndefineVariable String |
CFUndefineFunction String |
CFUndefineNameref String |
CFHintArray String |
CFHintDefined String |

#### Instances

Instances details

Generic CFEffect # |
Instance details Defined in ShellCheck.CFG Associated Types
type Rep CFEffect |
Instance details Defined in ShellCheck.CFG type Rep CFEffect = D1 ('MetaData "CFEffect" "ShellCheck.CFG" "ShellCheck-0.10.0-ATBebgXY1fH4HPyx4FAhp" 'False) (((C1 ('MetaCons "CFSetProps" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Scope)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CFVariableProp)))) :+: (C1 ('MetaCons "CFUnsetProps" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Scope)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CFVariableProp)))) :+: C1 ('MetaCons "CFReadVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))) :+: ((C1 ('MetaCons "CFWriteVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CFValue)) :+: C1 ('MetaCons "CFWriteGlobal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CFValue))) :+: (C1 ('MetaCons "CFWriteLocal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CFValue)) :+: C1 ('MetaCons "CFWritePrefix" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CFValue))))) :+: ((C1 ('MetaCons "CFDefineFunction" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node))) :+: (C1 ('MetaCons "CFUndefine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "CFUndefineVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))) :+: ((C1 ('MetaCons "CFUndefineFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "CFUndefineNameref" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "CFHintArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "CFHintDefined" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))))
Methods from :: CFEffect -> Rep CFEffect x # to :: Rep CFEffect x -> CFEffect #
Show CFEffect # |
Instance details Defined in ShellCheck.CFG Methods showsPrec :: Int -> CFEffect -> ShowS # show :: CFEffect -> String # showList :: [CFEffect] -> ShowS #
NFData CFEffect # |
Instance details Defined in ShellCheck.CFG Methods rnf :: CFEffect -> () #
Eq CFEffect # |
Instance details Defined in ShellCheck.CFG Methods (==) :: CFEffect -> CFEffect -> Bool # (/=) :: CFEffect -> CFEffect -> Bool #
Ord CFEffect # |
Instance details Defined in ShellCheck.CFG Methods compare :: CFEffect -> CFEffect -> Ordering # (<) :: CFEffect -> CFEffect -> Bool # (<=) :: CFEffect -> CFEffect -> Bool # (>) :: CFEffect -> CFEffect -> Bool # (>=) :: CFEffect -> CFEffect -> Bool # max :: CFEffect -> CFEffect -> CFEffect # min :: CFEffect -> CFEffect -> CFEffect #
type Rep CFEffect # |
Instance details Defined in ShellCheck.CFG type Rep CFEffect = D1 ('MetaData "CFEffect" "ShellCheck.CFG" "ShellCheck-0.10.0-ATBebgXY1fH4HPyx4FAhp" 'False) (((C1 ('MetaCons "CFSetProps" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Scope)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CFVariableProp)))) :+: (C1 ('MetaCons "CFUnsetProps" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Scope)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set CFVariableProp)))) :+: C1 ('MetaCons "CFReadVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))) :+: ((C1 ('MetaCons "CFWriteVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CFValue)) :+: C1 ('MetaCons "CFWriteGlobal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CFValue))) :+: (C1 ('MetaCons "CFWriteLocal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CFValue)) :+: C1 ('MetaCons "CFWritePrefix" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CFValue))))) :+: ((C1 ('MetaCons "CFDefineFunction" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Node))) :+: (C1 ('MetaCons "CFUndefine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "CFUndefineVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))) :+: ((C1 ('MetaCons "CFUndefineFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "CFUndefineNameref" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "CFHintArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "CFHintDefined" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))))

data CFStringPart #

Constructors

CFStringLiteral String |
CFStringVariable String |
CFStringInteger |
CFStringUnknown |

#### Instances

Instances details

Generic CFStringPart # |
Instance details Defined in ShellCheck.CFG Associated Types
type Rep CFStringPart |
Instance details Defined in ShellCheck.CFG type Rep CFStringPart = D1 ('MetaData "CFStringPart" "ShellCheck.CFG" "ShellCheck-0.10.0-ATBebgXY1fH4HPyx4FAhp" 'False) ((C1 ('MetaCons "CFStringLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "CFStringVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "CFStringInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFStringUnknown" 'PrefixI 'False) (U1 :: Type -> Type)))
Methods from :: CFStringPart -> Rep CFStringPart x # to :: Rep CFStringPart x -> CFStringPart #
Show CFStringPart # |
Instance details Defined in ShellCheck.CFG Methods showsPrec :: Int -> CFStringPart -> ShowS # show :: CFStringPart -> String # showList :: [CFStringPart] -> ShowS #
NFData CFStringPart # |
Instance details Defined in ShellCheck.CFG Methods rnf :: CFStringPart -> () #
Eq CFStringPart # |
Instance details Defined in ShellCheck.CFG Methods (==) :: CFStringPart -> CFStringPart -> Bool # (/=) :: CFStringPart -> CFStringPart -> Bool #
Ord CFStringPart # |
Instance details Defined in ShellCheck.CFG Methods compare :: CFStringPart -> CFStringPart -> Ordering # (<) :: CFStringPart -> CFStringPart -> Bool # (<=) :: CFStringPart -> CFStringPart -> Bool # (>) :: CFStringPart -> CFStringPart -> Bool # (>=) :: CFStringPart -> CFStringPart -> Bool # max :: CFStringPart -> CFStringPart -> CFStringPart # min :: CFStringPart -> CFStringPart -> CFStringPart #
type Rep CFStringPart # |
Instance details Defined in ShellCheck.CFG type Rep CFStringPart = D1 ('MetaData "CFStringPart" "ShellCheck.CFG" "ShellCheck-0.10.0-ATBebgXY1fH4HPyx4FAhp" 'False) ((C1 ('MetaCons "CFStringLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "CFStringVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "CFStringInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFStringUnknown" 'PrefixI 'False) (U1 :: Type -> Type)))

data CFVariableProp #

Constructors

CFVPExport |
CFVPArray |
CFVPAssociative |
CFVPInteger |

#### Instances

Instances details

Generic CFVariableProp # |
Instance details Defined in ShellCheck.CFG Associated Types
type Rep CFVariableProp |
Instance details Defined in ShellCheck.CFG type Rep CFVariableProp = D1 ('MetaData "CFVariableProp" "ShellCheck.CFG" "ShellCheck-0.10.0-ATBebgXY1fH4HPyx4FAhp" 'False) ((C1 ('MetaCons "CFVPExport" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFVPArray" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CFVPAssociative" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFVPInteger" 'PrefixI 'False) (U1 :: Type -> Type)))
Methods from :: CFVariableProp -> Rep CFVariableProp x # to :: Rep CFVariableProp x -> CFVariableProp #
Show CFVariableProp # |
Instance details Defined in ShellCheck.CFG Methods showsPrec :: Int -> CFVariableProp -> ShowS # show :: CFVariableProp -> String # showList :: [CFVariableProp] -> ShowS #
NFData CFVariableProp # |
Instance details Defined in ShellCheck.CFG Methods rnf :: CFVariableProp -> () #
Eq CFVariableProp # |
Instance details Defined in ShellCheck.CFG Methods (==) :: CFVariableProp -> CFVariableProp -> Bool # (/=) :: CFVariableProp -> CFVariableProp -> Bool #
Ord CFVariableProp # |
Instance details Defined in ShellCheck.CFG Methods compare :: CFVariableProp -> CFVariableProp -> Ordering # (<) :: CFVariableProp -> CFVariableProp -> Bool # (<=) :: CFVariableProp -> CFVariableProp -> Bool # (>) :: CFVariableProp -> CFVariableProp -> Bool # (>=) :: CFVariableProp -> CFVariableProp -> Bool # max :: CFVariableProp -> CFVariableProp -> CFVariableProp # min :: CFVariableProp -> CFVariableProp -> CFVariableProp #
type Rep CFVariableProp # |
Instance details Defined in ShellCheck.CFG type Rep CFVariableProp = D1 ('MetaData "CFVariableProp" "ShellCheck.CFG" "ShellCheck-0.10.0-ATBebgXY1fH4HPyx4FAhp" 'False) ((C1 ('MetaCons "CFVPExport" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFVPArray" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CFVPAssociative" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFVPInteger" 'PrefixI 'False) (U1 :: Type -> Type)))

data CFGResult #

Constructors

CFGResult |
Fields cfGraph :: CFGraph cfIdToRange :: Map Id (Node, Node) cfIdToNodes :: Map Id (Set Node) cfPostDominators :: Array Node [Node]

#### Instances

Instances details

Show CFGResult # |
Instance details Defined in ShellCheck.CFG Methods showsPrec :: Int -> CFGResult -> ShowS # show :: CFGResult -> String # showList :: [CFGResult] -> ShowS #

data CFValue #

Constructors

CFValueUninitialized |
CFValueArray |
CFValueString |
CFValueInteger |
CFValueComputed Id [CFStringPart] |

#### Instances

Instances details

Generic CFValue # |
Instance details Defined in ShellCheck.CFG Associated Types
type Rep CFValue |
Instance details Defined in ShellCheck.CFG type Rep CFValue = D1 ('MetaData "CFValue" "ShellCheck.CFG" "ShellCheck-0.10.0-ATBebgXY1fH4HPyx4FAhp" 'False) ((C1 ('MetaCons "CFValueUninitialized" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFValueArray" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CFValueString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CFValueInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFValueComputed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CFStringPart])))))
Methods from :: CFValue -> Rep CFValue x # to :: Rep CFValue x -> CFValue #
Show CFValue # |
Instance details Defined in ShellCheck.CFG Methods showsPrec :: Int -> CFValue -> ShowS # show :: CFValue -> String # showList :: [CFValue] -> ShowS #
NFData CFValue # |
Instance details Defined in ShellCheck.CFG Methods rnf :: CFValue -> () #
Eq CFValue # |
Instance details Defined in ShellCheck.CFG Methods (==) :: CFValue -> CFValue -> Bool # (/=) :: CFValue -> CFValue -> Bool #
Ord CFValue # |
Instance details Defined in ShellCheck.CFG Methods compare :: CFValue -> CFValue -> Ordering # (<) :: CFValue -> CFValue -> Bool # (<=) :: CFValue -> CFValue -> Bool # (>) :: CFValue -> CFValue -> Bool # (>=) :: CFValue -> CFValue -> Bool # max :: CFValue -> CFValue -> CFValue # min :: CFValue -> CFValue -> CFValue #
type Rep CFValue # |
Instance details Defined in ShellCheck.CFG type Rep CFValue = D1 ('MetaData "CFValue" "ShellCheck.CFG" "ShellCheck-0.10.0-ATBebgXY1fH4HPyx4FAhp" 'False) ((C1 ('MetaCons "CFValueUninitialized" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFValueArray" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CFValueString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CFValueInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CFValueComputed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CFStringPart])))))

type CFGraph = Gr CFNode CFEdge #

data CFGParameters #

Constructors

CFGParameters |
Fields cfLastpipe :: Bool cfPipefail :: Bool

data IdTagged a #

Constructors

IdTagged Id a |

#### Instances

Instances details

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

data Scope #

Constructors

GlobalScope |
LocalScope |
PrefixScope |

#### Instances

Instances details

Generic Scope # |
Instance details Defined in ShellCheck.CFG Associated Types
type Rep Scope |
Instance details Defined in ShellCheck.CFG type Rep Scope = D1 ('MetaData "Scope" "ShellCheck.CFG" "ShellCheck-0.10.0-ATBebgXY1fH4HPyx4FAhp" 'False) (C1 ('MetaCons "GlobalScope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LocalScope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PrefixScope" 'PrefixI 'False) (U1 :: Type -> Type)))
Methods from :: Scope -> Rep Scope x # to :: Rep Scope x -> Scope #
Show Scope # |
Instance details Defined in ShellCheck.CFG Methods showsPrec :: Int -> Scope -> ShowS # show :: Scope -> String # showList :: [Scope] -> ShowS #
NFData Scope # |
Instance details Defined in ShellCheck.CFG Methods rnf :: Scope -> () #
Eq Scope # |
Instance details Defined in ShellCheck.CFG Methods (==) :: Scope -> Scope -> Bool # (/=) :: Scope -> Scope -> Bool #
Ord Scope # |
Instance details Defined in ShellCheck.CFG Methods compare :: Scope -> Scope -> Ordering # (<) :: Scope -> Scope -> Bool # (<=) :: Scope -> Scope -> Bool # (>) :: Scope -> Scope -> Bool # (>=) :: Scope -> Scope -> Bool # max :: Scope -> Scope -> Scope # min :: Scope -> Scope -> Scope #
type Rep Scope # |
Instance details Defined in ShellCheck.CFG type Rep Scope = D1 ('MetaData "Scope" "ShellCheck.CFG" "ShellCheck-0.10.0-ATBebgXY1fH4HPyx4FAhp" 'False) (C1 ('MetaCons "GlobalScope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LocalScope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PrefixScope" 'PrefixI 'False) (U1 :: Type -> Type)))

buildGraph :: CFGParameters -> Token -> CFGResult #

runTests :: IO Bool #