Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
PlutusCore.Flat.Encoder.Prim
Contents
Description
Encoding Primitives
Synopsis
- eBits16F ∷ NumBits → Word16 → Prim
- eBitsF ∷ NumBits → Word8 → Prim
- eFloatF ∷ Float → Prim
- eDoubleF ∷ Double → Prim
- eUTF16F ∷ Text → Prim
- eUTF8F ∷ Text → Prim
- eCharF ∷ Char → Prim
- eNaturalF ∷ Natural → Prim
- eIntegerF ∷ Integer → Prim
- eInt64F ∷ Int64 → Prim
- eInt32F ∷ Int32 → Prim
- eIntF ∷ Int → Prim
- eInt16F ∷ Int16 → Prim
- eInt8F ∷ Int8 → Prim
- eWordF ∷ Word → Prim
- eWord64F ∷ Word64 → Prim
- eWord32F ∷ Word32 → Prim
- eWord16F ∷ Word16 → Prim
- eBytesF ∷ ByteString → Prim
- eLazyBytesF ∷ ByteString → Prim
- eShortBytesF ∷ ShortByteString → Prim
- eWord8F ∷ Word8 → Prim
- eFillerF ∷ Prim
- eBoolF ∷ Bool → Prim
- eTrueF ∷ Prim
- eFalseF ∷ Prim
- varWordF ∷ (Bits t, Integral t) ⇒ t → Prim
- updateWord8 ∷ Word8 → S → Prim
- w7l ∷ (Bits t, Integral t) ⇒ t → [Word8]
- eWord32BEF ∷ Word32 → Prim
- eWord64BEF ∷ Word64 → Prim
- eWord32E ∷ (Word32 → Word32) → Word32 → Prim
- eWord64E ∷ (Word64 → Word64) → Word64 → Prim
Documentation
eBytesF ∷ ByteString → Prim Source #
eLazyBytesF ∷ ByteString → Prim Source #
Encode a Lazy ByteString
updateWord8 ∷ Word8 → S → Prim Source #
>>>
enc $ \s-> eWord8F 0 s >>= updateWord8 255 s
"11111111"
>>>
enc $ \s0 -> eTrueF s0 >>= \s1 -> eWord8F 255 s1 >>= eWord8F 255 >>= updateWord8 0 s1
"10000000 01111111 1"
>>>
enc $ \s0 -> eFalseF s0 >>= \s1 -> eWord8F 0 s1 >>= updateWord8 255 s1
"01111111 1"
>>>
enc $ \s0 -> eFalseF s0 >>= \s1 -> eWord8F 0 s1 >>= updateWord8 255 s1 >>= eFalseF
"01111111 10"
>>>
enc $ \s0 -> eTrueF s0 >>= \s1 -> eWord8F 255 s1 >>= eTrueF >>= updateWord8 0 s1 >>= eTrueF
"10000000 011"
Since: 0.5
Exported for testing only
eWord32BEF ∷ Word32 → Prim Source #
eWord64BEF ∷ Word64 → Prim Source #