Language.Bash.Cond

Bash conditional commands.

Documentation

data CondExpr a

Bash conditional expressions.

Constructors

Unary UnaryOp a

Binary a BinaryOp a

Not (CondExpr a)

And (CondExpr a) (CondExpr a)

Or (CondExpr a) (CondExpr a)

Instances

Functor CondExpr

Defined in Language.Bash.Cond

Methods

fmap :: (a -> b) -> CondExpr a -> CondExpr b

(<$) :: a -> CondExpr b -> CondExpr a

Foldable CondExpr

Defined in Language.Bash.Cond

Methods

fold :: Monoid m => CondExpr m -> m

foldMap :: Monoid m => (a -> m) -> CondExpr a -> m

foldr :: (a -> b -> b) -> b -> CondExpr a -> b

foldr' :: (a -> b -> b) -> b -> CondExpr a -> b

foldl :: (b -> a -> b) -> b -> CondExpr a -> b

foldl' :: (b -> a -> b) -> b -> CondExpr a -> b

foldr1 :: (a -> a -> a) -> CondExpr a -> a

foldl1 :: (a -> a -> a) -> CondExpr a -> a

toList :: CondExpr a -> [a]

null :: CondExpr a -> Bool

length :: CondExpr a -> Int

elem :: Eq a => a -> CondExpr a -> Bool

maximum :: Ord a => CondExpr a -> a

minimum :: Ord a => CondExpr a -> a

sum :: Num a => CondExpr a -> a

product :: Num a => CondExpr a -> a

Traversable CondExpr

Defined in Language.Bash.Cond

Methods

traverse :: Applicative f => (a -> f b) -> CondExpr a -> f (CondExpr b)

sequenceA :: Applicative f => CondExpr (f a) -> f (CondExpr a)

mapM :: Monad m => (a -> m b) -> CondExpr a -> m (CondExpr b)

sequence :: Monad m => CondExpr (m a) -> m (CondExpr a)

Eq a => Eq (CondExpr a)

Defined in Language.Bash.Cond

Methods

(==) :: CondExpr a -> CondExpr a -> Bool

(/=) :: CondExpr a -> CondExpr a -> Bool

Data a => Data (CondExpr a)

Defined in Language.Bash.Cond

Methods

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

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

toConstr :: CondExpr a -> Constr

dataTypeOf :: CondExpr a -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> CondExpr a -> CondExpr a

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

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

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

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

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

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

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

Read a => Read (CondExpr a)

Defined in Language.Bash.Cond

Methods

readsPrec :: Int -> ReadS (CondExpr a)

readList :: ReadS [CondExpr a]

readPrec :: ReadPrec (CondExpr a)

readListPrec :: ReadPrec [CondExpr a]

Show a => Show (CondExpr a)

Defined in Language.Bash.Cond

Methods

showsPrec :: Int -> CondExpr a -> ShowS

show :: CondExpr a -> String

showList :: [CondExpr a] -> ShowS

Pretty a => Pretty (CondExpr a)

Defined in Language.Bash.Cond

Methods

pretty :: CondExpr a -> Doc

prettyList :: [CondExpr a] -> Doc

data UnaryOp

Unary conditional operators.

Constructors

BlockFile

-b

CharacterFile

-c

Directory

-d

FileExists

-e, -a

RegularFile

-f

SetGID

-g

Sticky

-k

NamedPipe

-p

Readable

-r

FileSize

-s

Terminal

-t

SetUID

-u

Writable

-w

Executable

-x

GroupOwned

-G

SymbolicLink

-L, -h

Modified

-N

UserOwned

-O

Socket

-S

Optname

-o

Varname

-v

ZeroString

-z

NonzeroString

-n string or string

Instances

Bounded UnaryOp

Defined in Language.Bash.Cond

Methods

minBound :: UnaryOp

maxBound :: UnaryOp

Enum UnaryOp

Defined in Language.Bash.Cond

Methods

succ :: UnaryOp -> UnaryOp

pred :: UnaryOp -> UnaryOp

toEnum :: Int -> UnaryOp

fromEnum :: UnaryOp -> Int

enumFrom :: UnaryOp -> [UnaryOp]

enumFromThen :: UnaryOp -> UnaryOp -> [UnaryOp]

enumFromTo :: UnaryOp -> UnaryOp -> [UnaryOp]

enumFromThenTo :: UnaryOp -> UnaryOp -> UnaryOp -> [UnaryOp]

Eq UnaryOp

Defined in Language.Bash.Cond

Methods

(==) :: UnaryOp -> UnaryOp -> Bool

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

Data UnaryOp

Defined in Language.Bash.Cond

Methods

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

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

toConstr :: UnaryOp -> Constr

dataTypeOf :: UnaryOp -> DataType

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

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

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

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

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

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

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

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

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

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

Ord UnaryOp

Defined in Language.Bash.Cond

Methods

compare :: UnaryOp -> UnaryOp -> Ordering

(<) :: UnaryOp -> UnaryOp -> Bool

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

(>) :: UnaryOp -> UnaryOp -> Bool

(>=) :: UnaryOp -> UnaryOp -> Bool

max :: UnaryOp -> UnaryOp -> UnaryOp

min :: UnaryOp -> UnaryOp -> UnaryOp

Read UnaryOp

Defined in Language.Bash.Cond

Methods

readsPrec :: Int -> ReadS UnaryOp

readList :: ReadS [UnaryOp]

readPrec :: ReadPrec UnaryOp

readListPrec :: ReadPrec [UnaryOp]

Show UnaryOp

Defined in Language.Bash.Cond

Methods

showsPrec :: Int -> UnaryOp -> ShowS

show :: UnaryOp -> String

showList :: [UnaryOp] -> ShowS

Pretty UnaryOp

Defined in Language.Bash.Cond

Methods

pretty :: UnaryOp -> Doc

prettyList :: [UnaryOp] -> Doc

data BinaryOp

Binary conditional operators.

Constructors

SameFile

-ef

NewerThan

-nt

OlderThan

-ot

StrMatch

=~

StrEQ

==, =

StrNE

!=

StrLT

<

StrGT

>

ArithEQ

-eq

ArithNE

-ne

ArithLT

-lt

ArithLE

-le

ArithGT

-gt

ArithGE

-ge

Instances

Bounded BinaryOp

Defined in Language.Bash.Cond

Methods

minBound :: BinaryOp

maxBound :: BinaryOp

Enum BinaryOp

Defined in Language.Bash.Cond

Methods

succ :: BinaryOp -> BinaryOp

pred :: BinaryOp -> BinaryOp

toEnum :: Int -> BinaryOp

fromEnum :: BinaryOp -> Int

enumFrom :: BinaryOp -> [BinaryOp]

enumFromThen :: BinaryOp -> BinaryOp -> [BinaryOp]

enumFromTo :: BinaryOp -> BinaryOp -> [BinaryOp]

enumFromThenTo :: BinaryOp -> BinaryOp -> BinaryOp -> [BinaryOp]

Eq BinaryOp

Defined in Language.Bash.Cond

Methods

(==) :: BinaryOp -> BinaryOp -> Bool

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

Data BinaryOp

Defined in Language.Bash.Cond

Methods

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

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

toConstr :: BinaryOp -> Constr

dataTypeOf :: BinaryOp -> DataType

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

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

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

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

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

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

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

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

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

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

Ord BinaryOp

Defined in Language.Bash.Cond

Methods

compare :: BinaryOp -> BinaryOp -> Ordering

(<) :: BinaryOp -> BinaryOp -> Bool

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

(>) :: BinaryOp -> BinaryOp -> Bool

(>=) :: BinaryOp -> BinaryOp -> Bool

max :: BinaryOp -> BinaryOp -> BinaryOp

min :: BinaryOp -> BinaryOp -> BinaryOp

Read BinaryOp

Defined in Language.Bash.Cond

Methods

readsPrec :: Int -> ReadS BinaryOp

readList :: ReadS [BinaryOp]

readPrec :: ReadPrec BinaryOp

readListPrec :: ReadPrec [BinaryOp]

Show BinaryOp

Defined in Language.Bash.Cond

Methods

showsPrec :: Int -> BinaryOp -> ShowS

show :: BinaryOp -> String

showList :: [BinaryOp] -> ShowS

Pretty BinaryOp

Defined in Language.Bash.Cond

Methods

pretty :: BinaryOp -> Doc

prettyList :: [BinaryOp] -> Doc

parseTestExpr :: [String] -> Either ParseError (CondExpr String)

Parse a conditional expression for the Bash test builtin.