Safe Haskell	Safe-Inferred

Language.Bash.Syntax

Contents

Commands
Redirections
Lists
Assignments

Description

Shell script types.

Synopsis

Commands

data Command Source

A Bash command with redirections.

Constructors

Command ShellCommand [Redir]

Instances

Eq Command
Read Command
Show Command
Pretty Command

data ShellCommand Source

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 Word [Word] List	A `for word in words` command. If `in words` is absent, the word list defaults to `"$@"`.
ArithFor String List	An arithmetic `for ((...))` command.
Select Word [Word] List	A `select word 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
Read ShellCommand
Show ShellCommand
Pretty ShellCommand

data CaseClause Source

A single case clause.

Constructors

CaseClause [Word] List CaseTerm

Instances

Eq CaseClause
Read CaseClause
Show CaseClause
Pretty CaseClause

data CaseTerm Source

A case clause terminator.

Constructors

Break	;;
FallThrough	;&
Continue	;;&

Instances

Bounded CaseTerm
Enum CaseTerm
Eq CaseTerm
Ord CaseTerm
Read CaseTerm
Show CaseTerm
Pretty CaseTerm

Redirections

data Redir Source

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
Read Redir
Show Redir
Pretty Redir

data IODesc Source

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
Read IODesc
Show IODesc
Pretty IODesc

data RedirOp Source

A redirection operator.

Constructors

In	<
Out	>
OutOr	>\|
Append	>>
AndOut	&>
AndAppend	&>>
HereString	<<<
InAnd	<&
OutAnd	>&
InOut	<>

Instances

Bounded RedirOp
Enum RedirOp
Eq RedirOp
Ord RedirOp
Read RedirOp
Show RedirOp
Pretty RedirOp

data HeredocOp Source

A here document operator.

Constructors

Here	<<
HereStrip	<<-

Instances

Bounded HeredocOp
Enum HeredocOp
Eq HeredocOp
Ord HeredocOp
Read HeredocOp
Show HeredocOp
Pretty HeredocOp

Lists

newtype List Source

A compound list of statements.

Constructors

List [Statement]

Instances

Eq List
Read List
Show List
Pretty List

data Statement Source

A single statement in a list.

Constructors

Statement AndOr ListTerm

Instances

Eq Statement
Read Statement
Show Statement
Pretty Statement

data ListTerm Source

A statement terminator.

Constructors

Sequential	;
Asynchronous	&

Instances

Bounded ListTerm
Enum ListTerm
Eq ListTerm
Ord ListTerm
Read ListTerm
Show ListTerm
Pretty ListTerm

data AndOr Source

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
Read AndOr
Show AndOr
Pretty AndOr

data Pipeline Source

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
Read Pipeline
Show Pipeline
Pretty Pipeline

Assignments

data Assign Source

An assignment.

Constructors

Assign Parameter AssignOp RValue

Instances

Eq Assign
Read Assign
Show Assign
Pretty Assign

data AssignOp Source

An assignment operator.

Constructors

Equals	=
PlusEquals	+=

Instances

Bounded AssignOp
Enum AssignOp
Eq AssignOp
Ord AssignOp
Read AssignOp
Show AssignOp
Pretty AssignOp

data RValue Source

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
Read RValue
Show RValue
Pretty RValue