Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Bytes.Builder.Bounded.Unsafe
Synopsis
Types
newtype Builder (a :: Nat) where #
A builder parameterized by the maximum number of bytes it uses when executed.
Constructors
Builder | |
Instances
ToBoundedBuilder (Builder n) # | Identity | ||||
Defined in Data.Bytes.Builder.Bounded.Class Associated Types
| |||||
type BoundedBuilderLength (Builder n) # | |||||
Defined in Data.Bytes.Builder.Bounded.Class |
Construct
construct :: forall (n :: Nat). (forall s. MutableByteArray s -> Int -> ST s Int) -> Builder n #
Constructor for Builder
that works on a function with lifted
arguments instead of unlifted ones. This is just as unsafe as the
actual constructor.