Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 #
Instances
ToJSONObject DelegationOperation Source # | |
Defined in Morley.Client.RPC.Types | |
ToJSONObject EventOperation Source # | |
Defined in Morley.Client.RPC.Types | |
ToJSONObject OriginationOperation Source # | |
Defined in Morley.Client.RPC.Types | |
ToJSONObject RevealOperation Source # | |
Defined in Morley.Client.RPC.Types | |
ToJSONObject TransactionOperation Source # | |
Defined in Morley.Client.RPC.Types | |
ToJSONObject TransferTicketOperation Source # | |
Defined in Morley.Client.RPC.Types | |
ToJSON (OperationInfo i) => ToJSONObject (OperationInfo i) Source # | |
Defined in Morley.Client.Types |
class OperationInfoDescriptor (i :: Type) Source #
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
OperationInfoDescriptor ClientInput Source # | |
Defined in Morley.Client.Action.Common type TransferInfo ClientInput Source # type TransferTicketInfo ClientInput Source # type OriginationInfo ClientInput Source # type RevealInfo ClientInput Source # type DelegationInfo ClientInput Source # | |
OperationInfoDescriptor Result Source # | |
Defined in Morley.Client.Action.Operation type TransferInfo Result Source # type TransferTicketInfo Result Source # type OriginationInfo Result Source # type RevealInfo Result Source # type DelegationInfo Result Source # | |
OperationInfoDescriptor RPCInput Source # | |
Defined in Morley.Client.RPC.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 #
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) Source # | |
Defined in Morley.Client.Types toJSON :: OperationInfo i -> Value # toEncoding :: OperationInfo i -> Encoding # toJSONList :: [OperationInfo i] -> Value # toEncodingList :: [OperationInfo i] -> Encoding # | |
ToJSON (OperationInfo i) => ToJSONObject (OperationInfo i) Source # | |
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.
AddressWithAlias | |
|
Instances
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 #