PacketFlow.ADT.TypeConstraints (packetflow v0.1.0)

Type-level capability constraints for ADT validation

Summary

Functions

capability_constraint(capability, type)

Define type-level capability constraints

validate_capability_constraints()

Validate type-level constraints at compile time

Functions

capability_constraint(capability, type)

(macro)

Define type-level capability constraints

validate_capability_constraints()

(macro)

Validate type-level constraints at compile time