| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Flat.Encoder
Description
Encoder and encoding primitives
Synopsis
- data Encoding
- (<>) :: Semigroup a => a -> a -> a
- type NumBits = Int
- encodersS :: [Encoding] -> Encoding
- mempty :: Monoid a => a
- strictEncoder :: NumBits -> Encoding -> ByteString
- eTrueF :: Prim
- eFalseF :: Prim
- eFloat :: Float -> Encoding
- eDouble :: Double -> Encoding
- eInteger :: Integer -> Encoding
- eNatural :: Natural -> Encoding
- eWord16 :: Word16 -> Encoding
- eWord32 :: Word32 -> Encoding
- eWord64 :: Word64 -> Encoding
- eWord8 :: Word8 -> Encoding
- eBits :: NumBits -> Word8 -> Encoding
- eBits16 :: NumBits -> Word16 -> Encoding
- eFiller :: Encoding
- eBool :: Bool -> Encoding
- eTrue :: Encoding
- eFalse :: Encoding
- eBytes :: ByteString -> Encoding
- eUTF16 :: Text -> Encoding
- eLazyBytes :: ByteString -> Encoding
- eShortBytes :: ShortByteString -> Encoding
- eInt :: Int -> Encoding
- eInt8 :: Int8 -> Encoding
- eInt16 :: Int16 -> Encoding
- eInt32 :: Int32 -> Encoding
- eInt64 :: Int64 -> Encoding
- eWord :: Word -> Encoding
- eChar :: Char -> Encoding
- encodeArrayWith :: (t -> Encoding) -> [t] -> Encoding
- encodeListWith :: (t -> Encoding) -> [t] -> Encoding
- type Size a = a -> NumBits -> NumBits
- arrayBits :: Int -> NumBits
- sWord :: Size Word
- sWord8 :: Size Word8
- sWord16 :: Size Word16
- sWord32 :: Size Word32
- sWord64 :: Size Word64
- sInt :: Size Int
- sInt8 :: Size Int8
- sInt16 :: Size Int16
- sInt32 :: Size Int32
- sInt64 :: Size Int64
- sNatural :: Size Natural
- sInteger :: Size Integer
- sFloat :: Size Float
- sDouble :: Size Double
- sChar :: Size Char
- sBytes :: Size ByteString
- sLazyBytes :: Size ByteString
- sShortBytes :: Size ShortByteString
- sUTF16 :: Size Text
- sFillerMax :: Size a
- sBool :: Size Bool
- sUTF8Max :: Size Text
- eUTF8 :: Text -> Encoding
Documentation
(<>) :: Semigroup a => a -> a -> a infixr 6 #
An associative operation.
Examples
>>>[1,2,3] <> [4,5,6][1,2,3,4,5,6]
>>>Just [1, 2, 3] <> Just [4, 5, 6]Just [1,2,3,4,5,6]
>>>putStr "Hello, " <> putStrLn "World!"Hello, World!
Identity of mappend
Examples
>>>"Hello world" <> mempty"Hello world"
>>>mempty <> [1, 2, 3][1,2,3]
strictEncoder :: NumBits -> Encoding -> ByteString #
Strict encoder
eBytes :: ByteString -> Encoding #
eLazyBytes :: ByteString -> Encoding #
eShortBytes :: ShortByteString -> Encoding #
encodeArrayWith :: (t -> Encoding) -> [t] -> Encoding #
Encode as Array
encodeListWith :: (t -> Encoding) -> [t] -> Encoding #
Encode as a List
type Size a = a -> NumBits -> NumBits #
Add the maximum size in bits of the encoding of value a to a NumBits
sBytes :: Size ByteString #
sFillerMax :: Size a #