Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Bash.Cond

Description

Bash conditional commands.

Synopsis

data CondExpr a
- = Unary UnaryOp a
- | Binary a BinaryOp a
- | Not (CondExpr a)
- | And (CondExpr a) (CondExpr a)
- | Or (CondExpr a) (CondExpr a)
data UnaryOp
- = BlockFile
- | CharacterFile
- | Directory
- | FileExists
- | RegularFile
- | SetGID
- | Sticky
- | NamedPipe
- | Readable
- | FileSize
- | Terminal
- | SetUID
- | Writable
- | Executable
- | GroupOwned
- | SymbolicLink
- | Modified
- | UserOwned
- | Socket
- | Optname
- | Varname
- | ZeroString
- | NonzeroString
data BinaryOp
- = SameFile
- | NewerThan
- | OlderThan
- | StrMatch
- | StrEQ
- | StrNE
- | StrLT
- | StrGT
- | ArithEQ
- | ArithNE
- | ArithLT
- | ArithLE
- | ArithGT
- | ArithGE
parseTestExpr :: [String] -> Either ParseError (CondExpr String)

Documentation

data CondExpr a Source #

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

Instances details

Foldable CondExpr Source #
Instance details Defined in Language.Bash.Cond Methods fold :: Monoid m => CondExpr m -> m # foldMap :: Monoid m => (a -> m) -> CondExpr a -> 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 Source #
Instance details 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) #
Functor CondExpr Source #
Instance details Defined in Language.Bash.Cond Methods fmap :: (a -> b) -> CondExpr a -> CondExpr b # (<$) :: a -> CondExpr b -> CondExpr a #
Data a => Data (CondExpr a) Source #
Instance details 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 :: forall r r'. (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) #
Generic (CondExpr a) Source #
Instance details 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 #
Read a => Read (CondExpr a) Source #
Instance details 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) Source #
Instance details Defined in Language.Bash.Cond Methods showsPrec :: Int -> CondExpr a -> ShowS # show :: CondExpr a -> String # showList :: [CondExpr a] -> ShowS #
Eq a => Eq (CondExpr a) Source #
Instance details Defined in Language.Bash.Cond Methods (==) :: CondExpr a -> CondExpr a -> Bool # (/=) :: CondExpr a -> CondExpr a -> Bool #
Pretty a => Pretty (CondExpr a) Source #
Instance details Defined in Language.Bash.Cond Methods pretty :: CondExpr a -> Doc ann # prettyList :: [CondExpr a] -> Doc ann #
type Rep (CondExpr a) Source #
Instance details Defined in Language.Bash.Cond type Rep (CondExpr a) = D1 ('MetaData "CondExpr" "Language.Bash.Cond" "language-bash-0.11.1-inplace" '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 Source #

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

Instances details

Data UnaryOp Source #
Instance details 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 :: forall r r'. (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 #
Bounded UnaryOp Source #
Instance details Defined in Language.Bash.Cond Methods minBound :: UnaryOp # maxBound :: UnaryOp #
Enum UnaryOp Source #
Instance details 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] #
Generic UnaryOp Source #
Instance details Defined in Language.Bash.Cond Associated Types type Rep UnaryOp :: Type -> Type # Methods from :: UnaryOp -> Rep UnaryOp x # to :: Rep UnaryOp x -> UnaryOp #
Read UnaryOp Source #
Instance details Defined in Language.Bash.Cond Methods readsPrec :: Int -> ReadS UnaryOp # readList :: ReadS [UnaryOp] # readPrec :: ReadPrec UnaryOp # readListPrec :: ReadPrec [UnaryOp] #
Show UnaryOp Source #
Instance details Defined in Language.Bash.Cond Methods showsPrec :: Int -> UnaryOp -> ShowS # show :: UnaryOp -> String # showList :: [UnaryOp] -> ShowS #
Eq UnaryOp Source #
Instance details Defined in Language.Bash.Cond Methods (==) :: UnaryOp -> UnaryOp -> Bool # (/=) :: UnaryOp -> UnaryOp -> Bool #
Ord UnaryOp Source #
Instance details 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 #
Pretty UnaryOp Source #
Instance details Defined in Language.Bash.Cond Methods pretty :: UnaryOp -> Doc ann # prettyList :: [UnaryOp] -> Doc ann #
type Rep UnaryOp Source #
Instance details Defined in Language.Bash.Cond type Rep UnaryOp = D1 ('MetaData "UnaryOp" "Language.Bash.Cond" "language-bash-0.11.1-inplace" '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 Source #

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

Instances details

Data BinaryOp Source #
Instance details 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 :: forall r r'. (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 #
Bounded BinaryOp Source #
Instance details Defined in Language.Bash.Cond Methods minBound :: BinaryOp # maxBound :: BinaryOp #
Enum BinaryOp Source #
Instance details 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] #
Generic BinaryOp Source #
Instance details Defined in Language.Bash.Cond Associated Types type Rep BinaryOp :: Type -> Type # Methods from :: BinaryOp -> Rep BinaryOp x # to :: Rep BinaryOp x -> BinaryOp #
Read BinaryOp Source #
Instance details Defined in Language.Bash.Cond Methods readsPrec :: Int -> ReadS BinaryOp # readList :: ReadS [BinaryOp] # readPrec :: ReadPrec BinaryOp # readListPrec :: ReadPrec [BinaryOp] #
Show BinaryOp Source #
Instance details Defined in Language.Bash.Cond Methods showsPrec :: Int -> BinaryOp -> ShowS # show :: BinaryOp -> String # showList :: [BinaryOp] -> ShowS #
Eq BinaryOp Source #
Instance details Defined in Language.Bash.Cond Methods (==) :: BinaryOp -> BinaryOp -> Bool # (/=) :: BinaryOp -> BinaryOp -> Bool #
Ord BinaryOp Source #
Instance details 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 #
Pretty BinaryOp Source #
Instance details Defined in Language.Bash.Cond Methods pretty :: BinaryOp -> Doc ann # prettyList :: [BinaryOp] -> Doc ann #
type Rep BinaryOp Source #
Instance details Defined in Language.Bash.Cond type Rep BinaryOp = D1 ('MetaData "BinaryOp" "Language.Bash.Cond" "language-bash-0.11.1-inplace" '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) Source #

Parse a conditional expression for the Bash test builtin.