Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Marlowe.Protocol.Query.Types

Documentation

type MarloweQuery = Query MarloweSyncRequest Source #

newtype WithdrawalFilter Source #

Constructors

WithdrawalFilter
Fields roleCurrencies :: Set PolicyId

Instances

Instances details

FromJSON WithdrawalFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods parseJSON :: Value -> Parser WithdrawalFilter parseJSONList :: Value -> Parser [WithdrawalFilter]
ToJSON WithdrawalFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: WithdrawalFilter -> Value toEncoding :: WithdrawalFilter -> Encoding toJSONList :: [WithdrawalFilter] -> Value toEncodingList :: [WithdrawalFilter] -> Encoding
Monoid WithdrawalFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods mempty :: WithdrawalFilter Source # mappend :: WithdrawalFilter -> WithdrawalFilter -> WithdrawalFilter Source # mconcat :: [WithdrawalFilter] -> WithdrawalFilter Source #
Semigroup WithdrawalFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (<>) :: WithdrawalFilter -> WithdrawalFilter -> WithdrawalFilter Source # sconcat :: NonEmpty WithdrawalFilter -> WithdrawalFilter Source # stimes :: Integral b => b -> WithdrawalFilter -> WithdrawalFilter Source #
Generic WithdrawalFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Associated Types type Rep WithdrawalFilter :: Type -> Type Source # Methods from :: WithdrawalFilter -> Rep WithdrawalFilter x Source # to :: Rep WithdrawalFilter x -> WithdrawalFilter Source #
Show WithdrawalFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> WithdrawalFilter -> ShowS Source # show :: WithdrawalFilter -> String Source # showList :: [WithdrawalFilter] -> ShowS Source #
Binary WithdrawalFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: WithdrawalFilter -> Put get :: Get WithdrawalFilter putList :: [WithdrawalFilter] -> Put
Eq WithdrawalFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: WithdrawalFilter -> WithdrawalFilter -> Bool Source # (/=) :: WithdrawalFilter -> WithdrawalFilter -> Bool Source #
Ord WithdrawalFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods compare :: WithdrawalFilter -> WithdrawalFilter -> Ordering Source # (<) :: WithdrawalFilter -> WithdrawalFilter -> Bool Source # (<=) :: WithdrawalFilter -> WithdrawalFilter -> Bool Source # (>) :: WithdrawalFilter -> WithdrawalFilter -> Bool Source # (>=) :: WithdrawalFilter -> WithdrawalFilter -> Bool Source # max :: WithdrawalFilter -> WithdrawalFilter -> WithdrawalFilter Source # min :: WithdrawalFilter -> WithdrawalFilter -> WithdrawalFilter Source #
Variations WithdrawalFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty WithdrawalFilter
type Rep WithdrawalFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types type Rep WithdrawalFilter = D1 ('MetaData "WithdrawalFilter" "Language.Marlowe.Protocol.Query.Types" "marlowe-runtime-0.0.5-5pGkNfd81d6aGuKZAtvLW-sync-api" 'True) (C1 ('MetaCons "WithdrawalFilter" 'PrefixI 'True) (S1 ('MetaSel ('Just "roleCurrencies") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set PolicyId))))

data ContractFilter Source #

Constructors

ContractFilter
Fields tags :: Set MarloweMetadataTag roleCurrencies :: Set PolicyId partyRoles :: Set AssetId partyAddresses :: Set Address

Instances

Instances details

FromJSON ContractFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods parseJSON :: Value -> Parser ContractFilter parseJSONList :: Value -> Parser [ContractFilter]
ToJSON ContractFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: ContractFilter -> Value toEncoding :: ContractFilter -> Encoding toJSONList :: [ContractFilter] -> Value toEncodingList :: [ContractFilter] -> Encoding
Monoid ContractFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods mempty :: ContractFilter Source # mappend :: ContractFilter -> ContractFilter -> ContractFilter Source # mconcat :: [ContractFilter] -> ContractFilter Source #
Semigroup ContractFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (<>) :: ContractFilter -> ContractFilter -> ContractFilter Source # sconcat :: NonEmpty ContractFilter -> ContractFilter Source # stimes :: Integral b => b -> ContractFilter -> ContractFilter Source #
Generic ContractFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Associated Types type Rep ContractFilter :: Type -> Type Source # Methods from :: ContractFilter -> Rep ContractFilter x Source # to :: Rep ContractFilter x -> ContractFilter Source #
Show ContractFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> ContractFilter -> ShowS Source # show :: ContractFilter -> String Source # showList :: [ContractFilter] -> ShowS Source #
Binary ContractFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: ContractFilter -> Put get :: Get ContractFilter putList :: [ContractFilter] -> Put
Eq ContractFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: ContractFilter -> ContractFilter -> Bool Source # (/=) :: ContractFilter -> ContractFilter -> Bool Source #
Ord ContractFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods compare :: ContractFilter -> ContractFilter -> Ordering Source # (<) :: ContractFilter -> ContractFilter -> Bool Source # (<=) :: ContractFilter -> ContractFilter -> Bool Source # (>) :: ContractFilter -> ContractFilter -> Bool Source # (>=) :: ContractFilter -> ContractFilter -> Bool Source # max :: ContractFilter -> ContractFilter -> ContractFilter Source # min :: ContractFilter -> ContractFilter -> ContractFilter Source #
Variations ContractFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty ContractFilter
type Rep ContractFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types type Rep ContractFilter = D1 ('MetaData "ContractFilter" "Language.Marlowe.Protocol.Query.Types" "marlowe-runtime-0.0.5-5pGkNfd81d6aGuKZAtvLW-sync-api" 'False) (C1 ('MetaCons "ContractFilter" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set MarloweMetadataTag)) :: S1 ('MetaSel ('Just "roleCurrencies") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set PolicyId))) :: (S1 ('MetaSel ('Just "partyRoles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set AssetId)) :*: S1 ('MetaSel ('Just "partyAddresses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Address)))))

data PayoutFilter Source #

Constructors

PayoutFilter
Fields isWithdrawn :: Maybe Bool contractIds :: Set ContractId roleTokens :: Set AssetId

Instances

Instances details

FromJSON PayoutFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods parseJSON :: Value -> Parser PayoutFilter parseJSONList :: Value -> Parser [PayoutFilter]
ToJSON PayoutFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: PayoutFilter -> Value toEncoding :: PayoutFilter -> Encoding toJSONList :: [PayoutFilter] -> Value toEncodingList :: [PayoutFilter] -> Encoding
Monoid PayoutFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods mempty :: PayoutFilter Source # mappend :: PayoutFilter -> PayoutFilter -> PayoutFilter Source # mconcat :: [PayoutFilter] -> PayoutFilter Source #
Semigroup PayoutFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (<>) :: PayoutFilter -> PayoutFilter -> PayoutFilter Source # sconcat :: NonEmpty PayoutFilter -> PayoutFilter Source # stimes :: Integral b => b -> PayoutFilter -> PayoutFilter Source #
Generic PayoutFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Associated Types type Rep PayoutFilter :: Type -> Type Source # Methods from :: PayoutFilter -> Rep PayoutFilter x Source # to :: Rep PayoutFilter x -> PayoutFilter Source #
Show PayoutFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> PayoutFilter -> ShowS Source # show :: PayoutFilter -> String Source # showList :: [PayoutFilter] -> ShowS Source #
Binary PayoutFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: PayoutFilter -> Put get :: Get PayoutFilter putList :: [PayoutFilter] -> Put
Eq PayoutFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: PayoutFilter -> PayoutFilter -> Bool Source # (/=) :: PayoutFilter -> PayoutFilter -> Bool Source #
Ord PayoutFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods compare :: PayoutFilter -> PayoutFilter -> Ordering Source # (<) :: PayoutFilter -> PayoutFilter -> Bool Source # (<=) :: PayoutFilter -> PayoutFilter -> Bool Source # (>) :: PayoutFilter -> PayoutFilter -> Bool Source # (>=) :: PayoutFilter -> PayoutFilter -> Bool Source # max :: PayoutFilter -> PayoutFilter -> PayoutFilter Source # min :: PayoutFilter -> PayoutFilter -> PayoutFilter Source #
Variations PayoutFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty PayoutFilter
type Rep PayoutFilter Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types type Rep PayoutFilter = D1 ('MetaData "PayoutFilter" "Language.Marlowe.Protocol.Query.Types" "marlowe-runtime-0.0.5-5pGkNfd81d6aGuKZAtvLW-sync-api" 'False) (C1 ('MetaCons "PayoutFilter" 'PrefixI 'True) (S1 ('MetaSel ('Just "isWithdrawn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :: (S1 ('MetaSel ('Just "contractIds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ContractId)) :: S1 ('MetaSel ('Just "roleTokens") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set AssetId)))))

data RuntimeStatus Source #

Constructors

RuntimeStatus
Fields nodeTip :: ChainPoint nodeTipUTC :: UTCTime runtimeChainTip :: ChainPoint runtimeChainTipUTC :: UTCTime runtimeTip :: ChainPoint runtimeTipUTC :: UTCTime networkId :: NetworkId runtimeVersion :: Version

Instances

Instances details

Generic RuntimeStatus Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Associated Types type Rep RuntimeStatus :: Type -> Type Source # Methods from :: RuntimeStatus -> Rep RuntimeStatus x Source # to :: Rep RuntimeStatus x -> RuntimeStatus Source #
Show RuntimeStatus Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> RuntimeStatus -> ShowS Source # show :: RuntimeStatus -> String Source # showList :: [RuntimeStatus] -> ShowS Source #
Binary RuntimeStatus Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: RuntimeStatus -> Put get :: Get RuntimeStatus putList :: [RuntimeStatus] -> Put
Eq RuntimeStatus Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: RuntimeStatus -> RuntimeStatus -> Bool Source # (/=) :: RuntimeStatus -> RuntimeStatus -> Bool Source #
Ord RuntimeStatus Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods compare :: RuntimeStatus -> RuntimeStatus -> Ordering Source # (<) :: RuntimeStatus -> RuntimeStatus -> Bool Source # (<=) :: RuntimeStatus -> RuntimeStatus -> Bool Source # (>) :: RuntimeStatus -> RuntimeStatus -> Bool Source # (>=) :: RuntimeStatus -> RuntimeStatus -> Bool Source # max :: RuntimeStatus -> RuntimeStatus -> RuntimeStatus Source # min :: RuntimeStatus -> RuntimeStatus -> RuntimeStatus Source #
Variations RuntimeStatus Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty RuntimeStatus
type Rep RuntimeStatus Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types type Rep RuntimeStatus = D1 ('MetaData "RuntimeStatus" "Language.Marlowe.Protocol.Query.Types" "marlowe-runtime-0.0.5-5pGkNfd81d6aGuKZAtvLW-sync-api" 'False) (C1 ('MetaCons "RuntimeStatus" 'PrefixI 'True) (((S1 ('MetaSel ('Just "nodeTip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainPoint) :: S1 ('MetaSel ('Just "nodeTipUTC") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)) :: (S1 ('MetaSel ('Just "runtimeChainTip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainPoint) :: S1 ('MetaSel ('Just "runtimeChainTipUTC") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime))) :: ((S1 ('MetaSel ('Just "runtimeTip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainPoint) :: S1 ('MetaSel ('Just "runtimeTipUTC") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)) :: (S1 ('MetaSel ('Just "networkId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NetworkId) :*: S1 ('MetaSel ('Just "runtimeVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version)))))

data MarloweSyncRequest a where Source #

Constructors

ReqStatus :: MarloweSyncRequest RuntimeStatus
ReqContractHeaders :: ContractFilter -> Range ContractId -> MarloweSyncRequest (Maybe (Page ContractId ContractHeader))
ReqContractState :: ContractId -> MarloweSyncRequest (Maybe SomeContractState)
ReqTransaction :: TxId -> MarloweSyncRequest (Maybe SomeTransaction)
ReqTransactions :: ContractId -> MarloweSyncRequest (Maybe SomeTransactions)
ReqWithdrawal :: TxId -> MarloweSyncRequest (Maybe Withdrawal)
ReqWithdrawals :: WithdrawalFilter -> Range TxId -> MarloweSyncRequest (Maybe (Page TxId Withdrawal))
ReqPayouts :: PayoutFilter -> Range TxOutRef -> MarloweSyncRequest (Maybe (Page TxOutRef PayoutHeader))
ReqPayout :: TxOutRef -> MarloweSyncRequest (Maybe SomePayoutState)

Instances

Instances details

BinaryRequest MarloweSyncRequest Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods putReq :: MarloweSyncRequest a -> Put getReq :: Get (SomeRequest MarloweSyncRequest) putResult :: Tag MarloweSyncRequest a -> a -> Put getResult :: Tag MarloweSyncRequest a -> Get a
OTelRequest MarloweSyncRequest Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods reqTypeName :: Proxy MarloweSyncRequest -> Text reqName :: Tag MarloweSyncRequest a -> Text
Request MarloweSyncRequest Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Associated Types data Tag MarloweSyncRequest :: Type -> Type Methods tagFromReq :: MarloweSyncRequest a -> Tag MarloweSyncRequest a tagEq :: Tag MarloweSyncRequest a -> Tag MarloweSyncRequest b -> Maybe (a :~: b)
RequestEq MarloweSyncRequest Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods resultEq :: Tag MarloweSyncRequest a -> a -> a -> Bool
RequestVariations MarloweSyncRequest Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods tagVariations :: NonEmpty (SomeTag MarloweSyncRequest) requestVariations :: Tag MarloweSyncRequest a -> NonEmpty (MarloweSyncRequest a) resultVariations :: Tag MarloweSyncRequest a -> NonEmpty a
ShowRequest MarloweSyncRequest Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrecResult :: Int -> Tag MarloweSyncRequest a -> a -> ShowS
ToJSON (MarloweSyncRequest a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: MarloweSyncRequest a -> Value toEncoding :: MarloweSyncRequest a -> Encoding toJSONList :: [MarloweSyncRequest a] -> Value toEncodingList :: [MarloweSyncRequest a] -> Encoding
Show (MarloweSyncRequest a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> MarloweSyncRequest a -> ShowS Source # show :: MarloweSyncRequest a -> String Source # showList :: [MarloweSyncRequest a] -> ShowS Source #
Eq (MarloweSyncRequest a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: MarloweSyncRequest a -> MarloweSyncRequest a -> Bool Source # (/=) :: MarloweSyncRequest a -> MarloweSyncRequest a -> Bool Source #
Show (Tag MarloweSyncRequest a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> Tag MarloweSyncRequest a -> ShowS Source # show :: Tag MarloweSyncRequest a -> String Source # showList :: [Tag MarloweSyncRequest a] -> ShowS Source #
Eq (Tag MarloweSyncRequest a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: Tag MarloweSyncRequest a -> Tag MarloweSyncRequest a -> Bool Source # (/=) :: Tag MarloweSyncRequest a -> Tag MarloweSyncRequest a -> Bool Source #
HasSignature MarloweSyncRequest Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods signature :: Proxy MarloweSyncRequest -> Text
data Tag MarloweSyncRequest a Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types data Tag MarloweSyncRequest a where TagStatus :: Tag MarloweSyncRequest RuntimeStatus TagContractHeaders :: Tag MarloweSyncRequest (Maybe (Page ContractId ContractHeader)) TagContractState :: Tag MarloweSyncRequest (Maybe SomeContractState) TagTransaction :: Tag MarloweSyncRequest (Maybe SomeTransaction) TagTransactions :: Tag MarloweSyncRequest (Maybe SomeTransactions) TagWithdrawal :: Tag MarloweSyncRequest (Maybe Withdrawal) TagWithdrawals :: Tag MarloweSyncRequest (Maybe (Page TxId Withdrawal)) TagPayouts :: Tag MarloweSyncRequest (Maybe (Page TxOutRef PayoutHeader)) TagPayout :: Tag MarloweSyncRequest (Maybe SomePayoutState)

data Range a Source #

Constructors

Range
Fields rangeStart :: Maybe a rangeOffset :: Int rangeLimit :: Int rangeDirection :: Order

Instances

Instances details

Foldable Range Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods fold :: Monoid m => Range m -> m Source # foldMap :: Monoid m => (a -> m) -> Range a -> m Source # foldMap' :: Monoid m => (a -> m) -> Range a -> m Source # foldr :: (a -> b -> b) -> b -> Range a -> b Source # foldr' :: (a -> b -> b) -> b -> Range a -> b Source # foldl :: (b -> a -> b) -> b -> Range a -> b Source # foldl' :: (b -> a -> b) -> b -> Range a -> b Source # foldr1 :: (a -> a -> a) -> Range a -> a Source # foldl1 :: (a -> a -> a) -> Range a -> a Source # toList :: Range a -> [a] Source # null :: Range a -> Bool Source # length :: Range a -> Int Source # elem :: Eq a => a -> Range a -> Bool Source # maximum :: Ord a => Range a -> a Source # minimum :: Ord a => Range a -> a Source # sum :: Num a => Range a -> a Source # product :: Num a => Range a -> a Source #
Traversable Range Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods traverse :: Applicative f => (a -> f b) -> Range a -> f (Range b) Source # sequenceA :: Applicative f => Range (f a) -> f (Range a) Source # mapM :: Monad m => (a -> m b) -> Range a -> m (Range b) Source # sequence :: Monad m => Range (m a) -> m (Range a) Source #
Functor Range Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods fmap :: (a -> b) -> Range a -> Range b Source # (<$) :: a -> Range b -> Range a Source #
ToJSON a => ToJSON (Range a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: Range a -> Value toEncoding :: Range a -> Encoding toJSONList :: [Range a] -> Value toEncodingList :: [Range a] -> Encoding
Generic (Range a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Associated Types type Rep (Range a) :: Type -> Type Source # Methods from :: Range a -> Rep (Range a) x Source # to :: Rep (Range a) x -> Range a Source #
Read a => Read (Range a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods readsPrec :: Int -> ReadS (Range a) Source # readList :: ReadS [Range a] Source # readPrec :: ReadPrec (Range a) Source # readListPrec :: ReadPrec [Range a] Source #
Show a => Show (Range a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> Range a -> ShowS Source # show :: Range a -> String Source # showList :: [Range a] -> ShowS Source #
Binary a => Binary (Range a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: Range a -> Put get :: Get (Range a) putList :: [Range a] -> Put
Eq a => Eq (Range a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: Range a -> Range a -> Bool Source # (/=) :: Range a -> Range a -> Bool Source #
Ord a => Ord (Range a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods compare :: Range a -> Range a -> Ordering Source # (<) :: Range a -> Range a -> Bool Source # (<=) :: Range a -> Range a -> Bool Source # (>) :: Range a -> Range a -> Bool Source # (>=) :: Range a -> Range a -> Bool Source # max :: Range a -> Range a -> Range a Source # min :: Range a -> Range a -> Range a Source #
Variations a => Variations (Range a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty (Range a)
type Rep (Range a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types type Rep (Range a) = D1 ('MetaData "Range" "Language.Marlowe.Protocol.Query.Types" "marlowe-runtime-0.0.5-5pGkNfd81d6aGuKZAtvLW-sync-api" 'False) (C1 ('MetaCons "Range" 'PrefixI 'True) ((S1 ('MetaSel ('Just "rangeStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a)) :: S1 ('MetaSel ('Just "rangeOffset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :: (S1 ('MetaSel ('Just "rangeLimit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "rangeDirection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Order))))

data Page a b Source #

Constructors

Page
Fields items :: [b] nextRange :: Maybe (Range a) totalCount :: Int

Instances

Instances details

Bifunctor Page Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods bimap :: (a -> b) -> (c -> d) -> Page a c -> Page b d Source # first :: (a -> b) -> Page a c -> Page b c Source # second :: (b -> c) -> Page a b -> Page a c Source #
Foldable (Page a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods fold :: Monoid m => Page a m -> m Source # foldMap :: Monoid m => (a0 -> m) -> Page a a0 -> m Source # foldMap' :: Monoid m => (a0 -> m) -> Page a a0 -> m Source # foldr :: (a0 -> b -> b) -> b -> Page a a0 -> b Source # foldr' :: (a0 -> b -> b) -> b -> Page a a0 -> b Source # foldl :: (b -> a0 -> b) -> b -> Page a a0 -> b Source # foldl' :: (b -> a0 -> b) -> b -> Page a a0 -> b Source # foldr1 :: (a0 -> a0 -> a0) -> Page a a0 -> a0 Source # foldl1 :: (a0 -> a0 -> a0) -> Page a a0 -> a0 Source # toList :: Page a a0 -> [a0] Source # null :: Page a a0 -> Bool Source # length :: Page a a0 -> Int Source # elem :: Eq a0 => a0 -> Page a a0 -> Bool Source # maximum :: Ord a0 => Page a a0 -> a0 Source # minimum :: Ord a0 => Page a a0 -> a0 Source # sum :: Num a0 => Page a a0 -> a0 Source # product :: Num a0 => Page a a0 -> a0 Source #
Traversable (Page a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods traverse :: Applicative f => (a0 -> f b) -> Page a a0 -> f (Page a b) Source # sequenceA :: Applicative f => Page a (f a0) -> f (Page a a0) Source # mapM :: Monad m => (a0 -> m b) -> Page a a0 -> m (Page a b) Source # sequence :: Monad m => Page a (m a0) -> m (Page a a0) Source #
Functor (Page a) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods fmap :: (a0 -> b) -> Page a a0 -> Page a b Source # (<$) :: a0 -> Page a b -> Page a a0 Source #
(ToJSON a, ToJSON b) => ToJSON (Page a b) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: Page a b -> Value toEncoding :: Page a b -> Encoding toJSONList :: [Page a b] -> Value toEncodingList :: [Page a b] -> Encoding
Generic (Page a b) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Associated Types type Rep (Page a b) :: Type -> Type Source # Methods from :: Page a b -> Rep (Page a b) x Source # to :: Rep (Page a b) x -> Page a b Source #
(Read b, Read a) => Read (Page a b) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods readsPrec :: Int -> ReadS (Page a b) Source # readList :: ReadS [Page a b] Source # readPrec :: ReadPrec (Page a b) Source # readListPrec :: ReadPrec [Page a b] Source #
(Show b, Show a) => Show (Page a b) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> Page a b -> ShowS Source # show :: Page a b -> String Source # showList :: [Page a b] -> ShowS Source #
(Binary b, Binary a) => Binary (Page a b) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: Page a b -> Put get :: Get (Page a b) putList :: [Page a b] -> Put
(Eq b, Eq a) => Eq (Page a b) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: Page a b -> Page a b -> Bool Source # (/=) :: Page a b -> Page a b -> Bool Source #
(Ord b, Ord a) => Ord (Page a b) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods compare :: Page a b -> Page a b -> Ordering Source # (<) :: Page a b -> Page a b -> Bool Source # (<=) :: Page a b -> Page a b -> Bool Source # (>) :: Page a b -> Page a b -> Bool Source # (>=) :: Page a b -> Page a b -> Bool Source # max :: Page a b -> Page a b -> Page a b Source # min :: Page a b -> Page a b -> Page a b Source #
(Variations b, Variations a) => Variations (Page a b) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty (Page a b)
type Rep (Page a b) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types type Rep (Page a b) = D1 ('MetaData "Page" "Language.Marlowe.Protocol.Query.Types" "marlowe-runtime-0.0.5-5pGkNfd81d6aGuKZAtvLW-sync-api" 'False) (C1 ('MetaCons "Page" 'PrefixI 'True) (S1 ('MetaSel ('Just "items") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [b]) :: (S1 ('MetaSel ('Just "nextRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Range a))) :: S1 ('MetaSel ('Just "totalCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))

data SomeContractState Source #

Constructors

forall v. SomeContractState (MarloweVersion v) (ContractState v)

Instances

Instances details

ToJSON SomeContractState Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: SomeContractState -> Value toEncoding :: SomeContractState -> Encoding toJSONList :: [SomeContractState] -> Value toEncodingList :: [SomeContractState] -> Encoding
Show SomeContractState Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> SomeContractState -> ShowS Source # show :: SomeContractState -> String Source # showList :: [SomeContractState] -> ShowS Source #
Binary SomeContractState Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: SomeContractState -> Put get :: Get SomeContractState putList :: [SomeContractState] -> Put
Eq SomeContractState Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: SomeContractState -> SomeContractState -> Bool Source # (/=) :: SomeContractState -> SomeContractState -> Bool Source #
Variations SomeContractState Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty SomeContractState

data SomePayoutState Source #

Constructors

forall v. SomePayoutState (MarloweVersion v) (PayoutState v)

Instances

Instances details

ToJSON SomePayoutState Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: SomePayoutState -> Value toEncoding :: SomePayoutState -> Encoding toJSONList :: [SomePayoutState] -> Value toEncodingList :: [SomePayoutState] -> Encoding
Show SomePayoutState Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> SomePayoutState -> ShowS Source # show :: SomePayoutState -> String Source # showList :: [SomePayoutState] -> ShowS Source #
Binary SomePayoutState Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: SomePayoutState -> Put get :: Get SomePayoutState putList :: [SomePayoutState] -> Put
Eq SomePayoutState Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: SomePayoutState -> SomePayoutState -> Bool Source # (/=) :: SomePayoutState -> SomePayoutState -> Bool Source #
Variations SomePayoutState Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty SomePayoutState

data SomeTransaction Source #

Constructors

forall v. SomeTransaction
Fields version :: MarloweVersion v input :: TxOutRef consumedBy :: Maybe TxId transaction :: Transaction v

Instances

Instances details

ToJSON SomeTransaction Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: SomeTransaction -> Value toEncoding :: SomeTransaction -> Encoding toJSONList :: [SomeTransaction] -> Value toEncodingList :: [SomeTransaction] -> Encoding
Show SomeTransaction Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> SomeTransaction -> ShowS Source # show :: SomeTransaction -> String Source # showList :: [SomeTransaction] -> ShowS Source #
Binary SomeTransaction Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: SomeTransaction -> Put get :: Get SomeTransaction putList :: [SomeTransaction] -> Put
Eq SomeTransaction Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: SomeTransaction -> SomeTransaction -> Bool Source # (/=) :: SomeTransaction -> SomeTransaction -> Bool Source #
Variations SomeTransaction Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty SomeTransaction

data SomeTransactions Source #

Constructors

forall v. SomeTransactions (MarloweVersion v) [Transaction v]

Instances

Instances details

ToJSON SomeTransactions Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: SomeTransactions -> Value toEncoding :: SomeTransactions -> Encoding toJSONList :: [SomeTransactions] -> Value toEncodingList :: [SomeTransactions] -> Encoding
Show SomeTransactions Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> SomeTransactions -> ShowS Source # show :: SomeTransactions -> String Source # showList :: [SomeTransactions] -> ShowS Source #
Binary SomeTransactions Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: SomeTransactions -> Put get :: Get SomeTransactions putList :: [SomeTransactions] -> Put
Eq SomeTransactions Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: SomeTransactions -> SomeTransactions -> Bool Source # (/=) :: SomeTransactions -> SomeTransactions -> Bool Source #
Variations SomeTransactions Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty SomeTransactions

data ContractState v Source #

Constructors

ContractState
Fields contractId :: ContractId roleTokenMintingPolicyId :: PolicyId metadata :: MarloweTransactionMetadata initialBlock :: BlockHeader initialOutput :: TransactionScriptOutput v latestBlock :: BlockHeader latestOutput :: Maybe (TransactionScriptOutput v) unclaimedPayouts :: Map TxOutRef (Payout v)

Instances

Instances details

ToJSON (ContractState 'V1) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: ContractState 'V1 -> Value toEncoding :: ContractState 'V1 -> Encoding toJSONList :: [ContractState 'V1] -> Value toEncodingList :: [ContractState 'V1] -> Encoding
Generic (ContractState v) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Associated Types type Rep (ContractState v) :: Type -> Type Source # Methods from :: ContractState v -> Rep (ContractState v) x Source # to :: Rep (ContractState v) x -> ContractState v Source #
Show (ContractState 'V1) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> ContractState 'V1 -> ShowS Source # show :: ContractState 'V1 -> String Source # showList :: [ContractState 'V1] -> ShowS Source #
Binary (ContractState 'V1) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: ContractState 'V1 -> Put get :: Get (ContractState 'V1) putList :: [ContractState 'V1] -> Put
Eq (ContractState 'V1) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: ContractState 'V1 -> ContractState 'V1 -> Bool Source # (/=) :: ContractState 'V1 -> ContractState 'V1 -> Bool Source #
Variations (ContractState 'V1) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty (ContractState 'V1)
type Rep (ContractState v) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types type Rep (ContractState v) = D1 ('MetaData "ContractState" "Language.Marlowe.Protocol.Query.Types" "marlowe-runtime-0.0.5-5pGkNfd81d6aGuKZAtvLW-sync-api" 'False) (C1 ('MetaCons "ContractState" 'PrefixI 'True) (((S1 ('MetaSel ('Just "contractId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContractId) :: S1 ('MetaSel ('Just "roleTokenMintingPolicyId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PolicyId)) :: (S1 ('MetaSel ('Just "metadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MarloweTransactionMetadata) :: S1 ('MetaSel ('Just "initialBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeader))) :: ((S1 ('MetaSel ('Just "initialOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TransactionScriptOutput v)) :: S1 ('MetaSel ('Just "latestBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeader)) :: (S1 ('MetaSel ('Just "latestOutput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (TransactionScriptOutput v))) :*: S1 ('MetaSel ('Just "unclaimedPayouts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map TxOutRef (Payout v)))))))

data PayoutHeader Source #

Constructors

PayoutHeader
Fields contractId :: ContractId payoutId :: TxOutRef withdrawalId :: Maybe TxId role :: AssetId

Instances

Instances details

ToJSON PayoutHeader Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: PayoutHeader -> Value toEncoding :: PayoutHeader -> Encoding toJSONList :: [PayoutHeader] -> Value toEncodingList :: [PayoutHeader] -> Encoding
Generic PayoutHeader Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Associated Types type Rep PayoutHeader :: Type -> Type Source # Methods from :: PayoutHeader -> Rep PayoutHeader x Source # to :: Rep PayoutHeader x -> PayoutHeader Source #
Show PayoutHeader Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> PayoutHeader -> ShowS Source # show :: PayoutHeader -> String Source # showList :: [PayoutHeader] -> ShowS Source #
Binary PayoutHeader Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: PayoutHeader -> Put get :: Get PayoutHeader putList :: [PayoutHeader] -> Put
Eq PayoutHeader Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: PayoutHeader -> PayoutHeader -> Bool Source # (/=) :: PayoutHeader -> PayoutHeader -> Bool Source #
Ord PayoutHeader Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods compare :: PayoutHeader -> PayoutHeader -> Ordering Source # (<) :: PayoutHeader -> PayoutHeader -> Bool Source # (<=) :: PayoutHeader -> PayoutHeader -> Bool Source # (>) :: PayoutHeader -> PayoutHeader -> Bool Source # (>=) :: PayoutHeader -> PayoutHeader -> Bool Source # max :: PayoutHeader -> PayoutHeader -> PayoutHeader Source # min :: PayoutHeader -> PayoutHeader -> PayoutHeader Source #
Variations PayoutHeader Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty PayoutHeader
type Rep PayoutHeader Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types type Rep PayoutHeader = D1 ('MetaData "PayoutHeader" "Language.Marlowe.Protocol.Query.Types" "marlowe-runtime-0.0.5-5pGkNfd81d6aGuKZAtvLW-sync-api" 'False) (C1 ('MetaCons "PayoutHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "contractId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContractId) :: S1 ('MetaSel ('Just "payoutId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef)) :: (S1 ('MetaSel ('Just "withdrawalId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TxId)) :*: S1 ('MetaSel ('Just "role") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AssetId))))

data PayoutState v Source #

Constructors

PayoutState
Fields contractId :: ContractId payoutId :: TxOutRef withdrawalId :: Maybe TxId payout :: Payout v

Instances

Instances details

ToJSON (PayoutState 'V1) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: PayoutState 'V1 -> Value toEncoding :: PayoutState 'V1 -> Encoding toJSONList :: [PayoutState 'V1] -> Value toEncodingList :: [PayoutState 'V1] -> Encoding
Generic (PayoutState v) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Associated Types type Rep (PayoutState v) :: Type -> Type Source # Methods from :: PayoutState v -> Rep (PayoutState v) x Source # to :: Rep (PayoutState v) x -> PayoutState v Source #
Show (PayoutState 'V1) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> PayoutState 'V1 -> ShowS Source # show :: PayoutState 'V1 -> String Source # showList :: [PayoutState 'V1] -> ShowS Source #
Binary (PayoutState 'V1) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: PayoutState 'V1 -> Put get :: Get (PayoutState 'V1) putList :: [PayoutState 'V1] -> Put
Eq (PayoutState 'V1) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: PayoutState 'V1 -> PayoutState 'V1 -> Bool Source # (/=) :: PayoutState 'V1 -> PayoutState 'V1 -> Bool Source #
Variations (PayoutState 'V1) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty (PayoutState 'V1)
type Rep (PayoutState v) Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types type Rep (PayoutState v) = D1 ('MetaData "PayoutState" "Language.Marlowe.Protocol.Query.Types" "marlowe-runtime-0.0.5-5pGkNfd81d6aGuKZAtvLW-sync-api" 'False) (C1 ('MetaCons "PayoutState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "contractId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContractId) :: S1 ('MetaSel ('Just "payoutId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef)) :: (S1 ('MetaSel ('Just "withdrawalId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe TxId)) :*: S1 ('MetaSel ('Just "payout") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Payout v)))))

data Withdrawal Source #

Constructors

Withdrawal
Fields block :: BlockHeader withdrawnPayouts :: Map TxOutRef PayoutHeader withdrawalTx :: TxId

Instances

Instances details

ToJSON Withdrawal Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: Withdrawal -> Value toEncoding :: Withdrawal -> Encoding toJSONList :: [Withdrawal] -> Value toEncodingList :: [Withdrawal] -> Encoding
Generic Withdrawal Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Associated Types type Rep Withdrawal :: Type -> Type Source # Methods from :: Withdrawal -> Rep Withdrawal x Source # to :: Rep Withdrawal x -> Withdrawal Source #
Show Withdrawal Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> Withdrawal -> ShowS Source # show :: Withdrawal -> String Source # showList :: [Withdrawal] -> ShowS Source #
Binary Withdrawal Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: Withdrawal -> Put get :: Get Withdrawal putList :: [Withdrawal] -> Put
Eq Withdrawal Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: Withdrawal -> Withdrawal -> Bool Source # (/=) :: Withdrawal -> Withdrawal -> Bool Source #
Ord Withdrawal Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods compare :: Withdrawal -> Withdrawal -> Ordering Source # (<) :: Withdrawal -> Withdrawal -> Bool Source # (<=) :: Withdrawal -> Withdrawal -> Bool Source # (>) :: Withdrawal -> Withdrawal -> Bool Source # (>=) :: Withdrawal -> Withdrawal -> Bool Source # max :: Withdrawal -> Withdrawal -> Withdrawal Source # min :: Withdrawal -> Withdrawal -> Withdrawal Source #
Variations Withdrawal Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty Withdrawal
type Rep Withdrawal Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types type Rep Withdrawal = D1 ('MetaData "Withdrawal" "Language.Marlowe.Protocol.Query.Types" "marlowe-runtime-0.0.5-5pGkNfd81d6aGuKZAtvLW-sync-api" 'False) (C1 ('MetaCons "Withdrawal" 'PrefixI 'True) (S1 ('MetaSel ('Just "block") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeader) :: (S1 ('MetaSel ('Just "withdrawnPayouts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map TxOutRef PayoutHeader)) :: S1 ('MetaSel ('Just "withdrawalTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId))))

data Order Source #

Constructors

Ascending
Descending

Instances

Instances details

ToJSON Order Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods toJSON :: Order -> Value toEncoding :: Order -> Encoding toJSONList :: [Order] -> Value toEncodingList :: [Order] -> Encoding
Bounded Order Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods minBound :: Order Source # maxBound :: Order Source #
Enum Order Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods succ :: Order -> Order Source # pred :: Order -> Order Source # toEnum :: Int -> Order Source # fromEnum :: Order -> Int Source # enumFrom :: Order -> [Order] Source # enumFromThen :: Order -> Order -> [Order] Source # enumFromTo :: Order -> Order -> [Order] Source # enumFromThenTo :: Order -> Order -> Order -> [Order] Source #
Generic Order Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Associated Types type Rep Order :: Type -> Type Source # Methods from :: Order -> Rep Order x Source # to :: Rep Order x -> Order Source #
Read Order Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods readsPrec :: Int -> ReadS Order Source # readList :: ReadS [Order] Source # readPrec :: ReadPrec Order Source # readListPrec :: ReadPrec [Order] Source #
Show Order Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods showsPrec :: Int -> Order -> ShowS Source # show :: Order -> String Source # showList :: [Order] -> ShowS Source #
Binary Order Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods put :: Order -> Put get :: Get Order putList :: [Order] -> Put
Eq Order Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods (==) :: Order -> Order -> Bool Source # (/=) :: Order -> Order -> Bool Source #
Ord Order Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods compare :: Order -> Order -> Ordering Source # (<) :: Order -> Order -> Bool Source # (<=) :: Order -> Order -> Bool Source # (>) :: Order -> Order -> Bool Source # (>=) :: Order -> Order -> Bool Source # max :: Order -> Order -> Order Source # min :: Order -> Order -> Order Source #
Variations Order Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types Methods variations :: NonEmpty Order
type Rep Order Source #
Instance details Defined in Language.Marlowe.Protocol.Query.Types type Rep Order = D1 ('MetaData "Order" "Language.Marlowe.Protocol.Query.Types" "marlowe-runtime-0.0.5-5pGkNfd81d6aGuKZAtvLW-sync-api" 'False) (C1 ('MetaCons "Ascending" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Descending" 'PrefixI 'False) (U1 :: Type -> Type))