hcobs-0.1.0.0: An implementation of the Consistent Overhead Byte Stuffing algorithm
Data.Stuffed.Internal
type IsByte a = (KnownNat a, IsByteLT a (CmpNat a 256) ~ True) Source #