Safe Haskell	None
Language	Haskell2010

Morley.Micheline.Json

Description

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

Documentation

newtype StringEncode a Source #

Constructors

StringEncode
Fields unStringEncode :: a

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 unTezosMutez :: Mutez

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] #