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

Generic (CondExpr a)

Defined in Language.Bash.Cond

Associated Types

type Rep (CondExpr a) :: Type -> Type

Methods

from :: CondExpr a -> Rep (CondExpr a) x

to :: Rep (CondExpr a) x -> CondExpr a

Pretty a => Pretty (CondExpr a)

Defined in Language.Bash.Cond

Methods

pretty :: CondExpr a -> Doc ann

prettyList :: [CondExpr a] -> Doc ann

type Rep (CondExpr a)

Defined in Language.Bash.Cond

type Rep (CondExpr a) = D1 (MetaData "CondExpr" "Language.Bash.Cond" "language-bash-0.9.2-7LQ9cF1Zv4R62KH6GXzHUN" False) ((C1 (MetaCons "Unary" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UnaryOp) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "Binary" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 BinaryOp) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))) :+: (C1 (MetaCons "Not" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CondExpr a))) :+: (C1 (MetaCons "And" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CondExpr a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CondExpr a))) :+: C1 (MetaCons "Or" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CondExpr a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (CondExpr a))))))

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

Generic UnaryOp

Defined in Language.Bash.Cond

Associated Types

type Rep UnaryOp :: Type -> Type

Methods

from :: UnaryOp -> Rep UnaryOp x

to :: Rep UnaryOp x -> UnaryOp

Pretty UnaryOp

Defined in Language.Bash.Cond

Methods

pretty :: UnaryOp -> Doc ann

prettyList :: [UnaryOp] -> Doc ann

type Rep UnaryOp

Defined in Language.Bash.Cond

type Rep UnaryOp = D1 (MetaData "UnaryOp" "Language.Bash.Cond" "language-bash-0.9.2-7LQ9cF1Zv4R62KH6GXzHUN" False) ((((C1 (MetaCons "BlockFile" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CharacterFile" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Directory" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "FileExists" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "RegularFile" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "SetGID" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Sticky" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NamedPipe" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "Readable" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "FileSize" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Terminal" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "SetUID" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Writable" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Executable" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "GroupOwned" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "SymbolicLink" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Modified" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "UserOwned" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Socket" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Optname" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "Varname" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ZeroString" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NonzeroString" PrefixI False) (U1 :: Type -> Type))))))

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

Generic BinaryOp

Defined in Language.Bash.Cond

Associated Types

type Rep BinaryOp :: Type -> Type

Methods

from :: BinaryOp -> Rep BinaryOp x

to :: Rep BinaryOp x -> BinaryOp

Pretty BinaryOp

Defined in Language.Bash.Cond

Methods

pretty :: BinaryOp -> Doc ann

prettyList :: [BinaryOp] -> Doc ann

type Rep BinaryOp

Defined in Language.Bash.Cond

type Rep BinaryOp = D1 (MetaData "BinaryOp" "Language.Bash.Cond" "language-bash-0.9.2-7LQ9cF1Zv4R62KH6GXzHUN" False) (((C1 (MetaCons "SameFile" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "NewerThan" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "OlderThan" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "StrMatch" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "StrEQ" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "StrNE" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "StrLT" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "StrGT" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ArithEQ" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ArithNE" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "ArithLT" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ArithLE" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ArithGT" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ArithGE" PrefixI False) (U1 :: Type -> Type)))))

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

Parse a conditional expression for the Bash test builtin.