ShellCheck-0.10.0: Shell script analysis tool
Safe HaskellNone
LanguageHaskell98

ShellCheck.CFG

Documentation

data CFNode Source #

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
NFData CFNode Source # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: CFNode -> () #

Generic CFNode Source # 
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-l4nzQK3Mpg6UHd7kSnhYQ" '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 Source # 
Instance details

Defined in ShellCheck.CFG

Methods

showsPrec :: Int -> CFNode -> ShowS #

show :: CFNode -> String #

showList :: [CFNode] -> ShowS #

Eq CFNode Source # 
Instance details

Defined in ShellCheck.CFG

Methods

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

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

Ord CFNode Source # 
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 Source # 
Instance details

Defined in ShellCheck.CFG

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

Constructors

CFEErrExit 
CFEFlow 
CFEFalseFlow 
CFEExit 

Instances

Instances details
NFData CFEdge Source # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: CFEdge -> () #

Generic CFEdge Source # 
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-l4nzQK3Mpg6UHd7kSnhYQ" '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 Source # 
Instance details

Defined in ShellCheck.CFG

Methods

showsPrec :: Int -> CFEdge -> ShowS #

show :: CFEdge -> String #

showList :: [CFEdge] -> ShowS #

Eq CFEdge Source # 
Instance details

Defined in ShellCheck.CFG

Methods

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

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

Ord CFEdge Source # 
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 Source # 
Instance details

Defined in ShellCheck.CFG

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

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
NFData CFEffect Source # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: CFEffect -> () #

Generic CFEffect Source # 
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-l4nzQK3Mpg6UHd7kSnhYQ" '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 Source # 
Instance details

Defined in ShellCheck.CFG

Methods

showsPrec :: Int -> CFEffect -> ShowS #

show :: CFEffect -> String #

showList :: [CFEffect] -> ShowS #

Eq CFEffect Source # 
Instance details

Defined in ShellCheck.CFG

Methods

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

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

Ord CFEffect Source # 
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 Source # 
Instance details

Defined in ShellCheck.CFG

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

Constructors

CFStringLiteral String 
CFStringVariable String 
CFStringInteger 
CFStringUnknown 

Instances

Instances details
NFData CFStringPart Source # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: CFStringPart -> () #

Generic CFStringPart Source # 
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-l4nzQK3Mpg6UHd7kSnhYQ" '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 Source # 
Instance details

Defined in ShellCheck.CFG

Methods

showsPrec :: Int -> CFStringPart -> ShowS #

show :: CFStringPart -> String #

showList :: [CFStringPart] -> ShowS #

Eq CFStringPart Source # 
Instance details

Defined in ShellCheck.CFG

Methods

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

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

Ord CFStringPart Source # 
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 Source # 
Instance details

Defined in ShellCheck.CFG

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

Constructors

CFVPExport 
CFVPArray 
CFVPAssociative 
CFVPInteger 

Instances

Instances details
NFData CFVariableProp Source # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: CFVariableProp -> () #

Generic CFVariableProp Source # 
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-l4nzQK3Mpg6UHd7kSnhYQ" '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 Source # 
Instance details

Defined in ShellCheck.CFG

Methods

showsPrec :: Int -> CFVariableProp -> ShowS #

show :: CFVariableProp -> String #

showList :: [CFVariableProp] -> ShowS #

Eq CFVariableProp Source # 
Instance details

Defined in ShellCheck.CFG

Methods

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

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

Ord CFVariableProp Source # 
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 Source # 
Instance details

Defined in ShellCheck.CFG

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

Constructors

CFGResult 

Fields

Instances

Instances details
Show CFGResult Source # 
Instance details

Defined in ShellCheck.CFG

Methods

showsPrec :: Int -> CFGResult -> ShowS #

show :: CFGResult -> String #

showList :: [CFGResult] -> ShowS #

data CFValue Source #

Constructors

CFValueUninitialized 
CFValueArray 
CFValueString 
CFValueInteger 
CFValueComputed Id [CFStringPart] 

Instances

Instances details
NFData CFValue Source # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: CFValue -> () #

Generic CFValue Source # 
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-l4nzQK3Mpg6UHd7kSnhYQ" '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 Source # 
Instance details

Defined in ShellCheck.CFG

Methods

showsPrec :: Int -> CFValue -> ShowS #

show :: CFValue -> String #

showList :: [CFValue] -> ShowS #

Eq CFValue Source # 
Instance details

Defined in ShellCheck.CFG

Methods

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

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

Ord CFValue Source # 
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 Source # 
Instance details

Defined in ShellCheck.CFG

type Rep CFValue = D1 ('MetaData "CFValue" "ShellCheck.CFG" "ShellCheck-0.10.0-l4nzQK3Mpg6UHd7kSnhYQ" '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 Source #

data CFGParameters Source #

Constructors

CFGParameters 

Fields

data IdTagged a Source #

Constructors

IdTagged Id a 

Instances

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

Defined in ShellCheck.CFG

Methods

rnf :: IdTagged a -> () #

Generic (IdTagged a) Source # 
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-l4nzQK3Mpg6UHd7kSnhYQ" '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) Source # 
Instance details

Defined in ShellCheck.CFG

Methods

showsPrec :: Int -> IdTagged a -> ShowS #

show :: IdTagged a -> String #

showList :: [IdTagged a] -> ShowS #

Eq a => Eq (IdTagged a) Source # 
Instance details

Defined in ShellCheck.CFG

Methods

(==) :: IdTagged a -> IdTagged a -> Bool #

(/=) :: IdTagged a -> IdTagged a -> Bool #

Ord a => Ord (IdTagged a) Source # 
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) Source # 
Instance details

Defined in ShellCheck.CFG

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

Constructors

GlobalScope 
LocalScope 
PrefixScope 

Instances

Instances details
NFData Scope Source # 
Instance details

Defined in ShellCheck.CFG

Methods

rnf :: Scope -> () #

Generic Scope Source # 
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-l4nzQK3Mpg6UHd7kSnhYQ" '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 Source # 
Instance details

Defined in ShellCheck.CFG

Methods

showsPrec :: Int -> Scope -> ShowS #

show :: Scope -> String #

showList :: [Scope] -> ShowS #

Eq Scope Source # 
Instance details

Defined in ShellCheck.CFG

Methods

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

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

Ord Scope Source # 
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 Source # 
Instance details

Defined in ShellCheck.CFG

type Rep Scope = D1 ('MetaData "Scope" "ShellCheck.CFG" "ShellCheck-0.10.0-l4nzQK3Mpg6UHd7kSnhYQ" '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 Source #

runTests :: IO Bool Source #