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