morley-1.12.0: Developer tools for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Morley.Micheline.Json

Description

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

Documentation

newtype StringEncode a Source #

Constructors

StringEncode 

Fields

Instances

Instances details
ToJSON TezosInt64 Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

toJSON :: TezosInt64 -> Value #

toEncoding :: TezosInt64 -> Encoding #

toJSONList :: [TezosInt64] -> Value #

toEncodingList :: [TezosInt64] -> Encoding #

ToJSON TezosBigNum Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

toJSON :: TezosBigNum -> Value #

toEncoding :: TezosBigNum -> Encoding #

toJSONList :: [TezosBigNum] -> Value #

toEncodingList :: [TezosBigNum] -> Encoding #

FromJSON TezosInt64 Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

parseJSON :: Value -> Parser TezosInt64 #

parseJSONList :: Value -> Parser [TezosInt64] #

FromJSON TezosBigNum Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

parseJSON :: Value -> Parser TezosBigNum #

parseJSONList :: Value -> Parser [TezosBigNum] #

Buildable TezosInt64 Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

build :: TezosInt64 -> Builder #

Bounded a => Bounded (StringEncode a) Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

minBound :: StringEncode a #

maxBound :: StringEncode a #

Enum a => Enum (StringEncode a) Source # 
Instance details

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) Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

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

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

Integral a => Integral (StringEncode a) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

toRational :: StringEncode a -> Rational #

Show a => Show (StringEncode a) Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

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

show :: StringEncode a -> String #

showList :: [StringEncode a] -> ShowS #

Generic (StringEncode a) Source # 
Instance details

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) Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

hashWithSalt :: Int -> StringEncode a -> Int #

hash :: StringEncode a -> Int #

Bits a => Bits (StringEncode a) Source # 
Instance details

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) Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

rnf :: StringEncode a -> () #

type Rep (StringEncode a) Source # 
Instance details

Defined in Morley.Micheline.Json

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

type TezosBigNum = StringEncode Integer Source #

type TezosInt64 = StringEncode Int64 Source #

newtype TezosMutez Source #

Constructors

TezosMutez 

Fields

Instances

Instances details
Eq TezosMutez Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

(==) :: TezosMutez -> TezosMutez -> Bool #

(/=) :: TezosMutez -> TezosMutez -> Bool #

Ord TezosMutez Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

compare :: TezosMutez -> TezosMutez -> Ordering #

(<) :: TezosMutez -> TezosMutez -> Bool #

(<=) :: TezosMutez -> TezosMutez -> Bool #

(>) :: TezosMutez -> TezosMutez -> Bool #

(>=) :: TezosMutez -> TezosMutez -> Bool #

max :: TezosMutez -> TezosMutez -> TezosMutez #

min :: TezosMutez -> TezosMutez -> TezosMutez #

Show TezosMutez Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

showsPrec :: Int -> TezosMutez -> ShowS #

show :: TezosMutez -> String #

showList :: [TezosMutez] -> ShowS #

ToJSON TezosMutez Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

toJSON :: TezosMutez -> Value #

toEncoding :: TezosMutez -> Encoding #

toJSONList :: [TezosMutez] -> Value #

toEncodingList :: [TezosMutez] -> Encoding #

FromJSON TezosMutez Source # 
Instance details

Defined in Morley.Micheline.Json

Methods

parseJSON :: Value -> Parser TezosMutez #

parseJSONList :: Value -> Parser [TezosMutez] #