Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Poke
s with type-level poke length.
Documentation
newtype PokeKnownLen (len :: Natural) s Source #
mappend' :: PokeKnownLen n s -> PokeKnownLen m s -> PokeKnownLen (n + m) s Source #
mempty' :: PokeKnownLen 0 s Source #
runPokeKnownLenBS :: forall n. KnownNat n => PokeKnownLen n RealWorld -> ByteString Source #