ShellCheck-0.10.0: Shell script analysis tool
Safe HaskellNone
LanguageHaskell98

ShellCheck.Interface

Documentation

data SystemInterface (m :: Type -> Type) #

Constructors

SystemInterface 

Fields

data CheckSpec #

Instances

Instances details
Show CheckSpec # 
Instance details

Defined in ShellCheck.Interface

Eq CheckSpec # 
Instance details

Defined in ShellCheck.Interface

data CheckResult #

Instances

Instances details
Show CheckResult # 
Instance details

Defined in ShellCheck.Interface

Eq CheckResult # 
Instance details

Defined in ShellCheck.Interface

data ParseSpec #

Instances

Instances details
Show ParseSpec # 
Instance details

Defined in ShellCheck.Interface

Eq ParseSpec # 
Instance details

Defined in ShellCheck.Interface

data ParseResult #

Instances

Instances details
Show ParseResult # 
Instance details

Defined in ShellCheck.Interface

Eq ParseResult # 
Instance details

Defined in ShellCheck.Interface

data Shell #

Constructors

Ksh 
Sh 
Bash 
Dash 
BusyboxSh 

Instances

Instances details
Show Shell # 
Instance details

Defined in ShellCheck.Interface

Methods

showsPrec :: Int -> Shell -> ShowS #

show :: Shell -> String #

showList :: [Shell] -> ShowS #

Eq Shell # 
Instance details

Defined in ShellCheck.Interface

Methods

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

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

data ExecutionMode #

Constructors

Executed 
Sourced 

Instances

Instances details
Show ExecutionMode # 
Instance details

Defined in ShellCheck.Interface

Eq ExecutionMode # 
Instance details

Defined in ShellCheck.Interface

type Code = Integer #

data Severity #

Constructors

ErrorC 
WarningC 
InfoC 
StyleC 

Instances

Instances details
Generic Severity # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep Severity 
Instance details

Defined in ShellCheck.Interface

type Rep Severity = D1 ('MetaData "Severity" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) ((C1 ('MetaCons "ErrorC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WarningC" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "InfoC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StyleC" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Severity -> Rep Severity x #

to :: Rep Severity x -> Severity #

Show Severity # 
Instance details

Defined in ShellCheck.Interface

NFData Severity # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: Severity -> () #

Eq Severity # 
Instance details

Defined in ShellCheck.Interface

Ord Severity # 
Instance details

Defined in ShellCheck.Interface

type Rep Severity # 
Instance details

Defined in ShellCheck.Interface

type Rep Severity = D1 ('MetaData "Severity" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) ((C1 ('MetaCons "ErrorC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WarningC" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "InfoC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StyleC" 'PrefixI 'False) (U1 :: Type -> Type)))

data Position #

Instances

Instances details
Generic Position # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep Position 
Instance details

Defined in ShellCheck.Interface

type Rep Position = D1 ('MetaData "Position" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) (C1 ('MetaCons "Position" 'PrefixI 'True) (S1 ('MetaSel ('Just "posFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "posLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "posColumn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))))

Methods

from :: Position -> Rep Position x #

to :: Rep Position x -> Position #

Show Position # 
Instance details

Defined in ShellCheck.Interface

NFData Position # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: Position -> () #

Eq Position # 
Instance details

Defined in ShellCheck.Interface

Ord Position # 
Instance details

Defined in ShellCheck.Interface

type Rep Position # 
Instance details

Defined in ShellCheck.Interface

type Rep Position = D1 ('MetaData "Position" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) (C1 ('MetaCons "Position" 'PrefixI 'True) (S1 ('MetaSel ('Just "posFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "posLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "posColumn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))))

data Comment #

Instances

Instances details
Generic Comment # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep Comment 
Instance details

Defined in ShellCheck.Interface

type Rep Comment = D1 ('MetaData "Comment" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) (C1 ('MetaCons "Comment" 'PrefixI 'True) (S1 ('MetaSel ('Just "cSeverity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Severity) :*: (S1 ('MetaSel ('Just "cCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Code) :*: S1 ('MetaSel ('Just "cMessage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

Methods

from :: Comment -> Rep Comment x #

to :: Rep Comment x -> Comment #

Show Comment # 
Instance details

Defined in ShellCheck.Interface

NFData Comment # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: Comment -> () #

Eq Comment # 
Instance details

Defined in ShellCheck.Interface

Methods

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

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

type Rep Comment # 
Instance details

Defined in ShellCheck.Interface

type Rep Comment = D1 ('MetaData "Comment" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) (C1 ('MetaCons "Comment" 'PrefixI 'True) (S1 ('MetaSel ('Just "cSeverity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Severity) :*: (S1 ('MetaSel ('Just "cCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Code) :*: S1 ('MetaSel ('Just "cMessage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

data PositionedComment #

Instances

Instances details
Ranged PositionedComment # 
Instance details

Defined in ShellCheck.Fixer

ToJSON PositionedComment # 
Instance details

Defined in ShellCheck.Formatter.JSON1

ToJSON PositionedComment # 
Instance details

Defined in ShellCheck.Formatter.JSON

Generic PositionedComment # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep PositionedComment 
Instance details

Defined in ShellCheck.Interface

type Rep PositionedComment = D1 ('MetaData "PositionedComment" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) (C1 ('MetaCons "PositionedComment" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pcStartPos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: S1 ('MetaSel ('Just "pcEndPos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position)) :*: (S1 ('MetaSel ('Just "pcComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment) :*: S1 ('MetaSel ('Just "pcFix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Fix)))))
Show PositionedComment # 
Instance details

Defined in ShellCheck.Interface

NFData PositionedComment # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: PositionedComment -> () #

Eq PositionedComment # 
Instance details

Defined in ShellCheck.Interface

type Rep PositionedComment # 
Instance details

Defined in ShellCheck.Interface

type Rep PositionedComment = D1 ('MetaData "PositionedComment" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) (C1 ('MetaCons "PositionedComment" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pcStartPos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: S1 ('MetaSel ('Just "pcEndPos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position)) :*: (S1 ('MetaSel ('Just "pcComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment) :*: S1 ('MetaSel ('Just "pcFix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Fix)))))

data TokenComment #

Instances

Instances details
Generic TokenComment # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep TokenComment 
Instance details

Defined in ShellCheck.Interface

type Rep TokenComment = D1 ('MetaData "TokenComment" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) (C1 ('MetaCons "TokenComment" 'PrefixI 'True) (S1 ('MetaSel ('Just "tcId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id) :*: (S1 ('MetaSel ('Just "tcComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment) :*: S1 ('MetaSel ('Just "tcFix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Fix)))))
Show TokenComment # 
Instance details

Defined in ShellCheck.Interface

NFData TokenComment # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: TokenComment -> () #

Eq TokenComment # 
Instance details

Defined in ShellCheck.Interface

type Rep TokenComment # 
Instance details

Defined in ShellCheck.Interface

type Rep TokenComment = D1 ('MetaData "TokenComment" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) (C1 ('MetaCons "TokenComment" 'PrefixI 'True) (S1 ('MetaSel ('Just "tcId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id) :*: (S1 ('MetaSel ('Just "tcComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comment) :*: S1 ('MetaSel ('Just "tcFix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Fix)))))

newSystemInterface :: forall (m :: Type -> Type). Monad m => SystemInterface m #

mockRcFile :: forall {m :: Type -> Type}. Monad m => String -> SystemInterface m -> SystemInterface m #

data Fix #

Instances

Instances details
ToJSON Fix # 
Instance details

Defined in ShellCheck.Formatter.JSON1

ToJSON Fix # 
Instance details

Defined in ShellCheck.Formatter.JSON

Monoid Fix # 
Instance details

Defined in ShellCheck.Fixer

Methods

mempty :: Fix #

mappend :: Fix -> Fix -> Fix #

mconcat :: [Fix] -> Fix #

Semigroup Fix # 
Instance details

Defined in ShellCheck.Fixer

Methods

(<>) :: Fix -> Fix -> Fix #

sconcat :: NonEmpty Fix -> Fix #

stimes :: Integral b => b -> Fix -> Fix #

Generic Fix # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep Fix 
Instance details

Defined in ShellCheck.Interface

type Rep Fix = D1 ('MetaData "Fix" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) (C1 ('MetaCons "Fix" 'PrefixI 'True) (S1 ('MetaSel ('Just "fixReplacements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Replacement])))

Methods

from :: Fix -> Rep Fix x #

to :: Rep Fix x -> Fix #

Show Fix # 
Instance details

Defined in ShellCheck.Interface

Methods

showsPrec :: Int -> Fix -> ShowS #

show :: Fix -> String #

showList :: [Fix] -> ShowS #

NFData Fix # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: Fix -> () #

Eq Fix # 
Instance details

Defined in ShellCheck.Interface

Methods

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

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

type Rep Fix # 
Instance details

Defined in ShellCheck.Interface

type Rep Fix = D1 ('MetaData "Fix" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) (C1 ('MetaCons "Fix" 'PrefixI 'True) (S1 ('MetaSel ('Just "fixReplacements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Replacement])))

data InsertionPoint #

Constructors

InsertBefore 
InsertAfter 

Instances

Instances details
Generic InsertionPoint # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep InsertionPoint 
Instance details

Defined in ShellCheck.Interface

type Rep InsertionPoint = D1 ('MetaData "InsertionPoint" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) (C1 ('MetaCons "InsertBefore" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InsertAfter" 'PrefixI 'False) (U1 :: Type -> Type))
Show InsertionPoint # 
Instance details

Defined in ShellCheck.Interface

NFData InsertionPoint # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: InsertionPoint -> () #

Eq InsertionPoint # 
Instance details

Defined in ShellCheck.Interface

type Rep InsertionPoint # 
Instance details

Defined in ShellCheck.Interface

type Rep InsertionPoint = D1 ('MetaData "InsertionPoint" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) (C1 ('MetaCons "InsertBefore" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InsertAfter" 'PrefixI 'False) (U1 :: Type -> Type))

data Replacement #

Instances

Instances details
Ranged Replacement # 
Instance details

Defined in ShellCheck.Fixer

ToJSON Replacement # 
Instance details

Defined in ShellCheck.Formatter.JSON1

ToJSON Replacement # 
Instance details

Defined in ShellCheck.Formatter.JSON

Generic Replacement # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep Replacement 
Instance details

Defined in ShellCheck.Interface

type Rep Replacement = D1 ('MetaData "Replacement" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) (C1 ('MetaCons "Replacement" 'PrefixI 'True) ((S1 ('MetaSel ('Just "repStartPos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: S1 ('MetaSel ('Just "repEndPos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position)) :*: (S1 ('MetaSel ('Just "repString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "repPrecedence") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "repInsertionPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InsertionPoint)))))
Show Replacement # 
Instance details

Defined in ShellCheck.Interface

NFData Replacement # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: Replacement -> () #

Eq Replacement # 
Instance details

Defined in ShellCheck.Interface

type Rep Replacement # 
Instance details

Defined in ShellCheck.Interface

type Rep Replacement = D1 ('MetaData "Replacement" "ShellCheck.Interface" "ShellCheck-0.10.0-KOt85a2KhfSecQMRZmXgI" 'False) (C1 ('MetaCons "Replacement" 'PrefixI 'True) ((S1 ('MetaSel ('Just "repStartPos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :*: S1 ('MetaSel ('Just "repEndPos") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position)) :*: (S1 ('MetaSel ('Just "repString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "repPrecedence") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "repInsertionPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InsertionPoint)))))