ShellCheck-0.8.0: Shell script analysis tool
Safe HaskellNone
LanguageHaskell98

ShellCheck.Interface

Documentation

data SystemInterface m #

Constructors

SystemInterface 

Fields

data CheckSpec #

Instances

Instances details
Eq CheckSpec # 
Instance details

Defined in ShellCheck.Interface

Show CheckSpec # 
Instance details

Defined in ShellCheck.Interface

data CheckResult #

Instances

Instances details
Eq CheckResult # 
Instance details

Defined in ShellCheck.Interface

Show CheckResult # 
Instance details

Defined in ShellCheck.Interface

data ParseSpec #

Instances

Instances details
Eq ParseSpec # 
Instance details

Defined in ShellCheck.Interface

Show ParseSpec # 
Instance details

Defined in ShellCheck.Interface

data ParseResult #

Instances

Instances details
Eq ParseResult # 
Instance details

Defined in ShellCheck.Interface

Show ParseResult # 
Instance details

Defined in ShellCheck.Interface

data Shell #

Constructors

Ksh 
Sh 
Bash 
Dash 

Instances

Instances details
Eq Shell # 
Instance details

Defined in ShellCheck.Interface

Methods

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

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

Show Shell # 
Instance details

Defined in ShellCheck.Interface

Methods

showsPrec :: Int -> Shell -> ShowS #

show :: Shell -> String #

showList :: [Shell] -> ShowS #

data ExecutionMode #

Constructors

Executed 
Sourced 

Instances

Instances details
Eq ExecutionMode # 
Instance details

Defined in ShellCheck.Interface

Show ExecutionMode # 
Instance details

Defined in ShellCheck.Interface

type Code = Integer #

data Severity #

Constructors

ErrorC 
WarningC 
InfoC 
StyleC 

Instances

Instances details
Eq Severity # 
Instance details

Defined in ShellCheck.Interface

Ord Severity # 
Instance details

Defined in ShellCheck.Interface

Show Severity # 
Instance details

Defined in ShellCheck.Interface

Generic Severity # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep Severity :: Type -> Type #

Methods

from :: Severity -> Rep Severity x #

to :: Rep Severity x -> Severity #

NFData Severity # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: Severity -> () #

type Rep Severity # 
Instance details

Defined in ShellCheck.Interface

type Rep Severity = D1 ('MetaData "Severity" "ShellCheck.Interface" "ShellCheck-0.8.0-JehEhxc7IcZCt8u8VDK0zH" '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
Eq Position # 
Instance details

Defined in ShellCheck.Interface

Ord Position # 
Instance details

Defined in ShellCheck.Interface

Show Position # 
Instance details

Defined in ShellCheck.Interface

Generic Position # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep Position :: Type -> Type #

Methods

from :: Position -> Rep Position x #

to :: Rep Position x -> Position #

NFData Position # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: Position -> () #

type Rep Position # 
Instance details

Defined in ShellCheck.Interface

type Rep Position = D1 ('MetaData "Position" "ShellCheck.Interface" "ShellCheck-0.8.0-JehEhxc7IcZCt8u8VDK0zH" '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
Eq Comment # 
Instance details

Defined in ShellCheck.Interface

Methods

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

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

Show Comment # 
Instance details

Defined in ShellCheck.Interface

Generic Comment # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep Comment :: Type -> Type #

Methods

from :: Comment -> Rep Comment x #

to :: Rep Comment x -> Comment #

NFData Comment # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: Comment -> () #

type Rep Comment # 
Instance details

Defined in ShellCheck.Interface

type Rep Comment = D1 ('MetaData "Comment" "ShellCheck.Interface" "ShellCheck-0.8.0-JehEhxc7IcZCt8u8VDK0zH" '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
Eq PositionedComment # 
Instance details

Defined in ShellCheck.Interface

Show PositionedComment # 
Instance details

Defined in ShellCheck.Interface

Generic PositionedComment # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep PositionedComment :: Type -> Type #

ToJSON PositionedComment # 
Instance details

Defined in ShellCheck.Formatter.JSON1

ToJSON PositionedComment # 
Instance details

Defined in ShellCheck.Formatter.JSON

NFData PositionedComment # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: PositionedComment -> () #

Ranged PositionedComment # 
Instance details

Defined in ShellCheck.Fixer

type Rep PositionedComment # 
Instance details

Defined in ShellCheck.Interface

type Rep PositionedComment = D1 ('MetaData "PositionedComment" "ShellCheck.Interface" "ShellCheck-0.8.0-JehEhxc7IcZCt8u8VDK0zH" '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
Eq TokenComment # 
Instance details

Defined in ShellCheck.Interface

Show TokenComment # 
Instance details

Defined in ShellCheck.Interface

Generic TokenComment # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep TokenComment :: Type -> Type #

NFData TokenComment # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: TokenComment -> () #

type Rep TokenComment # 
Instance details

Defined in ShellCheck.Interface

type Rep TokenComment = D1 ('MetaData "TokenComment" "ShellCheck.Interface" "ShellCheck-0.8.0-JehEhxc7IcZCt8u8VDK0zH" '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)))))

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

data Fix #

Instances

Instances details
Eq Fix # 
Instance details

Defined in ShellCheck.Interface

Methods

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

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

Show Fix # 
Instance details

Defined in ShellCheck.Interface

Methods

showsPrec :: Int -> Fix -> ShowS #

show :: Fix -> String #

showList :: [Fix] -> ShowS #

Generic Fix # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep Fix :: Type -> Type #

Methods

from :: Fix -> Rep Fix x #

to :: Rep Fix x -> Fix #

Semigroup Fix # 
Instance details

Defined in ShellCheck.Fixer

Methods

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

sconcat :: NonEmpty Fix -> Fix #

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

Monoid Fix # 
Instance details

Defined in ShellCheck.Fixer

Methods

mempty :: Fix #

mappend :: Fix -> Fix -> Fix #

mconcat :: [Fix] -> Fix #

ToJSON Fix # 
Instance details

Defined in ShellCheck.Formatter.JSON1

ToJSON Fix # 
Instance details

Defined in ShellCheck.Formatter.JSON

NFData Fix # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: Fix -> () #

type Rep Fix # 
Instance details

Defined in ShellCheck.Interface

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

data InsertionPoint #

Constructors

InsertBefore 
InsertAfter 

Instances

Instances details
Eq InsertionPoint # 
Instance details

Defined in ShellCheck.Interface

Show InsertionPoint # 
Instance details

Defined in ShellCheck.Interface

Generic InsertionPoint # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep InsertionPoint :: Type -> Type #

NFData InsertionPoint # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: InsertionPoint -> () #

type Rep InsertionPoint # 
Instance details

Defined in ShellCheck.Interface

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

data Replacement #

Instances

Instances details
Eq Replacement # 
Instance details

Defined in ShellCheck.Interface

Show Replacement # 
Instance details

Defined in ShellCheck.Interface

Generic Replacement # 
Instance details

Defined in ShellCheck.Interface

Associated Types

type Rep Replacement :: Type -> Type #

ToJSON Replacement # 
Instance details

Defined in ShellCheck.Formatter.JSON1

ToJSON Replacement # 
Instance details

Defined in ShellCheck.Formatter.JSON

NFData Replacement # 
Instance details

Defined in ShellCheck.Interface

Methods

rnf :: Replacement -> () #

Ranged Replacement # 
Instance details

Defined in ShellCheck.Fixer

type Rep Replacement # 
Instance details

Defined in ShellCheck.Interface

type Rep Replacement = D1 ('MetaData "Replacement" "ShellCheck.Interface" "ShellCheck-0.8.0-JehEhxc7IcZCt8u8VDK0zH" '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)))))