Safe Haskell	Safe-Inferred
Language	Haskell2010

Morley.Client.Types

Synopsis

class ToJSON a => ToJSONObject a
class OperationInfoDescriptor (i :: Type) where
- type TransferInfo i :: Type
- type TransferTicketInfo i :: Type
- type OriginationInfo i :: Type
- type RevealInfo i :: Type
- type DelegationInfo i :: Type
data OperationInfo i
- = OpTransfer (TransferInfo i)
- | OpTransferTicket (TransferTicketInfo i)
- | OpOriginate (OriginationInfo i)
- | OpReveal (RevealInfo i)
- | OpDelegation (DelegationInfo i)
data AddressWithAlias kind = AddressWithAlias {
- awaAddress :: KindedAddress kind
- awaAlias :: Alias kind
}
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)

Documentation

class ToJSON a => ToJSONObject a Source #

Designates types whose ToJSON instance produces only Objects.

Instances

Instances details

ToJSONObject DelegationOperation Source #
Instance details Defined in Morley.Client.RPC.Types
ToJSONObject EventOperation Source #
Instance details Defined in Morley.Client.RPC.Types
ToJSONObject OriginationOperation Source #
Instance details Defined in Morley.Client.RPC.Types
ToJSONObject RevealOperation Source #
Instance details Defined in Morley.Client.RPC.Types
ToJSONObject TransactionOperation Source #
Instance details Defined in Morley.Client.RPC.Types
ToJSONObject TransferTicketOperation Source #
Instance details Defined in Morley.Client.RPC.Types
ToJSON (OperationInfo i) => ToJSONObject (OperationInfo i) Source #
Instance details Defined in Morley.Client.Types

class OperationInfoDescriptor (i :: Type) Source #

Associated Types

type TransferInfo i :: Type Source #

type TransferTicketInfo i :: Type Source #

type OriginationInfo i :: Type Source #

type RevealInfo i :: Type Source #

type DelegationInfo i :: Type Source #

Instances

Instances details

OperationInfoDescriptor ClientInput Source #
Instance details Defined in Morley.Client.Action.Common Associated Types type TransferInfo ClientInput Source # type TransferTicketInfo ClientInput Source # type OriginationInfo ClientInput Source # type RevealInfo ClientInput Source # type DelegationInfo ClientInput Source #
OperationInfoDescriptor Result Source #
Instance details Defined in Morley.Client.Action.Operation Associated Types type TransferInfo Result Source # type TransferTicketInfo Result Source # type OriginationInfo Result Source # type RevealInfo Result Source # type DelegationInfo Result Source #
OperationInfoDescriptor RPCInput Source #
Instance details Defined in Morley.Client.RPC.Types Associated Types type TransferInfo RPCInput Source # type TransferTicketInfo RPCInput Source # type OriginationInfo RPCInput Source # type RevealInfo RPCInput Source # type DelegationInfo RPCInput Source #

data OperationInfo i Source #

Constructors

OpTransfer (TransferInfo i)
OpTransferTicket (TransferTicketInfo i)
OpOriginate (OriginationInfo i)
OpReveal (RevealInfo i)
OpDelegation (DelegationInfo i)

Instances

Instances details

Each '[ToJSONObject] '[TransferInfo i, TransferTicketInfo i, OriginationInfo i, RevealInfo i, DelegationInfo i] => ToJSON (OperationInfo i) Source #
Instance details 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) Source #
Instance details Defined in Morley.Client.Types

data AddressWithAlias kind Source #

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

Instances details

ToTAddress cp vd (KindedAddress kind) => ToTAddress cp vd (AddressWithAlias kind) Source #
Instance details Defined in Morley.Client.Types Methods toTAddress :: AddressWithAlias kind -> TAddress cp vd
Show (AddressWithAlias kind) Source #
Instance details Defined in Morley.Client.Types Methods showsPrec :: Int -> AddressWithAlias kind -> ShowS # show :: AddressWithAlias kind -> String # showList :: [AddressWithAlias kind] -> ShowS #
Eq (AddressWithAlias kind) Source #
Instance details Defined in Morley.Client.Types Methods (==) :: AddressWithAlias kind -> AddressWithAlias kind -> Bool # (/=) :: AddressWithAlias kind -> AddressWithAlias kind -> Bool #
Ord (AddressWithAlias kind) Source #
Instance details 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) Source #
Instance details Defined in Morley.Client.Types Methods toAddress :: AddressWithAlias kind -> Address
Buildable (AddressWithAlias kind) Source #
Instance details Defined in Morley.Client.Types Methods build :: AddressWithAlias kind -> Doc buildList :: [AddressWithAlias kind] -> Doc

type ImplicitAddressWithAlias = AddressWithAlias 'AddressKindImplicit Source #

type ContractAddressWithAlias = AddressWithAlias 'AddressKindContract Source #

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

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

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

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

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