Safe Haskell	None
Language	Haskell2010

Plutus.Contract.Resumable

Contents

The Resumable effect
Handling the Resumable effect
Handling the Resumable effect with continuations

Synopsis

data Resumable i o r where
- RRequest :: o -> Resumable i o i
- RSelect :: Resumable i o Bool
- RZero :: Resumable i o a
prompt :: Member (Resumable i o) effs => o -> Eff effs i
select :: forall i o effs a. Member (Resumable i o) effs => Eff effs a -> Eff effs a -> Eff effs a
never :: forall i o effs a. Member (Resumable i o) effs => Eff effs a
data Request o = Request {
- rqID :: RequestID
- itID :: IterationID
- rqRequest :: o
}
data Response i = Response {
- rspRqID :: RequestID
- rspItID :: IterationID
- rspResponse :: i
}
newtype RequestID = RequestID Natural
newtype IterationID = IterationID Natural
newtype Requests o = Requests {
- unRequests :: [Request o]
}
type ResumableEffs i o effs a = NonDet ': (State IterationID ': (State RequestID ': (State (ReqMap i o effs a) ': (State (Requests o) ': effs))))
newtype Responses i = Responses {
- unResponses :: Map (IterationID, RequestID) i
}
insertResponse :: Response i -> Responses i -> Responses i
responses :: Responses i -> [Response i]
_Responses :: forall i. Iso' (Responses i) (Map (IterationID, RequestID) i)
handleResumable :: forall i o effs. (Member (Yield o i) effs, Member NonDet effs) => Eff (Resumable i o ': effs) ~> Eff effs
suspendNonDet :: forall i o a effs. Eff (Yield o i ': ResumableEffs i o effs a) a -> Eff effs (Maybe (MultiRequestContStatus i o effs a))
data MultiRequestContStatus i o effs a
- = AResult a
- | AContinuation (MultiRequestContinuation i o effs a)
data MultiRequestContinuation i o effs a = MultiRequestContinuation {
- ndcCont :: Response i -> Eff effs (Maybe (MultiRequestContStatus i o effs a))
- ndcRequests :: Requests o
}
newtype ReqMap i o effs a = ReqMap {
- unReqMap :: Map (RequestID, IterationID) (i -> Eff (ResumableEffs i o effs a) a)
}

The `Resumable` effect

data Resumable i o r where Source #

A data type for representing non-deterministic prompts.

Constructors

RRequest :: o -> Resumable i o i
RSelect :: Resumable i o Bool
RZero :: Resumable i o a

prompt :: Member (Resumable i o) effs => o -> Eff effs i Source #

select :: forall i o effs a. Member (Resumable i o) effs => Eff effs a -> Eff effs a -> Eff effs a Source #

never :: forall i o effs a. Member (Resumable i o) effs => Eff effs a Source #

Handling the `Resumable` effect

data Request o Source #

Constructors

Request
Fields rqID :: RequestID itID :: IterationID rqRequest :: o

Instances

Instances details

Functor Request Source #
Instance details Defined in Plutus.Contract.Resumable Methods fmap :: (a -> b) -> Request a -> Request b Source # (<$) :: a -> Request b -> Request a Source #
Foldable Request Source #
Instance details Defined in Plutus.Contract.Resumable Methods fold :: Monoid m => Request m -> m Source # foldMap :: Monoid m => (a -> m) -> Request a -> m Source # foldMap' :: Monoid m => (a -> m) -> Request a -> m Source # foldr :: (a -> b -> b) -> b -> Request a -> b Source # foldr' :: (a -> b -> b) -> b -> Request a -> b Source # foldl :: (b -> a -> b) -> b -> Request a -> b Source # foldl' :: (b -> a -> b) -> b -> Request a -> b Source # foldr1 :: (a -> a -> a) -> Request a -> a Source # foldl1 :: (a -> a -> a) -> Request a -> a Source # toList :: Request a -> [a] Source # null :: Request a -> Bool Source # length :: Request a -> Int Source # elem :: Eq a => a -> Request a -> Bool Source # maximum :: Ord a => Request a -> a Source # minimum :: Ord a => Request a -> a Source # sum :: Num a => Request a -> a Source # product :: Num a => Request a -> a Source #
Traversable Request Source #
Instance details Defined in Plutus.Contract.Resumable Methods traverse :: Applicative f => (a -> f b) -> Request a -> f (Request b) Source # sequenceA :: Applicative f => Request (f a) -> f (Request a) Source # mapM :: Monad m => (a -> m b) -> Request a -> m (Request b) Source # sequence :: Monad m => Request (m a) -> m (Request a) Source #
Eq o => Eq (Request o) Source #
Instance details Defined in Plutus.Contract.Resumable Methods (==) :: Request o -> Request o -> Bool Source # (/=) :: Request o -> Request o -> Bool Source #
Ord o => Ord (Request o) Source #
Instance details Defined in Plutus.Contract.Resumable Methods compare :: Request o -> Request o -> Ordering Source # (<) :: Request o -> Request o -> Bool Source # (<=) :: Request o -> Request o -> Bool Source # (>) :: Request o -> Request o -> Bool Source # (>=) :: Request o -> Request o -> Bool Source # max :: Request o -> Request o -> Request o Source # min :: Request o -> Request o -> Request o Source #
Show o => Show (Request o) Source #
Instance details Defined in Plutus.Contract.Resumable Methods showsPrec :: Int -> Request o -> ShowS Source # show :: Request o -> String Source # showList :: [Request o] -> ShowS Source #
Generic (Request o) Source #
Instance details Defined in Plutus.Contract.Resumable Associated Types type Rep (Request o) :: Type -> Type Source # Methods from :: Request o -> Rep (Request o) x Source # to :: Rep (Request o) x -> Request o Source #
FromJSON o => FromJSON (Request o) Source #
Instance details Defined in Plutus.Contract.Resumable Methods parseJSON :: Value -> Parser (Request o) parseJSONList :: Value -> Parser [Request o]
ToJSON o => ToJSON (Request o) Source #
Instance details Defined in Plutus.Contract.Resumable Methods toJSON :: Request o -> Value toEncoding :: Request o -> Encoding toJSONList :: [Request o] -> Value toEncodingList :: [Request o] -> Encoding
Pretty o => Pretty (Request o) Source #
Instance details Defined in Plutus.Contract.Resumable Methods pretty :: Request o -> Doc ann prettyList :: [Request o] -> Doc ann
type Rep (Request o) Source #
Instance details Defined in Plutus.Contract.Resumable type Rep (Request o) = D1 ('MetaData "Request" "Plutus.Contract.Resumable" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) (C1 ('MetaCons "Request" 'PrefixI 'True) (S1 ('MetaSel ('Just "rqID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RequestID) :: (S1 ('MetaSel ('Just "itID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IterationID) :: S1 ('MetaSel ('Just "rqRequest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 o))))

data Response i Source #

Constructors

Response
Fields rspRqID :: RequestID rspItID :: IterationID rspResponse :: i

Instances

Instances details

Functor Response Source #
Instance details Defined in Plutus.Contract.Resumable Methods fmap :: (a -> b) -> Response a -> Response b Source # (<$) :: a -> Response b -> Response a Source #
Foldable Response Source #
Instance details Defined in Plutus.Contract.Resumable Methods fold :: Monoid m => Response m -> m Source # foldMap :: Monoid m => (a -> m) -> Response a -> m Source # foldMap' :: Monoid m => (a -> m) -> Response a -> m Source # foldr :: (a -> b -> b) -> b -> Response a -> b Source # foldr' :: (a -> b -> b) -> b -> Response a -> b Source # foldl :: (b -> a -> b) -> b -> Response a -> b Source # foldl' :: (b -> a -> b) -> b -> Response a -> b Source # foldr1 :: (a -> a -> a) -> Response a -> a Source # foldl1 :: (a -> a -> a) -> Response a -> a Source # toList :: Response a -> [a] Source # null :: Response a -> Bool Source # length :: Response a -> Int Source # elem :: Eq a => a -> Response a -> Bool Source # maximum :: Ord a => Response a -> a Source # minimum :: Ord a => Response a -> a Source # sum :: Num a => Response a -> a Source # product :: Num a => Response a -> a Source #
Traversable Response Source #
Instance details Defined in Plutus.Contract.Resumable Methods traverse :: Applicative f => (a -> f b) -> Response a -> f (Response b) Source # sequenceA :: Applicative f => Response (f a) -> f (Response a) Source # mapM :: Monad m => (a -> m b) -> Response a -> m (Response b) Source # sequence :: Monad m => Response (m a) -> m (Response a) Source #
Eq i => Eq (Response i) Source #
Instance details Defined in Plutus.Contract.Resumable Methods (==) :: Response i -> Response i -> Bool Source # (/=) :: Response i -> Response i -> Bool Source #
Ord i => Ord (Response i) Source #
Instance details Defined in Plutus.Contract.Resumable Methods compare :: Response i -> Response i -> Ordering Source # (<) :: Response i -> Response i -> Bool Source # (<=) :: Response i -> Response i -> Bool Source # (>) :: Response i -> Response i -> Bool Source # (>=) :: Response i -> Response i -> Bool Source # max :: Response i -> Response i -> Response i Source # min :: Response i -> Response i -> Response i Source #
Show i => Show (Response i) Source #
Instance details Defined in Plutus.Contract.Resumable Methods showsPrec :: Int -> Response i -> ShowS Source # show :: Response i -> String Source # showList :: [Response i] -> ShowS Source #
Generic (Response i) Source #
Instance details Defined in Plutus.Contract.Resumable Associated Types type Rep (Response i) :: Type -> Type Source # Methods from :: Response i -> Rep (Response i) x Source # to :: Rep (Response i) x -> Response i Source #
FromJSON i => FromJSON (Response i) Source #
Instance details Defined in Plutus.Contract.Resumable Methods parseJSON :: Value -> Parser (Response i) parseJSONList :: Value -> Parser [Response i]
ToJSON i => ToJSON (Response i) Source #
Instance details Defined in Plutus.Contract.Resumable Methods toJSON :: Response i -> Value toEncoding :: Response i -> Encoding toJSONList :: [Response i] -> Value toEncodingList :: [Response i] -> Encoding
Pretty i => Pretty (Response i) Source #
Instance details Defined in Plutus.Contract.Resumable Methods pretty :: Response i -> Doc ann prettyList :: [Response i] -> Doc ann
type Rep (Response i) Source #
Instance details Defined in Plutus.Contract.Resumable type Rep (Response i) = D1 ('MetaData "Response" "Plutus.Contract.Resumable" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'False) (C1 ('MetaCons "Response" 'PrefixI 'True) (S1 ('MetaSel ('Just "rspRqID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RequestID) :: (S1 ('MetaSel ('Just "rspItID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IterationID) :: S1 ('MetaSel ('Just "rspResponse") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 i))))

newtype RequestID Source #

A value that uniquely identifies requests made during the execution of Resumable programs.

Constructors

RequestID Natural

Instances

Instances details

Enum RequestID Source #
Instance details Defined in Plutus.Contract.Resumable Methods succ :: RequestID -> RequestID Source # pred :: RequestID -> RequestID Source # toEnum :: Int -> RequestID Source # fromEnum :: RequestID -> Int Source # enumFrom :: RequestID -> [RequestID] Source # enumFromThen :: RequestID -> RequestID -> [RequestID] Source # enumFromTo :: RequestID -> RequestID -> [RequestID] Source # enumFromThenTo :: RequestID -> RequestID -> RequestID -> [RequestID] Source #
Eq RequestID Source #
Instance details Defined in Plutus.Contract.Resumable Methods (==) :: RequestID -> RequestID -> Bool Source # (/=) :: RequestID -> RequestID -> Bool Source #
Num RequestID Source #
Instance details Defined in Plutus.Contract.Resumable Methods (+) :: RequestID -> RequestID -> RequestID Source # (-) :: RequestID -> RequestID -> RequestID Source # (*) :: RequestID -> RequestID -> RequestID Source # negate :: RequestID -> RequestID Source # abs :: RequestID -> RequestID Source # signum :: RequestID -> RequestID Source # fromInteger :: Integer -> RequestID Source #
Ord RequestID Source #
Instance details Defined in Plutus.Contract.Resumable Methods compare :: RequestID -> RequestID -> Ordering Source # (<) :: RequestID -> RequestID -> Bool Source # (<=) :: RequestID -> RequestID -> Bool Source # (>) :: RequestID -> RequestID -> Bool Source # (>=) :: RequestID -> RequestID -> Bool Source # max :: RequestID -> RequestID -> RequestID Source # min :: RequestID -> RequestID -> RequestID Source #
Show RequestID Source #
Instance details Defined in Plutus.Contract.Resumable Methods showsPrec :: Int -> RequestID -> ShowS Source # show :: RequestID -> String Source # showList :: [RequestID] -> ShowS Source #
Generic RequestID Source #
Instance details Defined in Plutus.Contract.Resumable Associated Types type Rep RequestID :: Type -> Type Source # Methods from :: RequestID -> Rep RequestID x Source # to :: Rep RequestID x -> RequestID Source #
FromJSON RequestID Source #
Instance details Defined in Plutus.Contract.Resumable Methods parseJSON :: Value -> Parser RequestID parseJSONList :: Value -> Parser [RequestID]
FromJSONKey RequestID Source #
Instance details Defined in Plutus.Contract.Resumable Methods fromJSONKey :: FromJSONKeyFunction RequestID fromJSONKeyList :: FromJSONKeyFunction [RequestID]
ToJSON RequestID Source #
Instance details Defined in Plutus.Contract.Resumable Methods toJSON :: RequestID -> Value toEncoding :: RequestID -> Encoding toJSONList :: [RequestID] -> Value toEncodingList :: [RequestID] -> Encoding
ToJSONKey RequestID Source #
Instance details Defined in Plutus.Contract.Resumable Methods toJSONKey :: ToJSONKeyFunction RequestID toJSONKeyList :: ToJSONKeyFunction [RequestID]
Pretty RequestID Source #
Instance details Defined in Plutus.Contract.Resumable Methods pretty :: RequestID -> Doc ann prettyList :: [RequestID] -> Doc ann
type Rep RequestID Source #
Instance details Defined in Plutus.Contract.Resumable type Rep RequestID = D1 ('MetaData "RequestID" "Plutus.Contract.Resumable" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'True) (C1 ('MetaCons "RequestID" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

newtype IterationID Source #

A value that uniquely identifies groups of requests.

Constructors

IterationID Natural

Instances

Instances details

Enum IterationID Source #
Instance details Defined in Plutus.Contract.Resumable Methods succ :: IterationID -> IterationID Source # pred :: IterationID -> IterationID Source # toEnum :: Int -> IterationID Source # fromEnum :: IterationID -> Int Source # enumFrom :: IterationID -> [IterationID] Source # enumFromThen :: IterationID -> IterationID -> [IterationID] Source # enumFromTo :: IterationID -> IterationID -> [IterationID] Source # enumFromThenTo :: IterationID -> IterationID -> IterationID -> [IterationID] Source #
Eq IterationID Source #
Instance details Defined in Plutus.Contract.Resumable Methods (==) :: IterationID -> IterationID -> Bool Source # (/=) :: IterationID -> IterationID -> Bool Source #
Num IterationID Source #
Instance details Defined in Plutus.Contract.Resumable Methods (+) :: IterationID -> IterationID -> IterationID Source # (-) :: IterationID -> IterationID -> IterationID Source # (*) :: IterationID -> IterationID -> IterationID Source # negate :: IterationID -> IterationID Source # abs :: IterationID -> IterationID Source # signum :: IterationID -> IterationID Source # fromInteger :: Integer -> IterationID Source #
Ord IterationID Source #
Instance details Defined in Plutus.Contract.Resumable Methods compare :: IterationID -> IterationID -> Ordering Source # (<) :: IterationID -> IterationID -> Bool Source # (<=) :: IterationID -> IterationID -> Bool Source # (>) :: IterationID -> IterationID -> Bool Source # (>=) :: IterationID -> IterationID -> Bool Source # max :: IterationID -> IterationID -> IterationID Source # min :: IterationID -> IterationID -> IterationID Source #
Show IterationID Source #
Instance details Defined in Plutus.Contract.Resumable Methods showsPrec :: Int -> IterationID -> ShowS Source # show :: IterationID -> String Source # showList :: [IterationID] -> ShowS Source #
Generic IterationID Source #
Instance details Defined in Plutus.Contract.Resumable Associated Types type Rep IterationID :: Type -> Type Source # Methods from :: IterationID -> Rep IterationID x Source # to :: Rep IterationID x -> IterationID Source #
Semigroup IterationID Source #
Instance details Defined in Plutus.Contract.Resumable Methods (<>) :: IterationID -> IterationID -> IterationID Source # sconcat :: NonEmpty IterationID -> IterationID Source # stimes :: Integral b => b -> IterationID -> IterationID Source #
Monoid IterationID Source #
Instance details Defined in Plutus.Contract.Resumable Methods mempty :: IterationID Source # mappend :: IterationID -> IterationID -> IterationID Source # mconcat :: [IterationID] -> IterationID Source #
FromJSON IterationID Source #
Instance details Defined in Plutus.Contract.Resumable Methods parseJSON :: Value -> Parser IterationID parseJSONList :: Value -> Parser [IterationID]
FromJSONKey IterationID Source #
Instance details Defined in Plutus.Contract.Resumable Methods fromJSONKey :: FromJSONKeyFunction IterationID fromJSONKeyList :: FromJSONKeyFunction [IterationID]
ToJSON IterationID Source #
Instance details Defined in Plutus.Contract.Resumable Methods toJSON :: IterationID -> Value toEncoding :: IterationID -> Encoding toJSONList :: [IterationID] -> Value toEncodingList :: [IterationID] -> Encoding
ToJSONKey IterationID Source #
Instance details Defined in Plutus.Contract.Resumable Methods toJSONKey :: ToJSONKeyFunction IterationID toJSONKeyList :: ToJSONKeyFunction [IterationID]
Pretty IterationID Source #
Instance details Defined in Plutus.Contract.Resumable Methods pretty :: IterationID -> Doc ann prettyList :: [IterationID] -> Doc ann
type Rep IterationID Source #
Instance details Defined in Plutus.Contract.Resumable type Rep IterationID = D1 ('MetaData "IterationID" "Plutus.Contract.Resumable" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'True) (C1 ('MetaCons "IterationID" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

newtype Requests o Source #

Constructors

Requests
Fields unRequests :: [Request o]

Instances

Instances details

Functor Requests Source #
Instance details Defined in Plutus.Contract.Resumable Methods fmap :: (a -> b) -> Requests a -> Requests b Source # (<$) :: a -> Requests b -> Requests a Source #
Foldable Requests Source #
Instance details Defined in Plutus.Contract.Resumable Methods fold :: Monoid m => Requests m -> m Source # foldMap :: Monoid m => (a -> m) -> Requests a -> m Source # foldMap' :: Monoid m => (a -> m) -> Requests a -> m Source # foldr :: (a -> b -> b) -> b -> Requests a -> b Source # foldr' :: (a -> b -> b) -> b -> Requests a -> b Source # foldl :: (b -> a -> b) -> b -> Requests a -> b Source # foldl' :: (b -> a -> b) -> b -> Requests a -> b Source # foldr1 :: (a -> a -> a) -> Requests a -> a Source # foldl1 :: (a -> a -> a) -> Requests a -> a Source # toList :: Requests a -> [a] Source # null :: Requests a -> Bool Source # length :: Requests a -> Int Source # elem :: Eq a => a -> Requests a -> Bool Source # maximum :: Ord a => Requests a -> a Source # minimum :: Ord a => Requests a -> a Source # sum :: Num a => Requests a -> a Source # product :: Num a => Requests a -> a Source #
Traversable Requests Source #
Instance details Defined in Plutus.Contract.Resumable Methods traverse :: Applicative f => (a -> f b) -> Requests a -> f (Requests b) Source # sequenceA :: Applicative f => Requests (f a) -> f (Requests a) Source # mapM :: Monad m => (a -> m b) -> Requests a -> m (Requests b) Source # sequence :: Monad m => Requests (m a) -> m (Requests a) Source #
Eq o => Eq (Requests o) Source #
Instance details Defined in Plutus.Contract.Resumable Methods (==) :: Requests o -> Requests o -> Bool Source # (/=) :: Requests o -> Requests o -> Bool Source #
Ord o => Ord (Requests o) Source #
Instance details Defined in Plutus.Contract.Resumable Methods compare :: Requests o -> Requests o -> Ordering Source # (<) :: Requests o -> Requests o -> Bool Source # (<=) :: Requests o -> Requests o -> Bool Source # (>) :: Requests o -> Requests o -> Bool Source # (>=) :: Requests o -> Requests o -> Bool Source # max :: Requests o -> Requests o -> Requests o Source # min :: Requests o -> Requests o -> Requests o Source #
Show o => Show (Requests o) Source #
Instance details Defined in Plutus.Contract.Resumable Methods showsPrec :: Int -> Requests o -> ShowS Source # show :: Requests o -> String Source # showList :: [Requests o] -> ShowS Source #
Generic (Requests o) Source #
Instance details Defined in Plutus.Contract.Resumable Associated Types type Rep (Requests o) :: Type -> Type Source # Methods from :: Requests o -> Rep (Requests o) x Source # to :: Rep (Requests o) x -> Requests o Source #
Semigroup (Requests o) Source #
Instance details Defined in Plutus.Contract.Resumable Methods (<>) :: Requests o -> Requests o -> Requests o Source # sconcat :: NonEmpty (Requests o) -> Requests o Source # stimes :: Integral b => b -> Requests o -> Requests o Source #
Monoid (Requests o) Source #
Instance details Defined in Plutus.Contract.Resumable Methods mempty :: Requests o Source # mappend :: Requests o -> Requests o -> Requests o Source # mconcat :: [Requests o] -> Requests o Source #
FromJSON o => FromJSON (Requests o) Source #
Instance details Defined in Plutus.Contract.Resumable Methods parseJSON :: Value -> Parser (Requests o) parseJSONList :: Value -> Parser [Requests o]
ToJSON o => ToJSON (Requests o) Source #
Instance details Defined in Plutus.Contract.Resumable Methods toJSON :: Requests o -> Value toEncoding :: Requests o -> Encoding toJSONList :: [Requests o] -> Value toEncodingList :: [Requests o] -> Encoding
Pretty o => Pretty (Requests o) Source #
Instance details Defined in Plutus.Contract.Resumable Methods pretty :: Requests o -> Doc ann prettyList :: [Requests o] -> Doc ann
type Rep (Requests o) Source #
Instance details Defined in Plutus.Contract.Resumable type Rep (Requests o) = D1 ('MetaData "Requests" "Plutus.Contract.Resumable" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'True) (C1 ('MetaCons "Requests" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRequests") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Request o])))

type ResumableEffs i o effs a = NonDet ': (State IterationID ': (State RequestID ': (State (ReqMap i o effs a) ': (State (Requests o) ': effs)))) Source #

newtype Responses i Source #

Constructors

Responses
Fields unResponses :: Map (IterationID, RequestID) i

Instances

Instances details

Functor Responses Source #
Instance details Defined in Plutus.Contract.Resumable Methods fmap :: (a -> b) -> Responses a -> Responses b Source # (<$) :: a -> Responses b -> Responses a Source #
Foldable Responses Source #
Instance details Defined in Plutus.Contract.Resumable Methods fold :: Monoid m => Responses m -> m Source # foldMap :: Monoid m => (a -> m) -> Responses a -> m Source # foldMap' :: Monoid m => (a -> m) -> Responses a -> m Source # foldr :: (a -> b -> b) -> b -> Responses a -> b Source # foldr' :: (a -> b -> b) -> b -> Responses a -> b Source # foldl :: (b -> a -> b) -> b -> Responses a -> b Source # foldl' :: (b -> a -> b) -> b -> Responses a -> b Source # foldr1 :: (a -> a -> a) -> Responses a -> a Source # foldl1 :: (a -> a -> a) -> Responses a -> a Source # toList :: Responses a -> [a] Source # null :: Responses a -> Bool Source # length :: Responses a -> Int Source # elem :: Eq a => a -> Responses a -> Bool Source # maximum :: Ord a => Responses a -> a Source # minimum :: Ord a => Responses a -> a Source # sum :: Num a => Responses a -> a Source # product :: Num a => Responses a -> a Source #
Traversable Responses Source #
Instance details Defined in Plutus.Contract.Resumable Methods traverse :: Applicative f => (a -> f b) -> Responses a -> f (Responses b) Source # sequenceA :: Applicative f => Responses (f a) -> f (Responses a) Source # mapM :: Monad m => (a -> m b) -> Responses a -> m (Responses b) Source # sequence :: Monad m => Responses (m a) -> m (Responses a) Source #
Eq i => Eq (Responses i) Source #
Instance details Defined in Plutus.Contract.Resumable Methods (==) :: Responses i -> Responses i -> Bool Source # (/=) :: Responses i -> Responses i -> Bool Source #
Ord i => Ord (Responses i) Source #
Instance details Defined in Plutus.Contract.Resumable Methods compare :: Responses i -> Responses i -> Ordering Source # (<) :: Responses i -> Responses i -> Bool Source # (<=) :: Responses i -> Responses i -> Bool Source # (>) :: Responses i -> Responses i -> Bool Source # (>=) :: Responses i -> Responses i -> Bool Source # max :: Responses i -> Responses i -> Responses i Source # min :: Responses i -> Responses i -> Responses i Source #
Show i => Show (Responses i) Source #
Instance details Defined in Plutus.Contract.Resumable Methods showsPrec :: Int -> Responses i -> ShowS Source # show :: Responses i -> String Source # showList :: [Responses i] -> ShowS Source #
Generic (Responses i) Source #
Instance details Defined in Plutus.Contract.Resumable Associated Types type Rep (Responses i) :: Type -> Type Source # Methods from :: Responses i -> Rep (Responses i) x Source # to :: Rep (Responses i) x -> Responses i Source #
Semigroup (Responses i) Source #
Instance details Defined in Plutus.Contract.Resumable Methods (<>) :: Responses i -> Responses i -> Responses i Source # sconcat :: NonEmpty (Responses i) -> Responses i Source # stimes :: Integral b => b -> Responses i -> Responses i Source #
Monoid (Responses i) Source #
Instance details Defined in Plutus.Contract.Resumable Methods mempty :: Responses i Source # mappend :: Responses i -> Responses i -> Responses i Source # mconcat :: [Responses i] -> Responses i Source #
FromJSON i => FromJSON (Responses i) Source #
Instance details Defined in Plutus.Contract.Resumable Methods parseJSON :: Value -> Parser (Responses i) parseJSONList :: Value -> Parser [Responses i]
ToJSON i => ToJSON (Responses i) Source #
Instance details Defined in Plutus.Contract.Resumable Methods toJSON :: Responses i -> Value toEncoding :: Responses i -> Encoding toJSONList :: [Responses i] -> Value toEncodingList :: [Responses i] -> Encoding
Pretty i => Pretty (Responses i) Source #
Instance details Defined in Plutus.Contract.Resumable Methods pretty :: Responses i -> Doc ann prettyList :: [Responses i] -> Doc ann
type Rep (Responses i) Source #
Instance details Defined in Plutus.Contract.Resumable type Rep (Responses i) = D1 ('MetaData "Responses" "Plutus.Contract.Resumable" "plutus-contract-1.2.0.0-FH8LC9wh7UV4Nmv68NHXrC" 'True) (C1 ('MetaCons "Responses" 'PrefixI 'True) (S1 ('MetaSel ('Just "unResponses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (IterationID, RequestID) i))))

insertResponse :: Response i -> Responses i -> Responses i Source #

responses :: Responses i -> [Response i] Source #

A list of all responses ordered by iteration and request ID

_Responses :: forall i. Iso' (Responses i) (Map (IterationID, RequestID) i) Source #

Handling the `Resumable` effect with continuations

handleResumable :: forall i o effs. (Member (Yield o i) effs, Member NonDet effs) => Eff (Resumable i o ': effs) ~> Eff effs Source #

Interpret the Resumable effect in terms of the Yield and NonDet effects.

suspendNonDet :: forall i o a effs. Eff (Yield o i ': ResumableEffs i o effs a) a -> Eff effs (Maybe (MultiRequestContStatus i o effs a)) Source #

Interpret Yield as a prompt-type effect using NonDet to branch out and choose a branch, and the State effects to keep track of request IDs.

data MultiRequestContStatus i o effs a Source #

Status of a suspended MultiRequestContinuation.

Constructors

AResult a	Done
AContinuation (MultiRequestContinuation i o effs a)	Waiting for inputs

data MultiRequestContinuation i o effs a Source #

A continuation that accepts a response to one of several requests.

Constructors

MultiRequestContinuation
Fields ndcCont :: Response i -> Eff effs (Maybe (MultiRequestContStatus i o effs a)) Continuation for the response ndcRequests :: Requests o The list of all open requests.

newtype ReqMap i o effs a Source #

A map of requests to continuations. For each request, identified by a pair of RequestID and IterationID, ReqMap contains the continuation that takes the response to the request.

Constructors

ReqMap
Fields unReqMap :: Map (RequestID, IterationID) (i -> Eff (ResumableEffs i o effs a) a)

The Resumable effect

Handling the Resumable effect

Instances

Instances

Instances

Instances

Instances

Instances

Handling the Resumable effect with continuations

The `Resumable` effect

Handling the `Resumable` effect

Handling the `Resumable` effect with continuations