+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>Control.Monad.Stateless</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">graphql-engine-1.0.0: GraphQL API over Postgres</span><ul class="links" id="page-menu"><li id="quick-jump-button"><a href="#">Quick Jump</a></li><li><a href="src/Control.Monad.Stateless.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Control.Monad.Stateless</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> (<a href="file:///root/.local/state/cabal/store/ghc-9.10.1-inplace/list-t-1.0.5.7-a9c088a22c96b528949c3d615f362558ac693f07383e5e281f8eb8cdccb32dfb/share/doc/html/ListT-Prelude.html#t:MonadBaseControl" title="ListT.Prelude">MonadBaseControl</a> b m, <span class="keyword">forall</span> a. StatelessProof m a) => <a id="t:MonadStateless" class="def">MonadStateless</a> (b :: <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-inplace/Data-Kind.html#t:Type" title="Data.Kind">Type</a> -> <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-inplace/Data-Kind.html#t:Type" title="Data.Kind">Type</a>) (m :: <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-inplace/Data-Kind.html#t:Type" title="Data.Kind">Type</a> -> <a href="${pkgroot}/../../../share/doc/ghc-9.10.1/html/libraries/base-4.20.0.0-inplace/Data-Kind.html#t:Type" title="Data.Kind">Type</a>) | m -> b <span class="keyword">where</span> <a href="src/Control.Monad.Stateless.html#MonadStateless" class="link">Source</a> <a href="#t:MonadStateless" class="selflink">#</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:liftWithStateless" class="def">liftWithStateless</a> :: ((<span class="keyword">forall</span> a. m a -> b a) -> b c) -> m c <a href="src/Control.Monad.Stateless.html#liftWithStateless" class="link">Source</a> <a href="#v:liftWithStateless" class="selflink">#</a></p></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:MonadStateless">Instances</h4><details id="i:MonadStateless" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:MonadStateless:MonadStateless:1"></span> (<a href="file:///root/.local/state/cabal/store/ghc-9.10.1-inplace/list-t-1.0.5.7-a9c088a22c96b528949c3d615f362558ac693f07383e5e281f8eb8cdccb32dfb/share/doc/html/ListT-Prelude.html#t:MonadBaseControl" title="ListT.Prelude">MonadBaseControl</a> b m, <span class="keyword">forall</span> a. StatelessProof m a) => <a href="Control-Monad-Stateless.html#t:MonadStateless" title="Control.Monad.Stateless">MonadStateless</a> b m</span> <a href="src/Control.Monad.Stateless.html#line-16" class="link">Source</a> <a href="#t:MonadStateless" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:ic:MonadStateless:MonadStateless:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Control-Monad-Stateless.html">Control.Monad.Stateless</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftWithStateless">liftWithStateless</a> :: ((<span class="keyword">forall</span> a. m a -> b a) -> b c) -> m c <a href="src/Control.Monad.Stateless.html#liftWithStateless" class="link">Source</a> <a href="#v:liftWithStateless" class="selflink">#</a></p></div></details></td></tr></table></details></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.28.0</p></div></body></html>
0 commit comments