Morley.Michelson.Runtime.GState

Global blockchain state (emulated).

Auxiliary types

data ContractState

State of a contract with code.

Constructors

forall cp st.(ParameterScope cp, StorageScope st) => ContractState

Fields

• csBalance :: Mutez

  Amount of mutez owned by this contract.

• csContract :: Contract cp st

  Contract itself.

• csStorage :: Value st

  Storage value associated with this contract.

• csDelegate :: Maybe KeyHash

  Delegate associated with this contract.

Instances

Show ContractState

Defined in Morley.Michelson.Runtime.GState

Methods

showsPrec :: Int -> ContractState -> ShowS

show :: ContractState -> String

showList :: [ContractState] -> ShowS

ToJSON ContractState

Defined in Morley.Michelson.Runtime.GState

Methods

toJSON :: ContractState -> Value

toEncoding :: ContractState -> Encoding

toJSONList :: [ContractState] -> Value

toEncodingList :: [ContractState] -> Encoding

FromJSON ContractState

Defined in Morley.Michelson.Runtime.GState

Methods

parseJSON :: Value -> Parser ContractState

parseJSONList :: Value -> Parser [ContractState]

Buildable ContractState

Defined in Morley.Michelson.Runtime.GState

Methods

build :: ContractState -> Builder

data AddressState

State of an arbitrary address.

Constructors

ASSimple Mutez

For contracts without code we store only its balance.

ASContract ContractState

For contracts with code we store more state represented by ContractState.

Instances

Show AddressState

Defined in Morley.Michelson.Runtime.GState

Methods

showsPrec :: Int -> AddressState -> ShowS

show :: AddressState -> String

showList :: [AddressState] -> ShowS

Generic AddressState

Defined in Morley.Michelson.Runtime.GState

Associated Types

type Rep AddressState :: Type -> Type

Methods

from :: AddressState -> Rep AddressState x

to :: Rep AddressState x -> AddressState

ToJSON AddressState

Defined in Morley.Michelson.Runtime.GState

Methods

toJSON :: AddressState -> Value

toEncoding :: AddressState -> Encoding

toJSONList :: [AddressState] -> Value

toEncodingList :: [AddressState] -> Encoding

FromJSON AddressState

Defined in Morley.Michelson.Runtime.GState

Methods

parseJSON :: Value -> Parser AddressState

parseJSONList :: Value -> Parser [AddressState]

Buildable AddressState

Defined in Morley.Michelson.Runtime.GState

Methods

build :: AddressState -> Builder

type Rep AddressState

Defined in Morley.Michelson.Runtime.GState

type Rep AddressState = D1 ('MetaData "AddressState" "Morley.Michelson.Runtime.GState" "morley-1.16.2-inplace" 'False) (C1 ('MetaCons "ASSimple" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Mutez)) :+: C1 ('MetaCons "ASContract" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ContractState)))

asBalance :: AddressState -> Mutez

Extract balance from AddressState.

newtype VotingPowers

Distribution of voting power among the contracts.

Voting power reflects the ability of bakers to accept, deny or pass new proposals for protocol updates. I.e. each baker has its vote weight.

This datatype definition may change in future, so its internals are not exported.

Constructors

VotingPowers (Map KeyHash Natural)

Instances

Show VotingPowers

Defined in Morley.Michelson.Runtime.GState

Methods

showsPrec :: Int -> VotingPowers -> ShowS

show :: VotingPowers -> String

showList :: [VotingPowers] -> ShowS

ToJSON VotingPowers

Defined in Morley.Michelson.Runtime.GState

Methods

toJSON :: VotingPowers -> Value

toEncoding :: VotingPowers -> Encoding

toJSONList :: [VotingPowers] -> Value

toEncodingList :: [VotingPowers] -> Encoding

FromJSON VotingPowers

Defined in Morley.Michelson.Runtime.GState

Methods

parseJSON :: Value -> Parser VotingPowers

parseJSONList :: Value -> Parser [VotingPowers]

vpPick :: KeyHash -> VotingPowers -> Natural

Get voting power of the given address.

vpTotal :: VotingPowers -> Natural

Get total voting power.

mkVotingPowers :: [(KeyHash, Natural)] -> VotingPowers

Create voting power distribution.

If some key is encountered multiple times, voting power will be summed up.

mkVotingPowersFromMap :: Map KeyHash Natural -> VotingPowers

Create voting power distribution from map.

dummyVotingPowers :: VotingPowers

Dummy VotingPowers. We give all the voting power to two genesis addreses as the addresses holding lot of money. Only two addresses are involved for simplicity.

newtype BigMapCounter

All big_maps stored in a chain have a globally unique ID.

We use this counter to keep track of how many big_maps have been created so far, and to generate new IDs whenever a new big_map is created.

Constructors

BigMapCounter

Fields

• _bigMapCounter :: Natural

Instances

Eq BigMapCounter

Defined in Morley.Michelson.Runtime.GState

Methods

(==) :: BigMapCounter -> BigMapCounter -> Bool

(/=) :: BigMapCounter -> BigMapCounter -> Bool

Num BigMapCounter

Defined in Morley.Michelson.Runtime.GState

Methods

(+) :: BigMapCounter -> BigMapCounter -> BigMapCounter

(-) :: BigMapCounter -> BigMapCounter -> BigMapCounter

(*) :: BigMapCounter -> BigMapCounter -> BigMapCounter

negate :: BigMapCounter -> BigMapCounter

abs :: BigMapCounter -> BigMapCounter

signum :: BigMapCounter -> BigMapCounter

fromInteger :: Integer -> BigMapCounter

Show BigMapCounter

Defined in Morley.Michelson.Runtime.GState

Methods

showsPrec :: Int -> BigMapCounter -> ShowS

show :: BigMapCounter -> String

showList :: [BigMapCounter] -> ShowS

Generic BigMapCounter

Defined in Morley.Michelson.Runtime.GState

Associated Types

type Rep BigMapCounter :: Type -> Type

Methods

from :: BigMapCounter -> Rep BigMapCounter x

to :: Rep BigMapCounter x -> BigMapCounter

ToJSON BigMapCounter

Defined in Morley.Michelson.Runtime.GState

Methods

toJSON :: BigMapCounter -> Value

toEncoding :: BigMapCounter -> Encoding

toJSONList :: [BigMapCounter] -> Value

toEncodingList :: [BigMapCounter] -> Encoding

FromJSON BigMapCounter

Defined in Morley.Michelson.Runtime.GState

Methods

parseJSON :: Value -> Parser BigMapCounter

parseJSONList :: Value -> Parser [BigMapCounter]

NFData BigMapCounter

Defined in Morley.Michelson.Runtime.GState

Methods

rnf :: BigMapCounter -> ()

Buildable BigMapCounter

Defined in Morley.Michelson.Runtime.GState

Methods

build :: BigMapCounter -> Builder

type Rep BigMapCounter

Defined in Morley.Michelson.Runtime.GState

type Rep BigMapCounter = D1 ('MetaData "BigMapCounter" "Morley.Michelson.Runtime.GState" "morley-1.16.2-inplace" 'True) (C1 ('MetaCons "BigMapCounter" 'PrefixI 'True) (S1 ('MetaSel ('Just "_bigMapCounter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

bigMapCounter :: Iso' BigMapCounter Natural

GState

data GState

Persistent data passed to Morley contracts which can be updated as result of contract execution.

Constructors

GState

Fields

• gsChainId :: ChainId

  Identifier of chain.

• gsAddresses :: Map Address AddressState

  All known addresses and their state.

• gsVotingPowers :: VotingPowers

  Voting power distribution.

• gsCounter :: GlobalCounter

  Ever increasing operation counter.

• gsBigMapCounter :: BigMapCounter

Instances

Show GState

Defined in Morley.Michelson.Runtime.GState

Methods

showsPrec :: Int -> GState -> ShowS

show :: GState -> String

showList :: [GState] -> ShowS

ToJSON GState

Defined in Morley.Michelson.Runtime.GState

Methods

toJSON :: GState -> Value

toEncoding :: GState -> Encoding

toJSONList :: [GState] -> Value

toEncodingList :: [GState] -> Encoding

FromJSON GState

Defined in Morley.Michelson.Runtime.GState

Methods

parseJSON :: Value -> Parser GState

parseJSONList :: Value -> Parser [GState]

gsChainIdL :: Lens' GState ChainId

gsAddressesL :: Lens' GState (Map Address AddressState)

gsVotingPowersL :: Lens' GState VotingPowers

gsCounterL :: Lens' GState GlobalCounter

gsBigMapCounterL :: Lens' GState BigMapCounter

genesisAddresses :: NonEmpty Address

Initially these addresses have a lot of money.

genesisKeyHashes :: NonEmpty KeyHash

KeyHash of genesis address.

genesisAddress :: Address

One of genesis addresses.

More genesisAddresses which can be used in tests

genesisAddress1 :: Address

More genesis addresses

We know size of genesisAddresses, so it is safe to use !!

genesisAddress2 :: Address

More genesis addresses

We know size of genesisAddresses, so it is safe to use !!

genesisAddress3 :: Address

More genesis addresses

We know size of genesisAddresses, so it is safe to use !!

genesisAddress4 :: Address

genesisAddress5 :: Address

genesisAddress6 :: Address

genesisKeyHash :: KeyHash

One of genesis key hashes.

Genesis secret keys

genesisSecretKey :: SecretKey

Secret key assotiated with genesisAddress.

genesisSecrets :: NonEmpty SecretKey

Secrets from which genesis addresses are derived from.

initGState :: GState

Initial GState. It's supposed to be used if no GState is provided. It puts plenty of money on each genesis address.

readGState :: FilePath -> IO GState

Read GState from a file.

writeGState :: FilePath -> GState -> IO ()

Write GState to a file.

Operations on GState

data GStateUpdate where

Updates that can be applied to GState.

Constructors

GSAddAddress :: Address -> AddressState -> GStateUpdate

GSSetStorageValue :: StorageScope st => Address -> Value st -> GStateUpdate

GSSetBalance :: Address -> Mutez -> GStateUpdate

GSIncrementCounter :: GStateUpdate

GSUpdateCounter :: GlobalCounter -> GStateUpdate

GSSetBigMapCounter :: BigMapCounter -> GStateUpdate

GSSetDelegate :: Address -> Maybe KeyHash -> GStateUpdate

Instances

Show GStateUpdate

Defined in Morley.Michelson.Runtime.GState

Methods

showsPrec :: Int -> GStateUpdate -> ShowS

show :: GStateUpdate -> String

showList :: [GStateUpdate] -> ShowS

Buildable GStateUpdate

Defined in Morley.Michelson.Runtime.GState

Methods

build :: GStateUpdate -> Builder

data GStateUpdateError

Constructors

GStateAddressExists Address

GStateUnknownAddress Address

GStateNotContract Address

GStateStorageNotMatch Address

Instances

Show GStateUpdateError

Defined in Morley.Michelson.Runtime.GState

Methods

showsPrec :: Int -> GStateUpdateError -> ShowS

show :: GStateUpdateError -> String

showList :: [GStateUpdateError] -> ShowS

Buildable GStateUpdateError

Defined in Morley.Michelson.Runtime.GState

Methods

build :: GStateUpdateError -> Builder

applyUpdate :: GStateUpdate -> GState -> Either GStateUpdateError GState

Apply GStateUpdate to GState.

applyUpdates :: [GStateUpdate] -> GState -> Either GStateUpdateError GState

Apply a list of GStateUpdates to GState.

extractAllContracts :: GState -> TcOriginatedContracts

Retrieve all contracts stored in GState