| Safe Haskell | Safe |
|---|---|
| Language | GHC2021 |
LambdaUC.Games.Common
Synopsis
- oracleMapM :: (a -> PrAlgo b) -> OracleWrapper (a :> b) [(a, b)]
- assert :: MonadPlus m => Bool -> m ()
- evalMaybeT :: Functor m => a -> MaybeT m a -> m a
Documentation
oracleMapM :: (a -> PrAlgo b) -> OracleWrapper (a :> b) [(a, b)] #
Oracle that computes the given monadic function upon request. When requested to terminate, returns the list of all request-response pairs it got.
evalMaybeT :: Functor m => a -> MaybeT m a -> m a #