Data.Witness.Nat
Documentation
Instances
Is Nat n => Is Nat (Succ n) | |
HasListElement n r => HasListElement (Succ n) (a, r) |
witness-0.2: values that witness types
Data.Witness.Nat
Instances
Is Nat n => Is Nat (Succ n) | |
HasListElement n r => HasListElement (Succ n) (a, r) |