Module distribution

“A -> B” represent A satisfies B x only as a required property x can used as both required x and provided property x ┌───┐ x┌──────┐ │Any◄─────────────────┤single│ └─▲─┘ x└──────┘ │ x │ x │ x ┌───┴────┐ x┌──────────┐ │AnyShard◄──────────────┤SomeShard │ └───▲────┘ x└──────────┘ │ x ┌───┴───────────┐ x┌──────────────┐ ┌──────────────┐ │ShardByKey(a,b)◄───┬───┤HashShard(a,b)│ │HashShard(b,a)│ └───▲──▲────────┘ │ x└──────────────┘ └┬─────────────┘ │ │ │ x │ │ │ └─────────────────────┘ │ │ x │ ┌┴────────────┐ x┌────────────┐ │ │ShardByKey(a)◄───┤HashShard(a)│ │ └─────────────┘ x└────────────┘ │ x ┌┴────────────┐ x┌────────────┐ │ShardByKey(b)◄──────┤HashShard(b)│ └─────────────┘ x└────────────┘ x x

Structs

• DistributionDisplay

Enums

• Distribution
  the distribution property provided by a operator.
• RequiredDist
  the distribution property requirement.