Morley.Client.Types

Documentation

class ToJSON a => ToJSONObject a

Designates types whose ToJSON instance produces only Objects.

Instances

ToJSONObject DelegationOperation

Defined in Morley.Client.RPC.Types

ToJSONObject EventOperation

Defined in Morley.Client.RPC.Types

ToJSONObject OriginationOperation

Defined in Morley.Client.RPC.Types

ToJSONObject RevealOperation

Defined in Morley.Client.RPC.Types

ToJSONObject TransactionOperation

Defined in Morley.Client.RPC.Types

ToJSONObject TransferTicketOperation

Defined in Morley.Client.RPC.Types

ToJSON (OperationInfo i) => ToJSONObject (OperationInfo i)

Defined in Morley.Client.Types

class OperationInfoDescriptor (i :: Type)

Associated Types

type TransferInfo i :: Type

type TransferTicketInfo i :: Type

type OriginationInfo i :: Type

type RevealInfo i :: Type

type DelegationInfo i :: Type

Instances

OperationInfoDescriptor ClientInput

Defined in Morley.Client.Action.Common

Associated Types

type TransferInfo ClientInput

type TransferTicketInfo ClientInput

type OriginationInfo ClientInput

type RevealInfo ClientInput

type DelegationInfo ClientInput

OperationInfoDescriptor Result

Defined in Morley.Client.Action.Operation

Associated Types

type TransferInfo Result

type TransferTicketInfo Result

type OriginationInfo Result

type RevealInfo Result

type DelegationInfo Result

OperationInfoDescriptor RPCInput

Defined in Morley.Client.RPC.Types

Associated Types

type TransferInfo RPCInput

type TransferTicketInfo RPCInput

type OriginationInfo RPCInput

type RevealInfo RPCInput

type DelegationInfo RPCInput

data OperationInfo i

Constructors

OpTransfer (TransferInfo i)

OpTransferTicket (TransferTicketInfo i)

OpOriginate (OriginationInfo i)

OpReveal (RevealInfo i)

OpDelegation (DelegationInfo i)

Instances

Each '[ToJSONObject] '[TransferInfo i, TransferTicketInfo i, OriginationInfo i, RevealInfo i, DelegationInfo i] => ToJSON (OperationInfo i)

Defined in Morley.Client.Types

Methods

toJSON :: OperationInfo i -> Value

toEncoding :: OperationInfo i -> Encoding

toJSONList :: [OperationInfo i] -> Value

toEncodingList :: [OperationInfo i] -> Encoding

ToJSON (OperationInfo i) => ToJSONObject (OperationInfo i)

Defined in Morley.Client.Types

data AddressWithAlias kind

A kinded address together with the corresponding alias. Due to the quirks of octez-client we usually need both in morley-client, hence the need for this type. Historically, we asked octez-client for the missing part, but that resulted in a lot of inefficiencies.

Note that the Ord instance is rather arbitrary, and doesn't necessarily correspond to anything in Michelson. It's added for convenience, e.g. so that AddressWithAlias is usable as a Map key.

Constructors

AddressWithAlias

Fields

• awaAddress :: KindedAddress kind
• awaAlias :: Alias kind

Instances

ToTAddress cp vd (KindedAddress kind) => ToTAddress cp vd (AddressWithAlias kind)

Defined in Morley.Client.Types

Methods

toTAddress :: AddressWithAlias kind -> TAddress cp vd

Show (AddressWithAlias kind)

Defined in Morley.Client.Types

Methods

showsPrec :: Int -> AddressWithAlias kind -> ShowS

show :: AddressWithAlias kind -> String

showList :: [AddressWithAlias kind] -> ShowS

Eq (AddressWithAlias kind)

Defined in Morley.Client.Types

Methods

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

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

Ord (AddressWithAlias kind)

Defined in Morley.Client.Types

Methods

compare :: AddressWithAlias kind -> AddressWithAlias kind -> Ordering

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

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

(>) :: AddressWithAlias kind -> AddressWithAlias kind -> Bool

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

max :: AddressWithAlias kind -> AddressWithAlias kind -> AddressWithAlias kind

min :: AddressWithAlias kind -> AddressWithAlias kind -> AddressWithAlias kind

ToAddress (AddressWithAlias kind)

Defined in Morley.Client.Types

Methods

toAddress :: AddressWithAlias kind -> Address

Buildable (AddressWithAlias kind)

Defined in Morley.Client.Types

Methods

build :: AddressWithAlias kind -> Doc

buildList :: [AddressWithAlias kind] -> Doc

type ImplicitAddressWithAlias = AddressWithAlias 'AddressKindImplicit

type ContractAddressWithAlias = AddressWithAlias 'AddressKindContract

_OpTransfer :: forall i. Prism' (OperationInfo i) (TransferInfo i)

_OpOriginate :: forall i. Prism' (OperationInfo i) (OriginationInfo i)

_OpReveal :: forall i. Prism' (OperationInfo i) (RevealInfo i)

_OpDelegation :: forall i. Prism' (OperationInfo i) (DelegationInfo i)

_OpTransferTicket :: forall i. Prism' (OperationInfo i) (TransferTicketInfo i)