Redis.Glob.Internal

Provides types that model redis glob patterns and combinators that can be used to validate and interpret them.

Assumes that glob do not match the non-printable ASCII characters.

modelling Globs

data Part

Represents part of a valid redis glob pattern.

Constructors

Any

Many

GenerousMany

Unescaped Word8 [Word8]

Squared InSquare [InSquare]

Negated InSquare [InSquare]

Instances

Show Part

Defined in Redis.Glob.Internal

Methods

showsPrec :: Int -> Part -> ShowS

show :: Part -> String

showList :: [Part] -> ShowS

Eq Part

Defined in Redis.Glob.Internal

Methods

(==) :: Part -> Part -> Bool

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

data InSquare

Represents part of a valid redis glob pattern.

Constructors

Single Word8

InRange Word8 Word8

Instances

Show InSquare

Defined in Redis.Glob.Internal

Methods

showsPrec :: Int -> InSquare -> ShowS

show :: InSquare -> String

showList :: [InSquare] -> ShowS

Eq InSquare

Defined in Redis.Glob.Internal

Methods

(==) :: InSquare -> InSquare -> Bool

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

parse / print valid Globs

parseParts :: ByteString -> Maybe [Part]

Parse several Part from a glob pattern

parsePart :: ByteString -> Maybe Part

Parse a single Part from a glob pattern

fromParts :: [Part] -> ByteString

Convert several Parts to the form they can be parsed from.

fromPart :: Part -> ByteString

Convert a Part to the form it would be parsed from

useful combinators

reduceMany :: [Part] -> [Part]

Normalise parsed Parts

All but a terminating Many are replaced with GenerousMany; Consecutive Manys are replaced by a single GenerousMany

matchParts :: ByteString -> [Part] -> Bool

Confirm that a target ByteString matches the pattern provided as [Part].