Morley.Tezos.Address.Alias

Documentation

data AddressOrAlias kind

Representation of an address that tezos-client uses. It can be an address itself or a textual alias.

Constructors

AddressResolved (KindedAddress kind)

Address itself, can be used as is.

AddressAlias (Alias kind)

Address alias, should be resolved by tezos-client.

Instances

Show (AddressOrAlias kind)

Defined in Morley.Tezos.Address.Alias

Methods

showsPrec :: Int -> AddressOrAlias kind -> ShowS

show :: AddressOrAlias kind -> String

showList :: [AddressOrAlias kind] -> ShowS

Buildable (AddressOrAlias kind)

Defined in Morley.Tezos.Address.Alias

Methods

build :: AddressOrAlias kind -> Builder

Eq (AddressOrAlias kind)

Defined in Morley.Tezos.Address.Alias

Methods

(==) :: AddressOrAlias kind -> AddressOrAlias kind -> Bool

(/=) :: AddressOrAlias kind -> AddressOrAlias kind -> Bool

Ord (AddressOrAlias kind)

Defined in Morley.Tezos.Address.Alias

Methods

compare :: AddressOrAlias kind -> AddressOrAlias kind -> Ordering

(<) :: AddressOrAlias kind -> AddressOrAlias kind -> Bool

(<=) :: AddressOrAlias kind -> AddressOrAlias kind -> Bool

(>) :: AddressOrAlias kind -> AddressOrAlias kind -> Bool

(>=) :: AddressOrAlias kind -> AddressOrAlias kind -> Bool

max :: AddressOrAlias kind -> AddressOrAlias kind -> AddressOrAlias kind

min :: AddressOrAlias kind -> AddressOrAlias kind -> AddressOrAlias kind

(SingI kind, L1AddressKind kind) => HasCLReader (AddressOrAlias kind)

Defined in Morley.Tezos.Address.Alias

Methods

getReader :: ReadM (AddressOrAlias kind)

getMetavar :: String

data Alias (kind :: AddressKind) where

tezos-client can associate addresses with textual aliases. This type denotes such an alias.

Constructors

ImplicitAlias :: Text -> Alias 'AddressKindImplicit

ContractAlias :: Text -> Alias 'AddressKindContract

Instances

(SingI kind, L1AddressKind kind) => FromJSON (Alias kind)

Defined in Morley.Tezos.Address.Alias

Methods

parseJSON :: Value -> Parser (Alias kind)

parseJSONList :: Value -> Parser [Alias kind]

ToJSON (Alias kind)

Defined in Morley.Tezos.Address.Alias

Methods

toJSON :: Alias kind -> Value

toEncoding :: Alias kind -> Encoding

toJSONList :: [Alias kind] -> Value

toEncodingList :: [Alias kind] -> Encoding

Show (Alias kind)

Defined in Morley.Tezos.Address.Alias

Methods

showsPrec :: Int -> Alias kind -> ShowS

show :: Alias kind -> String

showList :: [Alias kind] -> ShowS

Buildable (Alias kind)

Defined in Morley.Tezos.Address.Alias

Methods

build :: Alias kind -> Builder

Eq (Alias kind)

Defined in Morley.Tezos.Address.Alias

Methods

(==) :: Alias kind -> Alias kind -> Bool

(/=) :: Alias kind -> Alias kind -> Bool

Ord (Alias kind)

Defined in Morley.Tezos.Address.Alias

Methods

compare :: Alias kind -> Alias kind -> Ordering

(<) :: Alias kind -> Alias kind -> Bool

(<=) :: Alias kind -> Alias kind -> Bool

(>) :: Alias kind -> Alias kind -> Bool

(>=) :: Alias kind -> Alias kind -> Bool

max :: Alias kind -> Alias kind -> Alias kind

min :: Alias kind -> Alias kind -> Alias kind

data SomeAlias

Existential wrapper over Alias.

Constructors

forall kind. SomeAlias (Alias kind)

Instances

Show SomeAlias

Defined in Morley.Tezos.Address.Alias

Methods

showsPrec :: Int -> SomeAlias -> ShowS

show :: SomeAlias -> String

showList :: [SomeAlias] -> ShowS

Buildable SomeAlias

Defined in Morley.Tezos.Address.Alias

Methods

build :: SomeAlias -> Builder

data SomeAddressOrAlias

Existential over AddressOrAlias.

Constructors

forall kind. SomeAddressOrAlias (AddressOrAlias kind)

Instances

Show SomeAddressOrAlias

Defined in Morley.Tezos.Address.Alias

Methods

showsPrec :: Int -> SomeAddressOrAlias -> ShowS

show :: SomeAddressOrAlias -> String

showList :: [SomeAddressOrAlias] -> ShowS

Buildable SomeAddressOrAlias

Defined in Morley.Tezos.Address.Alias

Methods

build :: SomeAddressOrAlias -> Builder

type ImplicitAlias = Alias 'AddressKindImplicit

A type only allowing ImplicitAlias values.

type ContractAlias = Alias 'AddressKindContract

A type only allowing ContractAlias values.

type ImplicitAddressOrAlias = AddressOrAlias 'AddressKindImplicit

Convenience type synonym.

type ContractAddressOrAlias = AddressOrAlias 'AddressKindContract

Convenience type synonym.

unAlias :: Alias kind -> Text

Get raw alias text from Alias

mkAlias :: forall kind. (SingI kind, L1AddressKind kind) => Text -> Alias kind

Construct an Alias from alias Text.

aliasKindSanity :: Alias kind -> Dict (L1AddressKind kind, SingI kind)

Given an Alias, prove it's kind is well-defined (i.e. it has a SingI instance and satisfies L1AddressKind constraint)