ShellCheck
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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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-BBqTCHC3RejHwhQ9THtbhr" '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 #