Michelson.Runtime.GState

Global blockchain state (emulated).

Auxiliary types

data ContractState

State of a contract with code.

Constructors

ContractState

Fields

• csBalance :: !Mutez

  Amount of mutez owned by this contract.

• csStorage :: !Value

  Storage value associated with this contract.

• csContract :: !Contract

  Contract itself (untyped).

Instances

Eq ContractState

Defined in Michelson.Runtime.GState

Methods

(==) :: ContractState -> ContractState -> Bool

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

Show ContractState

Defined in Michelson.Runtime.GState

Methods

showsPrec :: Int -> ContractState -> ShowS

show :: ContractState -> String

showList :: [ContractState] -> ShowS

Generic ContractState

Defined in Michelson.Runtime.GState

Associated Types

type Rep ContractState :: Type -> Type

Methods

from :: ContractState -> Rep ContractState x

to :: Rep ContractState x -> ContractState

ToJSON ContractState

Defined in Michelson.Runtime.GState

Methods

toJSON :: ContractState -> Value

toEncoding :: ContractState -> Encoding

toJSONList :: [ContractState] -> Value

toEncodingList :: [ContractState] -> Encoding

FromJSON ContractState

Defined in Michelson.Runtime.GState

Methods

parseJSON :: Value -> Parser ContractState

parseJSONList :: Value -> Parser [ContractState]

Buildable ContractState

Defined in Michelson.Runtime.GState

Methods

build :: ContractState -> Builder

type Rep ContractState

Defined in Michelson.Runtime.GState

type Rep ContractState = D1 (MetaData "ContractState" "Michelson.Runtime.GState" "morley-0.3.0-7oMtJCcnhvo7MqJS85kloi" False) (C1 (MetaCons "ContractState" PrefixI True) (S1 (MetaSel (Just "csBalance") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Mutez) :*: (S1 (MetaSel (Just "csStorage") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Value) :*: S1 (MetaSel (Just "csContract") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Contract))))

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

Eq AddressState

Defined in Michelson.Runtime.GState

Methods

(==) :: AddressState -> AddressState -> Bool

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

Show AddressState

Defined in Michelson.Runtime.GState

Methods

showsPrec :: Int -> AddressState -> ShowS

show :: AddressState -> String

showList :: [AddressState] -> ShowS

Generic AddressState

Defined in 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 Michelson.Runtime.GState

Methods

toJSON :: AddressState -> Value

toEncoding :: AddressState -> Encoding

toJSONList :: [AddressState] -> Value

toEncodingList :: [AddressState] -> Encoding

FromJSON AddressState

Defined in Michelson.Runtime.GState

Methods

parseJSON :: Value -> Parser AddressState

parseJSONList :: Value -> Parser [AddressState]

Buildable AddressState

Defined in Michelson.Runtime.GState

Methods

build :: AddressState -> Builder

type Rep AddressState

Defined in Michelson.Runtime.GState

type Rep AddressState = D1 (MetaData "AddressState" "Michelson.Runtime.GState" "morley-0.3.0-7oMtJCcnhvo7MqJS85kloi" False) (C1 (MetaCons "ASSimple" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Mutez)) :+: C1 (MetaCons "ASContract" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ContractState)))

asBalance :: AddressState -> Mutez

Extract balance from AddressState.

GState

data GState

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

Constructors

GState

Fields

• gsAddresses :: Map Address AddressState

  All known addresses and their state.

Instances

Show GState

Defined in Michelson.Runtime.GState

Methods

showsPrec :: Int -> GState -> ShowS

show :: GState -> String

showList :: [GState] -> ShowS

ToJSON GState

Defined in Michelson.Runtime.GState

Methods

toJSON :: GState -> Value

toEncoding :: GState -> Encoding

toJSONList :: [GState] -> Value

toEncodingList :: [GState] -> Encoding

FromJSON GState

Defined in Michelson.Runtime.GState

Methods

parseJSON :: Value -> Parser GState

parseJSONList :: Value -> Parser [GState]

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.

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

Updates that can be applied to GState.

Constructors

GSAddAddress !Address !AddressState

GSSetStorageValue !Address !Value

GSSetBalance !Address !Mutez

Instances

Eq GStateUpdate

Defined in Michelson.Runtime.GState

Methods

(==) :: GStateUpdate -> GStateUpdate -> Bool

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

Show GStateUpdate

Defined in Michelson.Runtime.GState

Methods

showsPrec :: Int -> GStateUpdate -> ShowS

show :: GStateUpdate -> String

showList :: [GStateUpdate] -> ShowS

Buildable GStateUpdate

Defined in Michelson.Runtime.GState

Methods

build :: GStateUpdate -> Builder

data GStateUpdateError

Constructors

GStateAddressExists !Address

GStateUnknownAddress !Address

GStateNotContract !Address

Instances

Show GStateUpdateError

Defined in Michelson.Runtime.GState

Methods

showsPrec :: Int -> GStateUpdateError -> ShowS

show :: GStateUpdateError -> String

showList :: [GStateUpdateError] -> ShowS

Buildable GStateUpdateError

Defined in 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

Retrive all contracts stored in GState