ShellCheck-0.11.0: Shell script analysis tool
Safe HaskellNone
LanguageHaskell98

ShellCheck.CFG

Documentation

data CFNode #

Instances

Instances details
Eq CFNode # 
Instance details

Defined in ShellCheck.CFG

Methods

(==) :: CFNode -> CFNode -> Bool #

(/=) :: CFNode -> CFNode -> Bool #

Ord CFNode # 
Instance details

Defined in ShellCheck.CFG

Show CFNode # 
Instance details

Defined in ShellCheck.CFG

Generic CFNode # 
Instance details

Defined in ShellCheck.CFG

Associated Types

type Rep CFNode :: Type -> Type #

Methods

from :: CFNode -> Rep CFNode x #

to :: Rep CFNode x -> CFNode #

NFData CFNode # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: CFNode -> () #

type Rep CFNode # 
Instance details

Defined in ShellCheck.CFG

type Rep CFNode = D1 ('MetaData "CFNode" "ShellCheck.CFG" "ShellCheck-0.11.0-Dy6m6fjjH0rDZfn8PWazNc" '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 #

Instances

Instances details
Eq CFEdge # 
Instance details

Defined in ShellCheck.CFG

Methods

(==) :: CFEdge -> CFEdge -> Bool #

(/=) :: CFEdge -> CFEdge -> Bool #

Ord CFEdge # 
Instance details

Defined in ShellCheck.CFG

Show CFEdge # 
Instance details

Defined in ShellCheck.CFG

Generic CFEdge # 
Instance details

Defined in ShellCheck.CFG

Associated Types

type Rep CFEdge :: Type -> Type #

Methods

from :: CFEdge -> Rep CFEdge x #

to :: Rep CFEdge x -> CFEdge #

NFData CFEdge # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: CFEdge -> () #

type Rep CFEdge # 
Instance details

Defined in ShellCheck.CFG

type Rep CFEdge = D1 ('MetaData "CFEdge" "ShellCheck.CFG" "ShellCheck-0.11.0-Dy6m6fjjH0rDZfn8PWazNc" '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 #

Instances

Instances details
Eq CFEffect # 
Instance details

Defined in ShellCheck.CFG

Ord CFEffect # 
Instance details

Defined in ShellCheck.CFG

Show CFEffect # 
Instance details

Defined in ShellCheck.CFG

Generic CFEffect # 
Instance details

Defined in ShellCheck.CFG

Associated Types

type Rep CFEffect :: Type -> Type #

Methods

from :: CFEffect -> Rep CFEffect x #

to :: Rep CFEffect x -> CFEffect #

NFData CFEffect # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: CFEffect -> () #

type Rep CFEffect # 
Instance details

Defined in ShellCheck.CFG

type Rep CFEffect = D1 ('MetaData "CFEffect" "ShellCheck.CFG" "ShellCheck-0.11.0-Dy6m6fjjH0rDZfn8PWazNc" '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 #

Instances

Instances details
Eq CFStringPart # 
Instance details

Defined in ShellCheck.CFG

Ord CFStringPart # 
Instance details

Defined in ShellCheck.CFG

Show CFStringPart # 
Instance details

Defined in ShellCheck.CFG

Generic CFStringPart # 
Instance details

Defined in ShellCheck.CFG

Associated Types

type Rep CFStringPart :: Type -> Type #

NFData CFStringPart # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: CFStringPart -> () #

type Rep CFStringPart # 
Instance details

Defined in ShellCheck.CFG

type Rep CFStringPart = D1 ('MetaData "CFStringPart" "ShellCheck.CFG" "ShellCheck-0.11.0-Dy6m6fjjH0rDZfn8PWazNc" '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 #

Instances

Instances details
Eq CFVariableProp # 
Instance details

Defined in ShellCheck.CFG

Ord CFVariableProp # 
Instance details

Defined in ShellCheck.CFG

Show CFVariableProp # 
Instance details

Defined in ShellCheck.CFG

Generic CFVariableProp # 
Instance details

Defined in ShellCheck.CFG

Associated Types

type Rep CFVariableProp :: Type -> Type #

NFData CFVariableProp # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: CFVariableProp -> () #

type Rep CFVariableProp # 
Instance details

Defined in ShellCheck.CFG

type Rep CFVariableProp = D1 ('MetaData "CFVariableProp" "ShellCheck.CFG" "ShellCheck-0.11.0-Dy6m6fjjH0rDZfn8PWazNc" '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 #

Instances

Instances details
Show CFGResult # 
Instance details

Defined in ShellCheck.CFG

data CFValue #

Instances

Instances details
Eq CFValue # 
Instance details

Defined in ShellCheck.CFG

Methods

(==) :: CFValue -> CFValue -> Bool #

(/=) :: CFValue -> CFValue -> Bool #

Ord CFValue # 
Instance details

Defined in ShellCheck.CFG

Show CFValue # 
Instance details

Defined in ShellCheck.CFG

Generic CFValue # 
Instance details

Defined in ShellCheck.CFG

Associated Types

type Rep CFValue :: Type -> Type #

Methods

from :: CFValue -> Rep CFValue x #

to :: Rep CFValue x -> CFValue #

NFData CFValue # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: CFValue -> () #

type Rep CFValue # 
Instance details

Defined in ShellCheck.CFG

type Rep CFValue = D1 ('MetaData "CFValue" "ShellCheck.CFG" "ShellCheck-0.11.0-Dy6m6fjjH0rDZfn8PWazNc" '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])))))

data CFGParameters #

Constructors

CFGParameters 

data IdTagged a #

Constructors

IdTagged Id a 

Instances

Instances details
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 #

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 #

Generic (IdTagged a) # 
Instance details

Defined in ShellCheck.CFG

Associated Types

type Rep (IdTagged a) :: Type -> Type #

Methods

from :: IdTagged a -> Rep (IdTagged a) x #

to :: Rep (IdTagged a) x -> IdTagged a #

NFData a => NFData (IdTagged a) # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: IdTagged a -> () #

type Rep (IdTagged a) # 
Instance details

Defined in ShellCheck.CFG

type Rep (IdTagged a) = D1 ('MetaData "IdTagged" "ShellCheck.CFG" "ShellCheck-0.11.0-Dy6m6fjjH0rDZfn8PWazNc" '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 #

Instances

Instances details
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 #

Show Scope # 
Instance details

Defined in ShellCheck.CFG

Methods

showsPrec :: Int -> Scope -> ShowS #

show :: Scope -> String #

showList :: [Scope] -> ShowS #

Generic Scope # 
Instance details

Defined in ShellCheck.CFG

Associated Types

type Rep Scope :: Type -> Type #

Methods

from :: Scope -> Rep Scope x #

to :: Rep Scope x -> Scope #

NFData Scope # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: Scope -> () #

type Rep Scope # 
Instance details

Defined in ShellCheck.CFG

type Rep Scope = D1 ('MetaData "Scope" "ShellCheck.CFG" "ShellCheck-0.11.0-Dy6m6fjjH0rDZfn8PWazNc" '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)))