Morley.Michelson.Typed.Operation

Documentation

newtype OperationHash

Constructors

OperationHash

Fields

• unOperationHash :: ByteString

Instances

Eq OperationHash

Defined in Morley.Michelson.Typed.Operation

Methods

(==) :: OperationHash -> OperationHash -> Bool

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

Ord OperationHash

Defined in Morley.Michelson.Typed.Operation

Methods

compare :: OperationHash -> OperationHash -> Ordering

(<) :: OperationHash -> OperationHash -> Bool

(<=) :: OperationHash -> OperationHash -> Bool

(>) :: OperationHash -> OperationHash -> Bool

(>=) :: OperationHash -> OperationHash -> Bool

max :: OperationHash -> OperationHash -> OperationHash

min :: OperationHash -> OperationHash -> OperationHash

Show OperationHash

Defined in Morley.Michelson.Typed.Operation

Methods

showsPrec :: Int -> OperationHash -> ShowS

show :: OperationHash -> String

showList :: [OperationHash] -> ShowS

Generic OperationHash

Defined in Morley.Michelson.Typed.Operation

Associated Types

type Rep OperationHash :: Type -> Type

Methods

from :: OperationHash -> Rep OperationHash x

to :: Rep OperationHash x -> OperationHash

NFData OperationHash

Defined in Morley.Michelson.Typed.Operation

Methods

rnf :: OperationHash -> ()

type Rep OperationHash

Defined in Morley.Michelson.Typed.Operation

type Rep OperationHash = D1 ('MetaData "OperationHash" "Morley.Michelson.Typed.Operation" "morley-1.16.1-inplace" 'True) (C1 ('MetaCons "OperationHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unOperationHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

data OriginationOperation

Data necessary to originate a contract.

Constructors

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

Fields

• ooOriginator :: Address

  Originator of the contract.

• ooDelegate :: Maybe KeyHash

  Optional delegate.

• ooBalance :: Mutez

  Initial balance of the contract.

• ooStorage :: Value st

  Initial storage value of the contract.

• ooContract :: Contract cp st

  The contract itself.

• ooCounter :: GlobalCounter

  The value of the global counter at the time the operation was created. We store it here so that the resulting addresses of CREATE_CONTRACT and performing of origination operation are the same.

Instances

Show OriginationOperation

Defined in Morley.Michelson.Typed.Operation

Methods

showsPrec :: Int -> OriginationOperation -> ShowS

show :: OriginationOperation -> String

showList :: [OriginationOperation] -> ShowS

data TransferOperation

Data necessary to send a transaction to given address which is assumed to be the address of an originated contract.

Constructors

TransferOperation

Fields

• toDestination :: Address
• toTxData :: TxData
• toCounter :: GlobalCounter

Instances

Show TransferOperation

Defined in Morley.Michelson.Typed.Operation

Methods

showsPrec :: Int -> TransferOperation -> ShowS

show :: TransferOperation -> String

showList :: [TransferOperation] -> ShowS

data SetDelegateOperation

Set contract's delegate

Constructors

SetDelegateOperation

Fields

• sdoContract :: Address

  The contract we're setting delegate of

• sdoDelegate :: Maybe KeyHash

  The delegate we're setting

• sdoCounter :: GlobalCounter

Instances

Show SetDelegateOperation

Defined in Morley.Michelson.Typed.Operation

Methods

showsPrec :: Int -> SetDelegateOperation -> ShowS

show :: SetDelegateOperation -> String

showList :: [SetDelegateOperation] -> ShowS

mkContractAddress :: OperationHash -> GlobalCounter -> Address

Compute address of a contract from its origination operation and global counter.

However, in real Tezos encoding of the operation is more than just OriginationOperation. There an Operation has several more meta-fields plus a big sum-type of all possible operations.

See here: https://gitlab.com/tezos/tezos/-/blob/f57c50e3a657956d69a1699978de9873c98f0018/src/proto_006_PsCARTHA/lib_protocol/operation_repr.ml#L78

In other words, contract hash is calculated as the blake2b160 (20-byte) hash of origination operation hash + word64 global counter.

In Morley we do not yet support full encoding of Tezos Operations, therefore we choose to generate contract addresses in a simplified manner.

Namely, we encode OriginationOperation as we can and concat it with the global counter.

mkOriginationOperationHash :: OriginationOperation -> OperationHash

Construct OperationHash for an OriginationOperation.

mkTransferOperationHash :: ParameterScope t => Address -> Value t -> EpName -> Mutez -> OperationHash

mkDelegationOperationHash :: SetDelegateOperation -> OperationHash

Construct OperationHash for a SetDelegateOperation.