| Safe Haskell | Safe-Inferred |
|---|---|
| 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
| Generic CFNode Source # | |
| Show CFNode Source # | |
| NFData CFNode Source # | |
Defined in ShellCheck.CFG | |
| 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-L1AbwBulp5yHwUK1cJl3jY" '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
| Generic CFEdge Source # | |
| Show CFEdge Source # | |
| NFData CFEdge Source # | |
Defined in ShellCheck.CFG | |
| 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-L1AbwBulp5yHwUK1cJl3jY" '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
| Generic CFEffect Source # | |
| Show CFEffect Source # | |
| NFData CFEffect Source # | |
Defined in ShellCheck.CFG | |
| 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-L1AbwBulp5yHwUK1cJl3jY" '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
| Generic CFStringPart Source # | |
Defined in ShellCheck.CFG Associated Types type Rep CFStringPart :: Type -> Type | |
| Show CFStringPart Source # | |
Defined in ShellCheck.CFG Methods showsPrec :: Int -> CFStringPart -> ShowS show :: CFStringPart -> String showList :: [CFStringPart] -> ShowS | |
| NFData CFStringPart Source # | |
Defined in ShellCheck.CFG Methods rnf :: CFStringPart -> () | |
| 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-L1AbwBulp5yHwUK1cJl3jY" '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
| Generic CFVariableProp Source # | |
Defined in ShellCheck.CFG Associated Types type Rep CFVariableProp :: Type -> Type | |
| Show CFVariableProp Source # | |
Defined in ShellCheck.CFG Methods showsPrec :: Int -> CFVariableProp -> ShowS show :: CFVariableProp -> String showList :: [CFVariableProp] -> ShowS | |
| NFData CFVariableProp Source # | |
Defined in ShellCheck.CFG Methods rnf :: CFVariableProp -> () | |
| 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-L1AbwBulp5yHwUK1cJl3jY" '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
| Generic CFValue Source # | |
| Show CFValue Source # | |
| NFData CFValue Source # | |
Defined in ShellCheck.CFG | |
| 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-L1AbwBulp5yHwUK1cJl3jY" '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
| Generic (IdTagged a) Source # | |
| Show a => Show (IdTagged a) Source # | |
| NFData a => NFData (IdTagged a) Source # | |
Defined in ShellCheck.CFG | |
| 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-L1AbwBulp5yHwUK1cJl3jY" '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
| Generic Scope Source # | |
| Show Scope Source # | |
| NFData Scope Source # | |
Defined in ShellCheck.CFG | |
| 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-L1AbwBulp5yHwUK1cJl3jY" '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 #