Safe Haskell | None |
---|---|
Language | Haskell98 |
ShellCheck.CFG
Documentation
Constructors
CFStructuralNode | |
CFEntryPoint String | |
CFDropPrefixAssignments | |
CFApplyEffects [IdTagged CFEffect] | |
CFExecuteCommand (Maybe String) | |
CFExecuteSubshell String Node Node | |
CFSetExitCode Id | |
CFImpliedExit | |
CFResolvedExit | |
CFUnresolvedExit | |
CFUnreachable | |
CFSetBackgroundPid Id |
Instances
NFData CFNode Source # | |||||
Defined in ShellCheck.CFG | |||||
Generic CFNode Source # | |||||
Defined in ShellCheck.CFG Associated Types
| |||||
Show CFNode Source # | |||||
Eq CFNode Source # | |||||
Ord CFNode Source # | |||||
type Rep CFNode Source # | |||||
Defined in ShellCheck.CFG type Rep CFNode = D1 ('MetaData "CFNode" "ShellCheck.CFG" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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)))))) |
Constructors
CFEErrExit | |
CFEFlow | |
CFEFalseFlow | |
CFEExit |
Instances
NFData CFEdge Source # | |||||
Defined in ShellCheck.CFG | |||||
Generic CFEdge Source # | |||||
Defined in ShellCheck.CFG Associated Types
| |||||
Show CFEdge Source # | |||||
Eq CFEdge Source # | |||||
Ord CFEdge Source # | |||||
type Rep CFEdge Source # | |||||
Defined in ShellCheck.CFG type Rep CFEdge = D1 ('MetaData "CFEdge" "ShellCheck.CFG" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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))) |
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
NFData CFEffect Source # | |||||
Defined in ShellCheck.CFG | |||||
Generic CFEffect Source # | |||||
Defined in ShellCheck.CFG Associated Types
| |||||
Show CFEffect Source # | |||||
Eq CFEffect Source # | |||||
Ord CFEffect Source # | |||||
type Rep CFEffect Source # | |||||
Defined in ShellCheck.CFG type Rep CFEffect = D1 ('MetaData "CFEffect" "ShellCheck.CFG" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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
NFData CFStringPart Source # | |||||
Defined in ShellCheck.CFG Methods rnf :: CFStringPart -> () | |||||
Generic CFStringPart Source # | |||||
Defined in ShellCheck.CFG Associated Types
| |||||
Show CFStringPart Source # | |||||
Defined in ShellCheck.CFG Methods showsPrec :: Int -> CFStringPart -> ShowS show :: CFStringPart -> String showList :: [CFStringPart] -> ShowS | |||||
Eq CFStringPart Source # | |||||
Defined in ShellCheck.CFG | |||||
Ord CFStringPart Source # | |||||
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 # | |||||
Defined in ShellCheck.CFG type Rep CFStringPart = D1 ('MetaData "CFStringPart" "ShellCheck.CFG" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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
NFData CFVariableProp Source # | |||||
Defined in ShellCheck.CFG Methods rnf :: CFVariableProp -> () | |||||
Generic CFVariableProp Source # | |||||
Defined in ShellCheck.CFG Associated Types
| |||||
Show CFVariableProp Source # | |||||
Defined in ShellCheck.CFG Methods showsPrec :: Int -> CFVariableProp -> ShowS show :: CFVariableProp -> String showList :: [CFVariableProp] -> ShowS | |||||
Eq CFVariableProp Source # | |||||
Defined in ShellCheck.CFG Methods (==) :: CFVariableProp -> CFVariableProp -> Bool (/=) :: CFVariableProp -> CFVariableProp -> Bool | |||||
Ord CFVariableProp Source # | |||||
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 # | |||||
Defined in ShellCheck.CFG type Rep CFVariableProp = D1 ('MetaData "CFVariableProp" "ShellCheck.CFG" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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))) |
Constructors
CFGResult | |
Fields
|
Constructors
CFValueUninitialized | |
CFValueArray | |
CFValueString | |
CFValueInteger | |
CFValueComputed Id [CFStringPart] |
Instances
NFData CFValue Source # | |||||
Defined in ShellCheck.CFG | |||||
Generic CFValue Source # | |||||
Defined in ShellCheck.CFG Associated Types
| |||||
Show CFValue Source # | |||||
Eq CFValue Source # | |||||
Ord CFValue Source # | |||||
type Rep CFValue Source # | |||||
Defined in ShellCheck.CFG type Rep CFValue = D1 ('MetaData "CFValue" "ShellCheck.CFG" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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 Source #
Constructors
CFGParameters | |
Fields
|
Instances
NFData a => NFData (IdTagged a) Source # | |||||
Defined in ShellCheck.CFG | |||||
Generic (IdTagged a) Source # | |||||
Defined in ShellCheck.CFG Associated Types
| |||||
Show a => Show (IdTagged a) Source # | |||||
Eq a => Eq (IdTagged a) Source # | |||||
Ord a => Ord (IdTagged a) Source # | |||||
type Rep (IdTagged a) Source # | |||||
Defined in ShellCheck.CFG type Rep (IdTagged a) = D1 ('MetaData "IdTagged" "ShellCheck.CFG" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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))) |
Constructors
GlobalScope | |
LocalScope | |
PrefixScope |
Instances
NFData Scope Source # | |||||
Defined in ShellCheck.CFG | |||||
Generic Scope Source # | |||||
Defined in ShellCheck.CFG Associated Types
| |||||
Show Scope Source # | |||||
Eq Scope Source # | |||||
Ord Scope Source # | |||||
type Rep Scope Source # | |||||
Defined in ShellCheck.CFG type Rep Scope = D1 ('MetaData "Scope" "ShellCheck.CFG" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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 #