DelmOrg / delm-concept / Concept.Core

This is part of the standard library for Delm.


type alias Requirements =
List ( Basics.Bool, String )

Validation for Contracts.


type alias Address =
String

Address is a unique identification of a Wallet or Contract in a blockchain.


type alias PayableAddress =
String

A Payable Address is an Address that can be used to send Ether.

zeroAddress : String

The Zero Address is a special Address that can be handy for burning tokens.

throw : String -> a

Helper function to throw an error.


type alias Msg =
{ sender : PayableAddress
, data : String
, sig : String
, value : Basics.Int 
}

Receiving Message.


type alias Block =
{ coinbase : Address
, difficulty : Basics.Int
, gasLimit : Basics.Int
, number : Basics.Int
, timestamp : Basics.Int 
}

An individual block information.


type alias Tx =
{ gasPrice : Basics.Int
, origin : Address 
}

Transaction information.


type alias Global =
{ msg : Msg
, block : Block 
}

Global information.