scale-1.0.1.0: SCALE v2.0 codec for Haskell Web3 library.
CopyrightAleksandr Krupenkin 2016-2024
LicenseApache-2.0
Maintainermail@akru.me
Stabilityexperimental
Portabilityunportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Codec.Scale.Core

Description

Particular core type instances.

Synopsis

Documentation

newtype Compact a Source #

A "compact" or general integer encoding is sufficient for encoding large integers (up to 2**536) and is more efficient at encoding most values than the fixed-width version.

Constructors

Compact 

Fields

Instances

Instances details
Show a => Show (Compact a) Source # 
Instance details

Defined in Codec.Scale.Compact

Methods

showsPrec :: Int -> Compact a -> ShowS #

show :: Compact a -> String #

showList :: [Compact a] -> ShowS #

Eq a => Eq (Compact a) Source # 
Instance details

Defined in Codec.Scale.Compact

Methods

(==) :: Compact a -> Compact a -> Bool #

(/=) :: Compact a -> Compact a -> Bool #

Ord a => Ord (Compact a) Source # 
Instance details

Defined in Codec.Scale.Compact

Methods

compare :: Compact a -> Compact a -> Ordering #

(<) :: Compact a -> Compact a -> Bool #

(<=) :: Compact a -> Compact a -> Bool #

(>) :: Compact a -> Compact a -> Bool #

(>=) :: Compact a -> Compact a -> Bool #

max :: Compact a -> Compact a -> Compact a #

min :: Compact a -> Compact a -> Compact a #

Integral a => Decode (Compact a) Source # 
Instance details

Defined in Codec.Scale.Compact

Methods

get :: Get (Compact a) Source #

Integral a => Encode (Compact a) Source # 
Instance details

Defined in Codec.Scale.Compact

Methods

put :: Putter (Compact a) Source #

Orphan instances

Decode Int16 Source # 
Instance details

Methods

get :: Get Int16 Source #

Decode Int32 Source # 
Instance details

Methods

get :: Get Int32 Source #

Decode Int64 Source # 
Instance details

Methods

get :: Get Int64 Source #

Decode Int8 Source # 
Instance details

Methods

get :: Get Int8 Source #

Decode Word16 Source # 
Instance details

Methods

get :: Get Word16 Source #

Decode Word32 Source # 
Instance details

Methods

get :: Get Word32 Source #

Decode Word64 Source # 
Instance details

Methods

get :: Get Word64 Source #

Decode Word8 Source # 
Instance details

Methods

get :: Get Word8 Source #

Decode ByteString Source # 
Instance details

Decode Text Source # 
Instance details

Methods

get :: Get Text Source #

Decode () Source # 
Instance details

Methods

get :: Get () Source #

Decode Bool Source # 
Instance details

Methods

get :: Get Bool Source #

Encode Int16 Source # 
Instance details

Methods

put :: Putter Int16 Source #

Encode Int32 Source # 
Instance details

Methods

put :: Putter Int32 Source #

Encode Int64 Source # 
Instance details

Methods

put :: Putter Int64 Source #

Encode Int8 Source # 
Instance details

Methods

put :: Putter Int8 Source #

Encode Word16 Source # 
Instance details

Encode Word32 Source # 
Instance details

Encode Word64 Source # 
Instance details

Encode Word8 Source # 
Instance details

Methods

put :: Putter Word8 Source #

Encode ByteString Source # 
Instance details

Encode Text Source # 
Instance details

Methods

put :: Putter Text Source #

Encode () Source # 
Instance details

Methods

put :: Putter () Source #

Encode Bool Source # 
Instance details

Methods

put :: Putter Bool Source #

Decode (Vector Bit) Source # 
Instance details

Methods

get :: Get (Vector Bit) Source #

(Decode a, Unbox a) => Decode (Vector a) Source # 
Instance details

Methods

get :: Get (Vector a) Source #

Decode (Maybe Bool) Source # 
Instance details

Methods

get :: Get (Maybe Bool) Source #

Decode a => Decode (Maybe a) Source # 
Instance details

Methods

get :: Get (Maybe a) Source #

Decode a => Decode [a] Source # 
Instance details

Methods

get :: Get [a] Source #

Encode (Vector Bit) Source # 
Instance details

Methods

put :: Putter (Vector Bit) Source #

(Encode a, Unbox a) => Encode (Vector a) Source # 
Instance details

Methods

put :: Putter (Vector a) Source #

Encode (Maybe Bool) Source # 
Instance details

Methods

put :: Putter (Maybe Bool) Source #

Encode a => Encode (Maybe a) Source # 
Instance details

Methods

put :: Putter (Maybe a) Source #

Encode a => Encode [a] Source # 
Instance details

Methods

put :: Putter [a] Source #

(Decode a, Decode b) => Decode (Either a b) Source # 
Instance details

Methods

get :: Get (Either a b) Source #

(Decode a, Decode a) => Decode (a, a) Source # 
Instance details

Methods

get :: Get (a0, a) Source #

(Encode a, Encode b) => Encode (Either a b) Source # 
Instance details

Methods

put :: Putter (Either a b) Source #

(Encode a, Encode a) => Encode (a, a) Source # 
Instance details

Methods

put :: Putter (a0, a) Source #

(Decode a, Decode a, Decode a) => Decode (a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a) Source #

(Encode a, Encode a, Encode a) => Encode (a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a) Source #

(Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a) Source #

(Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a5, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a5, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a5, a6, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a5, a6, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a8, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a8, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a) Source #

(Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a, Decode a) => Decode (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

get :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a) Source #

(Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a, Encode a) => Encode (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

put :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a) Source #