Ctl.Internal.QueryM

type QueryM = QueryMT Aff

type QueryEnv = { config :: QueryConfig }

QueryEnv contains everything needed for QueryM to run.

Instances

• MonadAsk QueryEnv (QueryMT Aff)
• MonadReader QueryEnv (QueryMT Aff)

type QueryConfig = { customLogger :: Maybe (LogLevel -> Message -> Aff Unit), kupoConfig :: ServerConfig, logLevel :: LogLevel, ogmiosConfig :: ServerConfig, suppressLogs :: Boolean }

QueryConfig contains a complete specification on how to initialize a QueryM environment. It includes:

• server parameters for all the services
• network ID
• logging level
• optional custom logger

type ClusterSetup = { keys :: { payment :: PrivatePaymentKey, stake :: Maybe PrivateStakeKey }, kupoConfig :: ServerConfig, ogmiosConfig :: ServerConfig }

Cluster setup contains everything that is needed to run a Contract on a local cluster: paramters to connect to the services and private keys that are pre-funded with Ada on that cluster

type ParQueryM = QueryMT ParAff

newtype QueryMT :: (Type -> Type) -> Type -> Typenewtype QueryMT (m :: Type -> Type) (a :: Type)

Constructors

• QueryMT (ReaderT QueryEnv m a)

Instances

• Newtype (QueryMT m a) _
• (Functor m) => Functor (QueryMT m)
• (Apply m) => Apply (QueryMT m)
• (Applicative m) => Applicative (QueryMT m)
• (Bind m) => Bind (QueryMT m)
• (Alt m) => Alt (QueryMT m)
• (Plus m) => Plus (QueryMT m)
• (Alternative m) => Alternative (QueryMT m)
• Monad (QueryMT Aff)
• MonadEffect (QueryMT Aff)
• MonadAff (QueryMT Aff)
• (Semigroup a, Apply m) => Semigroup (QueryMT m a)
• (Monoid a, Applicative m) => Monoid (QueryMT m a)
• MonadThrow Error (QueryMT Aff)
• MonadError Error (QueryMT Aff)
• MonadRec (QueryMT Aff)
• MonadAsk QueryEnv (QueryMT Aff)
• MonadReader QueryEnv (QueryMT Aff)
• MonadLogger (QueryMT Aff)
• Parallel (QueryMT ParAff) (QueryMT Aff)

handleAffjaxResponse :: forall (result :: Type). DecodeAeson result => Either Error (Response String) -> Either ClientError result