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