Language.Bash.Syntax

Shell script types.

Commands

data Command

A Bash command with redirections.

Constructors

Command ShellCommand [Redir]

Instances

Eq Command

Defined in Language.Bash.Syntax

Methods

(==) :: Command -> Command -> Bool

(/=) :: Command -> Command -> Bool

Data Command

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Command -> c Command

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Command

toConstr :: Command -> Constr

dataTypeOf :: Command -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Command)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Command)

gmapT :: (forall b. Data b => b -> b) -> Command -> Command

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Command -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Command -> r

gmapQ :: (forall d. Data d => d -> u) -> Command -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Command -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Command -> m Command

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Command -> m Command

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Command -> m Command

Read Command

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS Command

readList :: ReadS [Command]

readPrec :: ReadPrec Command

readListPrec :: ReadPrec [Command]

Show Command

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> Command -> ShowS

show :: Command -> String

showList :: [Command] -> ShowS

Generic Command

Defined in Language.Bash.Syntax

Associated Types

type Rep Command :: * -> *

Methods

from :: Command -> Rep Command x

to :: Rep Command x -> Command

Pretty Command

Defined in Language.Bash.Syntax

Methods

pretty :: Command -> Doc

prettyList :: [Command] -> Doc

type Rep Command

Defined in Language.Bash.Syntax

type Rep Command = D1 (MetaData "Command" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (C1 (MetaCons "Command" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ShellCommand) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Redir])))

data ShellCommand

A Bash command.

Constructors

SimpleCommand [Assign] [Word]

A simple command consisting of assignments followed by words.

AssignBuiltin Word [Either Assign Word]

The shell builtins declare, eval, export, local, readonly, and typeset can accept both assignments and words as arguments.

FunctionDef String List

A function name and definition.

Coproc String Command

A named coprocess.

Subshell List

A (...) list, denoting a subshell.

Group List

A {...} list.

Arith String

An arithmetic expression.

Cond (CondExpr Word)

A Bash [[...]] conditional expression.

For String WordList List

A for name in words command. If in words is absent, the word list defaults to "$@".

ArithFor String List

An arithmetic for ((...)) command.

Select String WordList List

A select name in words command. If in words is absent, the word list defaults to "$@".

Case Word [CaseClause]

A case command.

If List List (Maybe List)

An if command, with a predicate, consequent, and alternative. elif clauses are parsed as nested if statements.

Until List List

An until command.

While List List

A while command.

Instances

Eq ShellCommand

Defined in Language.Bash.Syntax

Methods

(==) :: ShellCommand -> ShellCommand -> Bool

(/=) :: ShellCommand -> ShellCommand -> Bool

Data ShellCommand

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ShellCommand -> c ShellCommand

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ShellCommand

toConstr :: ShellCommand -> Constr

dataTypeOf :: ShellCommand -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ShellCommand)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ShellCommand)

gmapT :: (forall b. Data b => b -> b) -> ShellCommand -> ShellCommand

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ShellCommand -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ShellCommand -> r

gmapQ :: (forall d. Data d => d -> u) -> ShellCommand -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ShellCommand -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ShellCommand -> m ShellCommand

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ShellCommand -> m ShellCommand

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ShellCommand -> m ShellCommand

Read ShellCommand

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS ShellCommand

readList :: ReadS [ShellCommand]

readPrec :: ReadPrec ShellCommand

readListPrec :: ReadPrec [ShellCommand]

Show ShellCommand

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> ShellCommand -> ShowS

show :: ShellCommand -> String

showList :: [ShellCommand] -> ShowS

Generic ShellCommand

Defined in Language.Bash.Syntax

Associated Types

type Rep ShellCommand :: * -> *

Methods

from :: ShellCommand -> Rep ShellCommand x

to :: Rep ShellCommand x -> ShellCommand

Pretty ShellCommand

Defined in Language.Bash.Syntax

Methods

pretty :: ShellCommand -> Doc

prettyList :: [ShellCommand] -> Doc

type Rep ShellCommand

Defined in Language.Bash.Syntax

type Rep ShellCommand = D1 (MetaData "ShellCommand" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (((C1 (MetaCons "SimpleCommand" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Assign]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Word])) :+: (C1 (MetaCons "AssignBuiltin" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Either Assign Word])) :+: C1 (MetaCons "FunctionDef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 List)))) :+: ((C1 (MetaCons "Coproc" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Command)) :+: C1 (MetaCons "Subshell" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 List))) :+: (C1 (MetaCons "Group" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 List)) :+: C1 (MetaCons "Arith" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))) :+: (((C1 (MetaCons "Cond" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CondExpr Word))) :+: C1 (MetaCons "For" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 WordList) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 List)))) :+: (C1 (MetaCons "ArithFor" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 List)) :+: C1 (MetaCons "Select" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 WordList) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 List))))) :+: ((C1 (MetaCons "Case" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [CaseClause])) :+: C1 (MetaCons "If" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 List) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 List) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe List))))) :+: (C1 (MetaCons "Until" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 List) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 List)) :+: C1 (MetaCons "While" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 List) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 List))))))

data WordList

A word list or "$@".

Constructors

Args

WordList [Word]

Instances

Eq WordList

Defined in Language.Bash.Syntax

Methods

(==) :: WordList -> WordList -> Bool

(/=) :: WordList -> WordList -> Bool

Data WordList

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WordList -> c WordList

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c WordList

toConstr :: WordList -> Constr

dataTypeOf :: WordList -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c WordList)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c WordList)

gmapT :: (forall b. Data b => b -> b) -> WordList -> WordList

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WordList -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WordList -> r

gmapQ :: (forall d. Data d => d -> u) -> WordList -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> WordList -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> WordList -> m WordList

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WordList -> m WordList

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WordList -> m WordList

Read WordList

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS WordList

readList :: ReadS [WordList]

readPrec :: ReadPrec WordList

readListPrec :: ReadPrec [WordList]

Show WordList

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> WordList -> ShowS

show :: WordList -> String

showList :: [WordList] -> ShowS

Generic WordList

Defined in Language.Bash.Syntax

Associated Types

type Rep WordList :: * -> *

Methods

from :: WordList -> Rep WordList x

to :: Rep WordList x -> WordList

Pretty WordList

Defined in Language.Bash.Syntax

Methods

pretty :: WordList -> Doc

prettyList :: [WordList] -> Doc

type Rep WordList

Defined in Language.Bash.Syntax

type Rep WordList = D1 (MetaData "WordList" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (C1 (MetaCons "Args" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "WordList" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Word])))

data CaseClause

A single case clause.

Constructors

CaseClause [Word] List CaseTerm

Instances

Eq CaseClause

Defined in Language.Bash.Syntax

Methods

(==) :: CaseClause -> CaseClause -> Bool

(/=) :: CaseClause -> CaseClause -> Bool

Data CaseClause

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CaseClause -> c CaseClause

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CaseClause

toConstr :: CaseClause -> Constr

dataTypeOf :: CaseClause -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CaseClause)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CaseClause)

gmapT :: (forall b. Data b => b -> b) -> CaseClause -> CaseClause

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CaseClause -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CaseClause -> r

gmapQ :: (forall d. Data d => d -> u) -> CaseClause -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CaseClause -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CaseClause -> m CaseClause

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CaseClause -> m CaseClause

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CaseClause -> m CaseClause

Read CaseClause

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS CaseClause

readList :: ReadS [CaseClause]

readPrec :: ReadPrec CaseClause

readListPrec :: ReadPrec [CaseClause]

Show CaseClause

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> CaseClause -> ShowS

show :: CaseClause -> String

showList :: [CaseClause] -> ShowS

Generic CaseClause

Defined in Language.Bash.Syntax

Associated Types

type Rep CaseClause :: * -> *

Methods

from :: CaseClause -> Rep CaseClause x

to :: Rep CaseClause x -> CaseClause

Pretty CaseClause

Defined in Language.Bash.Syntax

Methods

pretty :: CaseClause -> Doc

prettyList :: [CaseClause] -> Doc

type Rep CaseClause

Defined in Language.Bash.Syntax

type Rep CaseClause = D1 (MetaData "CaseClause" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (C1 (MetaCons "CaseClause" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Word]) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 List) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CaseTerm))))

data CaseTerm

A case clause terminator.

Constructors

Break

;;

FallThrough

;&

Continue

;;&

Instances

Bounded CaseTerm

Defined in Language.Bash.Syntax

Methods

minBound :: CaseTerm

maxBound :: CaseTerm

Enum CaseTerm

Defined in Language.Bash.Syntax

Methods

succ :: CaseTerm -> CaseTerm

pred :: CaseTerm -> CaseTerm

toEnum :: Int -> CaseTerm

fromEnum :: CaseTerm -> Int

enumFrom :: CaseTerm -> [CaseTerm]

enumFromThen :: CaseTerm -> CaseTerm -> [CaseTerm]

enumFromTo :: CaseTerm -> CaseTerm -> [CaseTerm]

enumFromThenTo :: CaseTerm -> CaseTerm -> CaseTerm -> [CaseTerm]

Eq CaseTerm

Defined in Language.Bash.Syntax

Methods

(==) :: CaseTerm -> CaseTerm -> Bool

(/=) :: CaseTerm -> CaseTerm -> Bool

Data CaseTerm

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CaseTerm -> c CaseTerm

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CaseTerm

toConstr :: CaseTerm -> Constr

dataTypeOf :: CaseTerm -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CaseTerm)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CaseTerm)

gmapT :: (forall b. Data b => b -> b) -> CaseTerm -> CaseTerm

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CaseTerm -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CaseTerm -> r

gmapQ :: (forall d. Data d => d -> u) -> CaseTerm -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CaseTerm -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CaseTerm -> m CaseTerm

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CaseTerm -> m CaseTerm

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CaseTerm -> m CaseTerm

Ord CaseTerm

Defined in Language.Bash.Syntax

Methods

compare :: CaseTerm -> CaseTerm -> Ordering

(<) :: CaseTerm -> CaseTerm -> Bool

(<=) :: CaseTerm -> CaseTerm -> Bool

(>) :: CaseTerm -> CaseTerm -> Bool

(>=) :: CaseTerm -> CaseTerm -> Bool

max :: CaseTerm -> CaseTerm -> CaseTerm

min :: CaseTerm -> CaseTerm -> CaseTerm

Read CaseTerm

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS CaseTerm

readList :: ReadS [CaseTerm]

readPrec :: ReadPrec CaseTerm

readListPrec :: ReadPrec [CaseTerm]

Show CaseTerm

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> CaseTerm -> ShowS

show :: CaseTerm -> String

showList :: [CaseTerm] -> ShowS

Generic CaseTerm

Defined in Language.Bash.Syntax

Associated Types

type Rep CaseTerm :: * -> *

Methods

from :: CaseTerm -> Rep CaseTerm x

to :: Rep CaseTerm x -> CaseTerm

Pretty CaseTerm

Defined in Language.Bash.Syntax

Methods

pretty :: CaseTerm -> Doc

prettyList :: [CaseTerm] -> Doc

type Rep CaseTerm

Defined in Language.Bash.Syntax

type Rep CaseTerm = D1 (MetaData "CaseTerm" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (C1 (MetaCons "Break" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "FallThrough" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Continue" PrefixI False) (U1 :: * -> *)))

Redirections

data Redir

A redirection.

Constructors

Redir

A redirection.

Fields

• redirDesc :: Maybe IODesc

  An optional file descriptor.

• redirOp :: RedirOp

  The redirection operator.

• redirTarget :: Word

  The redirection target.

Heredoc

A here document.

Fields

• heredocOp :: HeredocOp

  The here document operator.

• heredocDelim :: String

  The here document delimiter.

• heredocDelimQuoted :: Bool

  True if the delimiter was quoted.

• hereDocument :: Word

  The document itself, if the delimiter was quoted, no expansions are parsed. If the delimiter was not quoted, parameter, arithmetic and command substitutions take place.

Instances

Eq Redir

Defined in Language.Bash.Syntax

Methods

(==) :: Redir -> Redir -> Bool

(/=) :: Redir -> Redir -> Bool

Data Redir

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Redir -> c Redir

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Redir

toConstr :: Redir -> Constr

dataTypeOf :: Redir -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Redir)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Redir)

gmapT :: (forall b. Data b => b -> b) -> Redir -> Redir

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Redir -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Redir -> r

gmapQ :: (forall d. Data d => d -> u) -> Redir -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Redir -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Redir -> m Redir

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Redir -> m Redir

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Redir -> m Redir

Read Redir

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS Redir

readList :: ReadS [Redir]

readPrec :: ReadPrec Redir

readListPrec :: ReadPrec [Redir]

Show Redir

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> Redir -> ShowS

show :: Redir -> String

showList :: [Redir] -> ShowS

Generic Redir

Defined in Language.Bash.Syntax

Associated Types

type Rep Redir :: * -> *

Methods

from :: Redir -> Rep Redir x

to :: Rep Redir x -> Redir

Pretty Redir

Defined in Language.Bash.Syntax

Methods

pretty :: Redir -> Doc

prettyList :: [Redir] -> Doc

type Rep Redir

Defined in Language.Bash.Syntax

type Rep Redir = D1 (MetaData "Redir" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (C1 (MetaCons "Redir" PrefixI True) (S1 (MetaSel (Just "redirDesc") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe IODesc)) :*: (S1 (MetaSel (Just "redirOp") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RedirOp) :*: S1 (MetaSel (Just "redirTarget") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word))) :+: C1 (MetaCons "Heredoc" PrefixI True) ((S1 (MetaSel (Just "heredocOp") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeredocOp) :*: S1 (MetaSel (Just "heredocDelim") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :*: (S1 (MetaSel (Just "heredocDelimQuoted") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :*: S1 (MetaSel (Just "hereDocument") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word))))

data IODesc

A redirection file descriptor.

Constructors

IONumber Int

A file descriptor number.

IOVar String

A variable {varname} to allocate a file descriptor for.

Instances

Eq IODesc

Defined in Language.Bash.Syntax

Methods

(==) :: IODesc -> IODesc -> Bool

(/=) :: IODesc -> IODesc -> Bool

Data IODesc

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IODesc -> c IODesc

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IODesc

toConstr :: IODesc -> Constr

dataTypeOf :: IODesc -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IODesc)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IODesc)

gmapT :: (forall b. Data b => b -> b) -> IODesc -> IODesc

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IODesc -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IODesc -> r

gmapQ :: (forall d. Data d => d -> u) -> IODesc -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> IODesc -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> IODesc -> m IODesc

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IODesc -> m IODesc

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IODesc -> m IODesc

Read IODesc

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS IODesc

readList :: ReadS [IODesc]

readPrec :: ReadPrec IODesc

readListPrec :: ReadPrec [IODesc]

Show IODesc

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> IODesc -> ShowS

show :: IODesc -> String

showList :: [IODesc] -> ShowS

Generic IODesc

Defined in Language.Bash.Syntax

Associated Types

type Rep IODesc :: * -> *

Methods

from :: IODesc -> Rep IODesc x

to :: Rep IODesc x -> IODesc

Pretty IODesc

Defined in Language.Bash.Syntax

Methods

pretty :: IODesc -> Doc

prettyList :: [IODesc] -> Doc

type Rep IODesc

Defined in Language.Bash.Syntax

type Rep IODesc = D1 (MetaData "IODesc" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (C1 (MetaCons "IONumber" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "IOVar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

data RedirOp

A redirection operator.

Constructors

In

<

Out

>

OutOr

>|

Append

>>

AndOut

&>

AndAppend

&>>

HereString

<<<

InAnd

<&

OutAnd

>&

InOut

<>

Instances

Bounded RedirOp

Defined in Language.Bash.Syntax

Methods

minBound :: RedirOp

maxBound :: RedirOp

Enum RedirOp

Defined in Language.Bash.Syntax

Methods

succ :: RedirOp -> RedirOp

pred :: RedirOp -> RedirOp

toEnum :: Int -> RedirOp

fromEnum :: RedirOp -> Int

enumFrom :: RedirOp -> [RedirOp]

enumFromThen :: RedirOp -> RedirOp -> [RedirOp]

enumFromTo :: RedirOp -> RedirOp -> [RedirOp]

enumFromThenTo :: RedirOp -> RedirOp -> RedirOp -> [RedirOp]

Eq RedirOp

Defined in Language.Bash.Syntax

Methods

(==) :: RedirOp -> RedirOp -> Bool

(/=) :: RedirOp -> RedirOp -> Bool

Data RedirOp

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RedirOp -> c RedirOp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RedirOp

toConstr :: RedirOp -> Constr

dataTypeOf :: RedirOp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RedirOp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RedirOp)

gmapT :: (forall b. Data b => b -> b) -> RedirOp -> RedirOp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RedirOp -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RedirOp -> r

gmapQ :: (forall d. Data d => d -> u) -> RedirOp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RedirOp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RedirOp -> m RedirOp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RedirOp -> m RedirOp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RedirOp -> m RedirOp

Ord RedirOp

Defined in Language.Bash.Syntax

Methods

compare :: RedirOp -> RedirOp -> Ordering

(<) :: RedirOp -> RedirOp -> Bool

(<=) :: RedirOp -> RedirOp -> Bool

(>) :: RedirOp -> RedirOp -> Bool

(>=) :: RedirOp -> RedirOp -> Bool

max :: RedirOp -> RedirOp -> RedirOp

min :: RedirOp -> RedirOp -> RedirOp

Read RedirOp

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS RedirOp

readList :: ReadS [RedirOp]

readPrec :: ReadPrec RedirOp

readListPrec :: ReadPrec [RedirOp]

Show RedirOp

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> RedirOp -> ShowS

show :: RedirOp -> String

showList :: [RedirOp] -> ShowS

Generic RedirOp

Defined in Language.Bash.Syntax

Associated Types

type Rep RedirOp :: * -> *

Methods

from :: RedirOp -> Rep RedirOp x

to :: Rep RedirOp x -> RedirOp

Pretty RedirOp

Defined in Language.Bash.Syntax

Methods

pretty :: RedirOp -> Doc

prettyList :: [RedirOp] -> Doc

type Rep RedirOp

Defined in Language.Bash.Syntax

type Rep RedirOp = D1 (MetaData "RedirOp" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (((C1 (MetaCons "In" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Out" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "OutOr" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "Append" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "AndOut" PrefixI False) (U1 :: * -> *)))) :+: ((C1 (MetaCons "AndAppend" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "HereString" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "InAnd" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "OutAnd" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "InOut" PrefixI False) (U1 :: * -> *)))))

data HeredocOp

A here document operator.

Constructors

Here

<<

HereStrip

<<-

Instances

Bounded HeredocOp

Defined in Language.Bash.Syntax

Methods

minBound :: HeredocOp

maxBound :: HeredocOp

Enum HeredocOp

Defined in Language.Bash.Syntax

Methods

succ :: HeredocOp -> HeredocOp

pred :: HeredocOp -> HeredocOp

toEnum :: Int -> HeredocOp

fromEnum :: HeredocOp -> Int

enumFrom :: HeredocOp -> [HeredocOp]

enumFromThen :: HeredocOp -> HeredocOp -> [HeredocOp]

enumFromTo :: HeredocOp -> HeredocOp -> [HeredocOp]

enumFromThenTo :: HeredocOp -> HeredocOp -> HeredocOp -> [HeredocOp]

Eq HeredocOp

Defined in Language.Bash.Syntax

Methods

(==) :: HeredocOp -> HeredocOp -> Bool

(/=) :: HeredocOp -> HeredocOp -> Bool

Data HeredocOp

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HeredocOp -> c HeredocOp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HeredocOp

toConstr :: HeredocOp -> Constr

dataTypeOf :: HeredocOp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c HeredocOp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HeredocOp)

gmapT :: (forall b. Data b => b -> b) -> HeredocOp -> HeredocOp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HeredocOp -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HeredocOp -> r

gmapQ :: (forall d. Data d => d -> u) -> HeredocOp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> HeredocOp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> HeredocOp -> m HeredocOp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HeredocOp -> m HeredocOp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HeredocOp -> m HeredocOp

Ord HeredocOp

Defined in Language.Bash.Syntax

Methods

compare :: HeredocOp -> HeredocOp -> Ordering

(<) :: HeredocOp -> HeredocOp -> Bool

(<=) :: HeredocOp -> HeredocOp -> Bool

(>) :: HeredocOp -> HeredocOp -> Bool

(>=) :: HeredocOp -> HeredocOp -> Bool

max :: HeredocOp -> HeredocOp -> HeredocOp

min :: HeredocOp -> HeredocOp -> HeredocOp

Read HeredocOp

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS HeredocOp

readList :: ReadS [HeredocOp]

readPrec :: ReadPrec HeredocOp

readListPrec :: ReadPrec [HeredocOp]

Show HeredocOp

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> HeredocOp -> ShowS

show :: HeredocOp -> String

showList :: [HeredocOp] -> ShowS

Generic HeredocOp

Defined in Language.Bash.Syntax

Associated Types

type Rep HeredocOp :: * -> *

Methods

from :: HeredocOp -> Rep HeredocOp x

to :: Rep HeredocOp x -> HeredocOp

Pretty HeredocOp

Defined in Language.Bash.Syntax

Methods

pretty :: HeredocOp -> Doc

prettyList :: [HeredocOp] -> Doc

type Rep HeredocOp

Defined in Language.Bash.Syntax

type Rep HeredocOp = D1 (MetaData "HeredocOp" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (C1 (MetaCons "Here" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "HereStrip" PrefixI False) (U1 :: * -> *))

Lists

newtype List

A compound list of statements.

Constructors

List [Statement]

Instances

Eq List

Defined in Language.Bash.Syntax

Methods

(==) :: List -> List -> Bool

(/=) :: List -> List -> Bool

Data List

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> List -> c List

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c List

toConstr :: List -> Constr

dataTypeOf :: List -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c List)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c List)

gmapT :: (forall b. Data b => b -> b) -> List -> List

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> List -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> List -> r

gmapQ :: (forall d. Data d => d -> u) -> List -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> List -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> List -> m List

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> List -> m List

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> List -> m List

Read List

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS List

readList :: ReadS [List]

readPrec :: ReadPrec List

readListPrec :: ReadPrec [List]

Show List

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> List -> ShowS

show :: List -> String

showList :: [List] -> ShowS

Generic List

Defined in Language.Bash.Syntax

Associated Types

type Rep List :: * -> *

Methods

from :: List -> Rep List x

to :: Rep List x -> List

Pretty List

Defined in Language.Bash.Syntax

Methods

pretty :: List -> Doc

prettyList :: [List] -> Doc

type Rep List

Defined in Language.Bash.Syntax

type Rep List = D1 (MetaData "List" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" True) (C1 (MetaCons "List" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Statement])))

data Statement

A single statement in a list.

Constructors

Statement AndOr ListTerm

Instances

Eq Statement

Defined in Language.Bash.Syntax

Methods

(==) :: Statement -> Statement -> Bool

(/=) :: Statement -> Statement -> Bool

Data Statement

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Statement -> c Statement

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Statement

toConstr :: Statement -> Constr

dataTypeOf :: Statement -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Statement)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Statement)

gmapT :: (forall b. Data b => b -> b) -> Statement -> Statement

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Statement -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Statement -> r

gmapQ :: (forall d. Data d => d -> u) -> Statement -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Statement -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Statement -> m Statement

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement -> m Statement

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement -> m Statement

Read Statement

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS Statement

readList :: ReadS [Statement]

readPrec :: ReadPrec Statement

readListPrec :: ReadPrec [Statement]

Show Statement

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> Statement -> ShowS

show :: Statement -> String

showList :: [Statement] -> ShowS

Generic Statement

Defined in Language.Bash.Syntax

Associated Types

type Rep Statement :: * -> *

Methods

from :: Statement -> Rep Statement x

to :: Rep Statement x -> Statement

Pretty Statement

Defined in Language.Bash.Syntax

Methods

pretty :: Statement -> Doc

prettyList :: [Statement] -> Doc

type Rep Statement

Defined in Language.Bash.Syntax

type Rep Statement = D1 (MetaData "Statement" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (C1 (MetaCons "Statement" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AndOr) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ListTerm)))

data ListTerm

A statement terminator.

Constructors

Sequential

;

Asynchronous

&

Instances

Bounded ListTerm

Defined in Language.Bash.Syntax

Methods

minBound :: ListTerm

maxBound :: ListTerm

Enum ListTerm

Defined in Language.Bash.Syntax

Methods

succ :: ListTerm -> ListTerm

pred :: ListTerm -> ListTerm

toEnum :: Int -> ListTerm

fromEnum :: ListTerm -> Int

enumFrom :: ListTerm -> [ListTerm]

enumFromThen :: ListTerm -> ListTerm -> [ListTerm]

enumFromTo :: ListTerm -> ListTerm -> [ListTerm]

enumFromThenTo :: ListTerm -> ListTerm -> ListTerm -> [ListTerm]

Eq ListTerm

Defined in Language.Bash.Syntax

Methods

(==) :: ListTerm -> ListTerm -> Bool

(/=) :: ListTerm -> ListTerm -> Bool

Data ListTerm

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListTerm -> c ListTerm

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListTerm

toConstr :: ListTerm -> Constr

dataTypeOf :: ListTerm -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListTerm)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListTerm)

gmapT :: (forall b. Data b => b -> b) -> ListTerm -> ListTerm

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListTerm -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListTerm -> r

gmapQ :: (forall d. Data d => d -> u) -> ListTerm -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ListTerm -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListTerm -> m ListTerm

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListTerm -> m ListTerm

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListTerm -> m ListTerm

Ord ListTerm

Defined in Language.Bash.Syntax

Methods

compare :: ListTerm -> ListTerm -> Ordering

(<) :: ListTerm -> ListTerm -> Bool

(<=) :: ListTerm -> ListTerm -> Bool

(>) :: ListTerm -> ListTerm -> Bool

(>=) :: ListTerm -> ListTerm -> Bool

max :: ListTerm -> ListTerm -> ListTerm

min :: ListTerm -> ListTerm -> ListTerm

Read ListTerm

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS ListTerm

readList :: ReadS [ListTerm]

readPrec :: ReadPrec ListTerm

readListPrec :: ReadPrec [ListTerm]

Show ListTerm

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> ListTerm -> ShowS

show :: ListTerm -> String

showList :: [ListTerm] -> ShowS

Generic ListTerm

Defined in Language.Bash.Syntax

Associated Types

type Rep ListTerm :: * -> *

Methods

from :: ListTerm -> Rep ListTerm x

to :: Rep ListTerm x -> ListTerm

Pretty ListTerm

Defined in Language.Bash.Syntax

Methods

pretty :: ListTerm -> Doc

prettyList :: [ListTerm] -> Doc

type Rep ListTerm

Defined in Language.Bash.Syntax

type Rep ListTerm = D1 (MetaData "ListTerm" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (C1 (MetaCons "Sequential" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Asynchronous" PrefixI False) (U1 :: * -> *))

data AndOr

A right-associative list of pipelines.

Constructors

Last Pipeline

The last pipeline of a list.

And Pipeline AndOr

A && construct.

Or Pipeline AndOr

A || construct.

Instances

Eq AndOr

Defined in Language.Bash.Syntax

Methods

(==) :: AndOr -> AndOr -> Bool

(/=) :: AndOr -> AndOr -> Bool

Data AndOr

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AndOr -> c AndOr

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AndOr

toConstr :: AndOr -> Constr

dataTypeOf :: AndOr -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AndOr)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AndOr)

gmapT :: (forall b. Data b => b -> b) -> AndOr -> AndOr

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AndOr -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AndOr -> r

gmapQ :: (forall d. Data d => d -> u) -> AndOr -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AndOr -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AndOr -> m AndOr

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AndOr -> m AndOr

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AndOr -> m AndOr

Read AndOr

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS AndOr

readList :: ReadS [AndOr]

readPrec :: ReadPrec AndOr

readListPrec :: ReadPrec [AndOr]

Show AndOr

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> AndOr -> ShowS

show :: AndOr -> String

showList :: [AndOr] -> ShowS

Generic AndOr

Defined in Language.Bash.Syntax

Associated Types

type Rep AndOr :: * -> *

Methods

from :: AndOr -> Rep AndOr x

to :: Rep AndOr x -> AndOr

Pretty AndOr

Defined in Language.Bash.Syntax

Methods

pretty :: AndOr -> Doc

prettyList :: [AndOr] -> Doc

type Rep AndOr

Defined in Language.Bash.Syntax

type Rep AndOr = D1 (MetaData "AndOr" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (C1 (MetaCons "Last" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Pipeline)) :+: (C1 (MetaCons "And" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Pipeline) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AndOr)) :+: C1 (MetaCons "Or" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Pipeline) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AndOr))))

data Pipeline

A (possibly timed or inverted) pipeline, linked with | or |&.

Constructors

Pipeline

Fields

• timed :: Bool

  True if the pipeline is timed with time.

• timedPosix :: Bool

  True if the pipeline is timed with the -p flag.

• inverted :: Bool

  True if the pipeline is inverted with !.

• commands :: [Command]

  A list of commands, separated by |, or |&. command1 |& command2 is treated as a shorthand for command1 2>&1 | command2.

Instances

Eq Pipeline

Defined in Language.Bash.Syntax

Methods

(==) :: Pipeline -> Pipeline -> Bool

(/=) :: Pipeline -> Pipeline -> Bool

Data Pipeline

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pipeline -> c Pipeline

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pipeline

toConstr :: Pipeline -> Constr

dataTypeOf :: Pipeline -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pipeline)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pipeline)

gmapT :: (forall b. Data b => b -> b) -> Pipeline -> Pipeline

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pipeline -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pipeline -> r

gmapQ :: (forall d. Data d => d -> u) -> Pipeline -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pipeline -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pipeline -> m Pipeline

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pipeline -> m Pipeline

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pipeline -> m Pipeline

Read Pipeline

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS Pipeline

readList :: ReadS [Pipeline]

readPrec :: ReadPrec Pipeline

readListPrec :: ReadPrec [Pipeline]

Show Pipeline

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> Pipeline -> ShowS

show :: Pipeline -> String

showList :: [Pipeline] -> ShowS

Generic Pipeline

Defined in Language.Bash.Syntax

Associated Types

type Rep Pipeline :: * -> *

Methods

from :: Pipeline -> Rep Pipeline x

to :: Rep Pipeline x -> Pipeline

Pretty Pipeline

Defined in Language.Bash.Syntax

Methods

pretty :: Pipeline -> Doc

prettyList :: [Pipeline] -> Doc

type Rep Pipeline

Defined in Language.Bash.Syntax

type Rep Pipeline = D1 (MetaData "Pipeline" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (C1 (MetaCons "Pipeline" PrefixI True) ((S1 (MetaSel (Just "timed") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :*: S1 (MetaSel (Just "timedPosix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :*: (S1 (MetaSel (Just "inverted") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :*: S1 (MetaSel (Just "commands") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Command]))))

Assignments

data Assign

An assignment.

Constructors

Assign Parameter AssignOp RValue

Instances

Eq Assign

Defined in Language.Bash.Syntax

Methods

(==) :: Assign -> Assign -> Bool

(/=) :: Assign -> Assign -> Bool

Data Assign

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Assign -> c Assign

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Assign

toConstr :: Assign -> Constr

dataTypeOf :: Assign -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Assign)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Assign)

gmapT :: (forall b. Data b => b -> b) -> Assign -> Assign

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Assign -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Assign -> r

gmapQ :: (forall d. Data d => d -> u) -> Assign -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Assign -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Assign -> m Assign

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Assign -> m Assign

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Assign -> m Assign

Read Assign

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS Assign

readList :: ReadS [Assign]

readPrec :: ReadPrec Assign

readListPrec :: ReadPrec [Assign]

Show Assign

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> Assign -> ShowS

show :: Assign -> String

showList :: [Assign] -> ShowS

Generic Assign

Defined in Language.Bash.Syntax

Associated Types

type Rep Assign :: * -> *

Methods

from :: Assign -> Rep Assign x

to :: Rep Assign x -> Assign

Pretty Assign

Defined in Language.Bash.Syntax

Methods

pretty :: Assign -> Doc

prettyList :: [Assign] -> Doc

type Rep Assign

Defined in Language.Bash.Syntax

type Rep Assign = D1 (MetaData "Assign" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (C1 (MetaCons "Assign" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Parameter) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AssignOp) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RValue))))

data AssignOp

An assignment operator.

Constructors

Equals

=

PlusEquals

+=

Instances

Bounded AssignOp

Defined in Language.Bash.Syntax

Methods

minBound :: AssignOp

maxBound :: AssignOp

Enum AssignOp

Defined in Language.Bash.Syntax

Methods

succ :: AssignOp -> AssignOp

pred :: AssignOp -> AssignOp

toEnum :: Int -> AssignOp

fromEnum :: AssignOp -> Int

enumFrom :: AssignOp -> [AssignOp]

enumFromThen :: AssignOp -> AssignOp -> [AssignOp]

enumFromTo :: AssignOp -> AssignOp -> [AssignOp]

enumFromThenTo :: AssignOp -> AssignOp -> AssignOp -> [AssignOp]

Eq AssignOp

Defined in Language.Bash.Syntax

Methods

(==) :: AssignOp -> AssignOp -> Bool

(/=) :: AssignOp -> AssignOp -> Bool

Data AssignOp

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AssignOp -> c AssignOp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AssignOp

toConstr :: AssignOp -> Constr

dataTypeOf :: AssignOp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AssignOp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AssignOp)

gmapT :: (forall b. Data b => b -> b) -> AssignOp -> AssignOp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AssignOp -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AssignOp -> r

gmapQ :: (forall d. Data d => d -> u) -> AssignOp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AssignOp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AssignOp -> m AssignOp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AssignOp -> m AssignOp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AssignOp -> m AssignOp

Ord AssignOp

Defined in Language.Bash.Syntax

Methods

compare :: AssignOp -> AssignOp -> Ordering

(<) :: AssignOp -> AssignOp -> Bool

(<=) :: AssignOp -> AssignOp -> Bool

(>) :: AssignOp -> AssignOp -> Bool

(>=) :: AssignOp -> AssignOp -> Bool

max :: AssignOp -> AssignOp -> AssignOp

min :: AssignOp -> AssignOp -> AssignOp

Read AssignOp

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS AssignOp

readList :: ReadS [AssignOp]

readPrec :: ReadPrec AssignOp

readListPrec :: ReadPrec [AssignOp]

Show AssignOp

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> AssignOp -> ShowS

show :: AssignOp -> String

showList :: [AssignOp] -> ShowS

Generic AssignOp

Defined in Language.Bash.Syntax

Associated Types

type Rep AssignOp :: * -> *

Methods

from :: AssignOp -> Rep AssignOp x

to :: Rep AssignOp x -> AssignOp

Pretty AssignOp

Defined in Language.Bash.Syntax

Methods

pretty :: AssignOp -> Doc

prettyList :: [AssignOp] -> Doc

type Rep AssignOp

Defined in Language.Bash.Syntax

type Rep AssignOp = D1 (MetaData "AssignOp" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (C1 (MetaCons "Equals" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "PlusEquals" PrefixI False) (U1 :: * -> *))

data RValue

The right side of an assignment.

Constructors

RValue Word

A simple word.

RArray [(Maybe Word, Word)]

An array assignment, as (subscript, word) pairs.

Instances

Eq RValue

Defined in Language.Bash.Syntax

Methods

(==) :: RValue -> RValue -> Bool

(/=) :: RValue -> RValue -> Bool

Data RValue

Defined in Language.Bash.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RValue -> c RValue

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RValue

toConstr :: RValue -> Constr

dataTypeOf :: RValue -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RValue)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RValue)

gmapT :: (forall b. Data b => b -> b) -> RValue -> RValue

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RValue -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RValue -> r

gmapQ :: (forall d. Data d => d -> u) -> RValue -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RValue -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RValue -> m RValue

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RValue -> m RValue

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RValue -> m RValue

Read RValue

Defined in Language.Bash.Syntax

Methods

readsPrec :: Int -> ReadS RValue

readList :: ReadS [RValue]

readPrec :: ReadPrec RValue

readListPrec :: ReadPrec [RValue]

Show RValue

Defined in Language.Bash.Syntax

Methods

showsPrec :: Int -> RValue -> ShowS

show :: RValue -> String

showList :: [RValue] -> ShowS

Generic RValue

Defined in Language.Bash.Syntax

Associated Types

type Rep RValue :: * -> *

Methods

from :: RValue -> Rep RValue x

to :: Rep RValue x -> RValue

Pretty RValue

Defined in Language.Bash.Syntax

Methods

pretty :: RValue -> Doc

prettyList :: [RValue] -> Doc

type Rep RValue

Defined in Language.Bash.Syntax

type Rep RValue = D1 (MetaData "RValue" "Language.Bash.Syntax" "language-bash-0.8.0-Laf0XeX753qAQYqu5TsBj5" False) (C1 (MetaCons "RValue" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word)) :+: C1 (MetaCons "RArray" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Maybe Word, Word)])))