Morley.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 :: !UntypedValue

  Storage value associated with this contract.

• csContract :: !UntypedContract

  Contract itself (untyped).

Instances

Eq ContractState

Defined in Morley.Runtime.GState

Methods

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

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

Show ContractState

Defined in Morley.Runtime.GState

Methods

showsPrec :: Int -> ContractState -> ShowS

show :: ContractState -> String

showList :: [ContractState] -> ShowS

Generic ContractState

Defined in Morley.Runtime.GState

Associated Types

type Rep ContractState :: Type -> Type

Methods

from :: ContractState -> Rep ContractState x

to :: Rep ContractState x -> ContractState

ToJSON ContractState

Defined in Morley.Runtime.GState

Methods

toJSON :: ContractState -> Value

toEncoding :: ContractState -> Encoding

toJSONList :: [ContractState] -> Value

toEncodingList :: [ContractState] -> Encoding

FromJSON ContractState

Defined in Morley.Runtime.GState

Methods

parseJSON :: Value -> Parser ContractState

parseJSONList :: Value -> Parser [ContractState]

Buildable ContractState

Defined in Morley.Runtime.GState

Methods

build :: ContractState -> Builder

type Rep ContractState

Defined in Morley.Runtime.GState

type Rep ContractState = D1 (MetaData "ContractState" "Morley.Runtime.GState" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" False) (C1 (MetaCons "ContractState" PrefixI True) (S1 (MetaSel (Just "csBalance") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Mutez) :*: (S1 (MetaSel (Just "csStorage") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 UntypedValue) :*: S1 (MetaSel (Just "csContract") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 UntypedContract))))

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 Morley.Runtime.GState

Methods

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

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

Show AddressState

Defined in Morley.Runtime.GState

Methods

showsPrec :: Int -> AddressState -> ShowS

show :: AddressState -> String

showList :: [AddressState] -> ShowS

Generic AddressState

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

Methods

toJSON :: AddressState -> Value

toEncoding :: AddressState -> Encoding

toJSONList :: [AddressState] -> Value

toEncodingList :: [AddressState] -> Encoding

FromJSON AddressState

Defined in Morley.Runtime.GState

Methods

parseJSON :: Value -> Parser AddressState

parseJSONList :: Value -> Parser [AddressState]

Buildable AddressState

Defined in Morley.Runtime.GState

Methods

build :: AddressState -> Builder

type Rep AddressState

Defined in Morley.Runtime.GState

type Rep AddressState = D1 (MetaData "AddressState" "Morley.Runtime.GState" "morley-0.1.0.5-JGwsFje78IP81WIHW6apex" 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 Morley.Runtime.GState

Methods

showsPrec :: Int -> GState -> ShowS

show :: GState -> String

showList :: [GState] -> ShowS

ToJSON GState

Defined in Morley.Runtime.GState

Methods

toJSON :: GState -> Value

toEncoding :: GState -> Encoding

toJSONList :: [GState] -> Value

toEncodingList :: [GState] -> Encoding

FromJSON GState

Defined in Morley.Runtime.GState

Methods

parseJSON :: Value -> Parser GState

parseJSONList :: Value -> Parser [GState]

genesisAddress :: Address

Initially this address has a lot of money.

genesisAddressText :: Text

Initially this address has a lot of money.

genesisKeyHash :: KeyHash

KeyHash of genesis address.

initGState :: GState

Initial GState. It's supposed to be used if no GState is provided. For now it's empty, but we can hardcode some dummy data in the future.

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 !UntypedValue

GSSetBalance !Address !Mutez

Instances

Eq GStateUpdate

Defined in Morley.Runtime.GState

Methods

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

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

Show GStateUpdate

Defined in Morley.Runtime.GState

Methods

showsPrec :: Int -> GStateUpdate -> ShowS

show :: GStateUpdate -> String

showList :: [GStateUpdate] -> ShowS

Buildable GStateUpdate

Defined in Morley.Runtime.GState

Methods

build :: GStateUpdate -> Builder

data GStateUpdateError

Constructors

GStateAddressExists !Address

GStateUnknownAddress !Address

GStateNotContract !Address

Instances

Show GStateUpdateError

Defined in Morley.Runtime.GState

Methods

showsPrec :: Int -> GStateUpdateError -> ShowS

show :: GStateUpdateError -> String

showList :: [GStateUpdateError] -> ShowS

Buildable GStateUpdateError

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