Crate pets

Predicate existential types.

Provides newtypes Pet and PetRef for providing predicate accepted values and references respectively.

Modules

preds

Provided implementations for common predicates.

prelude

Recommended prelude for this crate.

Structs

Pet

A value that is accepted by a given predicate.

PetRef

A reference to a value that is accepted by a given predicate.

Traits

Pred

A predicate over a single variable.

Pred2

A predicate over two variables.

PredExt

Convenience extension for Pred.