Morley.Tezos.Address.Kinds

Address kinds.

Documentation

data AddressKind

Address "kind"

Constructors

AddressKindImplicit

an implicit address, tz1-tz3

AddressKindContract

a contract address, KT1

AddressKindTxRollup

a transaction rollup address, txr1

Instances

FromJSON Address

Defined in Morley.Tezos.Address

Methods

parseJSON :: Value -> Parser Address

parseJSONList :: Value -> Parser [Address]

FromJSONKey Address

Defined in Morley.Tezos.Address

Methods

fromJSONKey :: FromJSONKeyFunction Address

fromJSONKeyList :: FromJSONKeyFunction [Address]

Buildable AddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

build :: AddressKind -> Builder

HasRPCRepr Address

Defined in Morley.AsRPC

Associated Types

type AsRPC Address

TypeHasDoc Address

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions Address :: FieldDescriptions

Methods

typeDocName :: Proxy Address -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Address -> WithinParens -> Markdown

typeDocDependencies :: Proxy Address -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Address

typeDocMichelsonRep :: TypeDocMichelsonRep Address

IsoValue Address

Defined in Morley.Michelson.Typed.Haskell.Value

Associated Types

type ToT Address :: T

Methods

toVal :: Address -> Value (ToT Address)

fromVal :: Value (ToT Address) -> Address

SingKind AddressKind

Defined in Morley.Tezos.Address.Kinds

Associated Types

type Demote AddressKind = (r :: Type)

Methods

fromSing :: forall (a :: AddressKind). Sing a -> Demote AddressKind

toSing :: Demote AddressKind -> SomeSing AddressKind

SDecide AddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

(%~) :: forall (a :: AddressKind) (b :: AddressKind). Sing a -> Sing b -> Decision (a :~: b)

TestCoercion SingAddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

testCoercion :: forall (a :: k) (b :: k). SingAddressKind a -> SingAddressKind b -> Maybe (Coercion a b)

TestEquality SingAddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

testEquality :: forall (a :: k) (b :: k). SingAddressKind a -> SingAddressKind b -> Maybe (a :~: b)

SingI 'AddressKindContract

Defined in Morley.Tezos.Address.Kinds

Methods

sing :: Sing 'AddressKindContract

SingI 'AddressKindImplicit

Defined in Morley.Tezos.Address.Kinds

Methods

sing :: Sing 'AddressKindImplicit

SingI 'AddressKindTxRollup

Defined in Morley.Tezos.Address.Kinds

Methods

sing :: Sing 'AddressKindTxRollup

type AsRPC Address

Defined in Morley.AsRPC

type AsRPC Address = Address

type TypeDocFieldDescriptions Address

Defined in Morley.Michelson.Typed.Haskell.Doc

type TypeDocFieldDescriptions Address = '[] :: [(Symbol, (Maybe Symbol, [(Symbol, Symbol)]))]

type ToT Address

Defined in Morley.Michelson.Typed.Haskell.Value

type ToT Address = 'TAddress

type Demote AddressKind

Defined in Morley.Tezos.Address.Kinds

type Demote AddressKind = AddressKind

type Sing

Defined in Morley.Tezos.Address.Kinds

type Sing = SingAddressKind

data SingAddressKind :: AddressKind -> Type where

Constructors

SAddressKindImplicit :: SingAddressKind ('AddressKindImplicit :: AddressKind)

SAddressKindContract :: SingAddressKind ('AddressKindContract :: AddressKind)

SAddressKindTxRollup :: SingAddressKind ('AddressKindTxRollup :: AddressKind)

Instances

TestCoercion SingAddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

testCoercion :: forall (a :: k) (b :: k). SingAddressKind a -> SingAddressKind b -> Maybe (Coercion a b)

TestEquality SingAddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

testEquality :: forall (a :: k) (b :: k). SingAddressKind a -> SingAddressKind b -> Maybe (a :~: b)