Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
Instances
cblen :: forall a. KnownNat (CBLen a) => Int Source #
Reify a type's constant byte length to the term level.
Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
cblen :: forall a. KnownNat (CBLen a) => Int Source #
Reify a type's constant byte length to the term level.