System.Rpm.Combinators

System.Rpm.Combinators provides a mechanism for comparing attributes of an Rpm against some sort of specification.

Documentation

type Rpm a = RpmInfo -> a

type RpmP = Rpm Bool

A predicate type that takes an RpmInfo datatype and returns a value of Bool depending on its evaluation.

zeroP

Arguments

:: RpmP

The constant combinator that always returns False when run.

The zeroP combinator, much like the oneP combinator, is more for completeness than anything.

oneP

Arguments

:: RpmP

The constant combinator that always returns False when run.

notP

Arguments

:: RpmP

Predicate to negate

-> RpmP

Negated predicate

notP is used to negate its RpmP when run.

(.==.)

Arguments

:: Eq a

=> Rpm a

Some field of RpmInfo

-> a

The value to check equality against

-> RpmP

(./=.) :: Eq a => Rpm a -> a -> RpmP

(.<=.) :: Ord a => Rpm a -> a -> RpmP

(.<.) :: Ord a => Rpm a -> a -> RpmP

(.>=.) :: Ord a => Rpm a -> a -> RpmP

(.>.) :: Ord a => Rpm a -> a -> RpmP

(.&&.) :: RpmP -> RpmP -> RpmP

This is a logical combinator used for constructing more complex sequences of combinators by requiring both predicates to be true.

(.||.) :: RpmP -> RpmP -> RpmP

This is a logical combinator used for constructing more complex sequences of combinators by requiring one of the predicates to be true.

Example: Common Uses