Module paxakos::applicable [−][src]
Expand description
Defines the ApplicableTo trait and related types.
Structs
The identity projection.
Traits
Describes values that may be applied to type S.
A projection from T to Self::Projected.
Type Definitions
Shorthand to extract Projected type out of A as ApplicableTo<S>.
Shorthand to extract Projection type out of A as ApplicableTo<S>.