Morley.Micheline.Json

Module that defines helper types and functions that are related to Micheline.

Documentation

newtype StringEncode a

Constructors

StringEncode

Fields

• unStringEncode :: a

Instances

ToJSON TezosInt64

Defined in Morley.Micheline.Json

Methods

toJSON :: TezosInt64 -> Value

toEncoding :: TezosInt64 -> Encoding

toJSONList :: [TezosInt64] -> Value

toEncodingList :: [TezosInt64] -> Encoding

ToJSON TezosBigNum

Defined in Morley.Micheline.Json

Methods

toJSON :: TezosBigNum -> Value

toEncoding :: TezosBigNum -> Encoding

toJSONList :: [TezosBigNum] -> Value

toEncodingList :: [TezosBigNum] -> Encoding

FromJSON TezosInt64

Defined in Morley.Micheline.Json

Methods

parseJSON :: Value -> Parser TezosInt64

parseJSONList :: Value -> Parser [TezosInt64]

FromJSON TezosBigNum

Defined in Morley.Micheline.Json

Methods

parseJSON :: Value -> Parser TezosBigNum

parseJSONList :: Value -> Parser [TezosBigNum]

Buildable TezosInt64

Defined in Morley.Micheline.Json

Methods

build :: TezosInt64 -> Builder

Bounded a => Bounded (StringEncode a)

Defined in Morley.Micheline.Json

Methods

minBound :: StringEncode a

maxBound :: StringEncode a

Enum a => Enum (StringEncode a)

Defined in Morley.Micheline.Json

Methods

succ :: StringEncode a -> StringEncode a

pred :: StringEncode a -> StringEncode a

toEnum :: Int -> StringEncode a

fromEnum :: StringEncode a -> Int

enumFrom :: StringEncode a -> [StringEncode a]

enumFromThen :: StringEncode a -> StringEncode a -> [StringEncode a]

enumFromTo :: StringEncode a -> StringEncode a -> [StringEncode a]

enumFromThenTo :: StringEncode a -> StringEncode a -> StringEncode a -> [StringEncode a]

Eq a => Eq (StringEncode a)

Defined in Morley.Micheline.Json

Methods

(==) :: StringEncode a -> StringEncode a -> Bool

(/=) :: StringEncode a -> StringEncode a -> Bool

Integral a => Integral (StringEncode a)

Defined in Morley.Micheline.Json

Methods

quot :: StringEncode a -> StringEncode a -> StringEncode a

rem :: StringEncode a -> StringEncode a -> StringEncode a

div :: StringEncode a -> StringEncode a -> StringEncode a

mod :: StringEncode a -> StringEncode a -> StringEncode a

quotRem :: StringEncode a -> StringEncode a -> (StringEncode a, StringEncode a)

divMod :: StringEncode a -> StringEncode a -> (StringEncode a, StringEncode a)

toInteger :: StringEncode a -> Integer

Num a => Num (StringEncode a)

Defined in Morley.Micheline.Json

Methods

(+) :: StringEncode a -> StringEncode a -> StringEncode a

(-) :: StringEncode a -> StringEncode a -> StringEncode a

(*) :: StringEncode a -> StringEncode a -> StringEncode a

negate :: StringEncode a -> StringEncode a

abs :: StringEncode a -> StringEncode a

signum :: StringEncode a -> StringEncode a

fromInteger :: Integer -> StringEncode a

Ord a => Ord (StringEncode a)

Defined in Morley.Micheline.Json

Methods

compare :: StringEncode a -> StringEncode a -> Ordering

(<) :: StringEncode a -> StringEncode a -> Bool

(<=) :: StringEncode a -> StringEncode a -> Bool

(>) :: StringEncode a -> StringEncode a -> Bool

(>=) :: StringEncode a -> StringEncode a -> Bool

max :: StringEncode a -> StringEncode a -> StringEncode a

min :: StringEncode a -> StringEncode a -> StringEncode a

Read a => Read (StringEncode a)

Defined in Morley.Micheline.Json

Methods

readsPrec :: Int -> ReadS (StringEncode a)

readList :: ReadS [StringEncode a]

readPrec :: ReadPrec (StringEncode a)

readListPrec :: ReadPrec [StringEncode a]

Real a => Real (StringEncode a)

Defined in Morley.Micheline.Json

Methods

toRational :: StringEncode a -> Rational

Show a => Show (StringEncode a)

Defined in Morley.Micheline.Json

Methods

showsPrec :: Int -> StringEncode a -> ShowS

show :: StringEncode a -> String

showList :: [StringEncode a] -> ShowS

Generic (StringEncode a)

Defined in Morley.Micheline.Json

Associated Types

type Rep (StringEncode a) :: Type -> Type

Methods

from :: StringEncode a -> Rep (StringEncode a) x

to :: Rep (StringEncode a) x -> StringEncode a

Hashable a => Hashable (StringEncode a)

Defined in Morley.Micheline.Json

Methods

hashWithSalt :: Int -> StringEncode a -> Int

hash :: StringEncode a -> Int

Bits a => Bits (StringEncode a)

Defined in Morley.Micheline.Json

Methods

(.&.) :: StringEncode a -> StringEncode a -> StringEncode a

(.|.) :: StringEncode a -> StringEncode a -> StringEncode a

xor :: StringEncode a -> StringEncode a -> StringEncode a

complement :: StringEncode a -> StringEncode a

shift :: StringEncode a -> Int -> StringEncode a

rotate :: StringEncode a -> Int -> StringEncode a

zeroBits :: StringEncode a

bit :: Int -> StringEncode a

setBit :: StringEncode a -> Int -> StringEncode a

clearBit :: StringEncode a -> Int -> StringEncode a

complementBit :: StringEncode a -> Int -> StringEncode a

testBit :: StringEncode a -> Int -> Bool

bitSizeMaybe :: StringEncode a -> Maybe Int

bitSize :: StringEncode a -> Int

isSigned :: StringEncode a -> Bool

shiftL :: StringEncode a -> Int -> StringEncode a

unsafeShiftL :: StringEncode a -> Int -> StringEncode a

shiftR :: StringEncode a -> Int -> StringEncode a

unsafeShiftR :: StringEncode a -> Int -> StringEncode a

rotateL :: StringEncode a -> Int -> StringEncode a

rotateR :: StringEncode a -> Int -> StringEncode a

popCount :: StringEncode a -> Int

NFData a => NFData (StringEncode a)

Defined in Morley.Micheline.Json

Methods

rnf :: StringEncode a -> ()

type Rep (StringEncode a)

Defined in Morley.Micheline.Json

type Rep (StringEncode a) = D1 ('MetaData "StringEncode" "Morley.Micheline.Json" "morley-1.9-inplace" 'True) (C1 ('MetaCons "StringEncode" 'PrefixI 'True) (S1 ('MetaSel ('Just "unStringEncode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type TezosBigNum = StringEncode Integer

type TezosInt64 = StringEncode Int64

parseMutezJson :: TezosInt64 -> Parser Mutez