[−][src]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 |