Tezos.Address

Address in Tezos.

Documentation

newtype ContractHash

Hash of origination command for some contract.

Constructors

ContractHash ByteString

Instances

Eq ContractHash

Defined in Tezos.Address

Methods

(==) :: ContractHash -> ContractHash -> Bool

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

Ord ContractHash

Defined in Tezos.Address

Methods

compare :: ContractHash -> ContractHash -> Ordering

(<) :: ContractHash -> ContractHash -> Bool

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

(>) :: ContractHash -> ContractHash -> Bool

(>=) :: ContractHash -> ContractHash -> Bool

max :: ContractHash -> ContractHash -> ContractHash

min :: ContractHash -> ContractHash -> ContractHash

Show ContractHash

Defined in Tezos.Address

Methods

showsPrec :: Int -> ContractHash -> ShowS

show :: ContractHash -> String

showList :: [ContractHash] -> ShowS

ToJSON ContractHash

Defined in Tezos.Address

Methods

toJSON :: ContractHash -> Value

toEncoding :: ContractHash -> Encoding

toJSONList :: [ContractHash] -> Value

toEncodingList :: [ContractHash] -> Encoding

ToJSONKey ContractHash

Defined in Tezos.Address

Methods

toJSONKey :: ToJSONKeyFunction ContractHash

toJSONKeyList :: ToJSONKeyFunction [ContractHash]

FromJSON ContractHash

Defined in Tezos.Address

Methods

parseJSON :: Value -> Parser ContractHash

parseJSONList :: Value -> Parser [ContractHash]

FromJSONKey ContractHash

Defined in Tezos.Address

Methods

fromJSONKey :: FromJSONKeyFunction ContractHash

fromJSONKeyList :: FromJSONKeyFunction [ContractHash]

data Address

Data type corresponding to address structure in Tezos.

Constructors

KeyAddress !KeyHash

tz address which is a hash of a public key.

ContractAddress !ContractHash

KT address which corresponds to a callable contract.

Instances

Eq Address

Defined in Tezos.Address

Methods

(==) :: Address -> Address -> Bool

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

Ord Address

Defined in Tezos.Address

Methods

compare :: Address -> Address -> Ordering

(<) :: Address -> Address -> Bool

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

(>) :: Address -> Address -> Bool

(>=) :: Address -> Address -> Bool

max :: Address -> Address -> Address

min :: Address -> Address -> Address

Show Address

Defined in Tezos.Address

Methods

showsPrec :: Int -> Address -> ShowS

show :: Address -> String

showList :: [Address] -> ShowS

Arbitrary Address

Defined in Tezos.Address

Methods

arbitrary :: Gen Address

shrink :: Address -> [Address]

ToJSON Address

Defined in Tezos.Address

Methods

toJSON :: Address -> Value

toEncoding :: Address -> Encoding

toJSONList :: [Address] -> Value

toEncodingList :: [Address] -> Encoding

ToJSONKey Address

Defined in Tezos.Address

Methods

toJSONKey :: ToJSONKeyFunction Address

toJSONKeyList :: ToJSONKeyFunction [Address]

FromJSON Address

Defined in Tezos.Address

Methods

parseJSON :: Value -> Parser Address

parseJSONList :: Value -> Parser [Address]

FromJSONKey Address

Defined in Tezos.Address

Methods

fromJSONKey :: FromJSONKeyFunction Address

fromJSONKeyList :: FromJSONKeyFunction [Address]

Buildable Address

Defined in Tezos.Address

Methods

build :: Address -> Builder

IsoValue Address

Defined in Michelson.Typed.Haskell.Value

Associated Types

type ToT Address :: T

Methods

toVal :: Address -> Value (ToT Address)

fromVal :: Value (ToT Address) -> Address

IsoCValue Address

This instance erases reference to contract entrypoint! If this is an issue, use EpAddress instead.

Applications which use addresses just as participants identifiers should not experience problems with using plain Address.

Defined in Michelson.Typed.Haskell.Value

Associated Types

type ToCT Address :: CT

Methods

toCVal :: Address -> CValue (ToCT Address)

fromCVal :: CValue (ToCT Address) -> Address

TypeHasDoc Address

Defined in Michelson.Typed.Haskell.Doc

Methods

typeDocName :: Proxy Address -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Address -> WithinParens -> Markdown

typeDocDependencies :: Proxy Address -> [SomeTypeWithDoc]

typeDocHaskellRep :: TypeDocHaskellRep Address

typeDocMichelsonRep :: TypeDocMichelsonRep Address

ToAddress Address

Defined in Lorentz.Value

Methods

toAddress :: Address -> Address

CompareOpHs Address

Defined in Lorentz.Arith

FromContractRef cp Address

Defined in Lorentz.Value

Methods

fromContractAddr :: ContractRef cp -> Address

NiceParameter cp => ToContractRef cp Address

Make contract ref calling the default entrypoint.

Defined in Lorentz.Value

Methods

toContractRef :: Address -> ContractRef cp

type ToT Address

Defined in Michelson.Typed.Haskell.Value

type ToT Address = Tc (ToCT Address)

type ToCT Address

Defined in Michelson.Typed.Haskell.Value

type ToCT Address = CAddress

mkKeyAddress :: PublicKey -> Address

Smart constructor for KeyAddress.

detGenKeyAddress :: ByteString -> Address

Deterministically generate a random KeyAddress and discard its secret key.

mkContractAddressRaw :: ByteString -> Address

Smart constructor for ContractAddress. Its argument is serialized origination operation.

Note: it's quite unsafe to pass ByteString, because we can pass some garbage which is not a serialized origination operation, but this operation includes contract itself and necessary types are defined in *. So we have to serialize this data outside this module and pass it here as a ByteString. Alternatively we could add some constraint, but it would be almost as unsafe as passing a ByteString. For this reason we add Raw suffix to this function and provide a safer function in Instr. We may reconsider it later.

mkContractHashRaw :: ByteString -> ContractHash

Create a dummy ContractHash value.

Formatting

data ParseAddressError

Errors that can happen during address parsing.

Constructors

ParseAddressWrongBase58Check

Address is not in Base58Check format.

ParseAddressBothFailed !CryptoParseError !ParseContractAddressError

Both address parsers failed with some error.

Instances

Eq ParseAddressError

Defined in Tezos.Address

Methods

(==) :: ParseAddressError -> ParseAddressError -> Bool

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

Show ParseAddressError

Defined in Tezos.Address

Methods

showsPrec :: Int -> ParseAddressError -> ShowS

show :: ParseAddressError -> String

showList :: [ParseAddressError] -> ShowS

Buildable ParseAddressError

Defined in Tezos.Address

Methods

build :: ParseAddressError -> Builder

data ParseContractAddressError

Instances

Eq ParseContractAddressError

Defined in Tezos.Address

Methods

(==) :: ParseContractAddressError -> ParseContractAddressError -> Bool

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

Show ParseContractAddressError

Defined in Tezos.Address

Methods

showsPrec :: Int -> ParseContractAddressError -> ShowS

show :: ParseContractAddressError -> String

showList :: [ParseContractAddressError] -> ShowS

Buildable ParseContractAddressError

Defined in Tezos.Address

Methods

build :: ParseContractAddressError -> Builder

formatAddress :: Address -> Text

mformatAddress :: Address -> MText

parseAddress :: Text -> Either ParseAddressError Address

Parse an address from its human-readable textual representation used by Tezos (e. g. "tz1faswCTDciRzE4oJ9jn2Vm2dvjeyA9fUzU"). Or fail if it's invalid.

unsafeParseAddress :: HasCallStack => Text -> Address

Partial version of parseAddress which assumes that the address is correct. Can be used in tests.

unsafeParseContractHash :: HasCallStack => Text -> ContractHash

Parse a TK contract address, fail if address does not match the expected format.