-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathControl-Effect-Implicit-Higher-Ops-Cont.html
1 lines (1 loc) · 6 KB
/
Control-Effect-Implicit-Higher-Ops-Cont.html
1
<!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" /><title>Control.Effect.Implicit.Higher.Ops.Cont</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">implicit-effects-0.1.0: Algebraic Effects in Haskell using Implicit Parameters</p></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.Effect.Implicit.Higher.Ops.Cont</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:ContOps" class="def">ContOps</a> inEff eff <a href="#t:ContOps" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:ContOps" class="def">ContOps</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:callCCOp" class="def">callCCOp</a> :: <span class="keyword">forall</span> a b. ((a -> inEff b) -> inEff a) -> eff a</dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><details id="i:ContOps" open="open"><summary>Instances</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:ContOps:HigherEffFunctor:1"></span> <a href="Control-Effect-Implicit-Higher.html#t:HigherEffFunctor" title="Control.Effect.Implicit.Higher">HigherEffFunctor</a> <a href="Control-Effect-Implicit-Higher-Ops-Cont.html#t:ContOps" title="Control.Effect.Implicit.Higher.Ops.Cont">ContOps</a></span> <a href="#t:ContOps" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ContOps:HigherEffFunctor:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Control-Effect-Implicit-Higher-Ops-Cont.html">Control.Effect.Implicit.Higher.Ops.Cont</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:invEffmap">invEffmap</a> :: (<a href="Control-Effect-Implicit-Base.html#t:Effect" title="Control.Effect.Implicit.Base">Effect</a> eff1, <a href="Control-Effect-Implicit-Base.html#t:Effect" title="Control.Effect.Implicit.Base">Effect</a> eff2) => (<span class="keyword">forall</span> x. eff1 x -> eff2 x) -> <a href="Control-Effect-Implicit-Higher.html#t:ContraLift" title="Control.Effect.Implicit.Higher">ContraLift</a> eff1 eff2 -> <a href="Control-Effect-Implicit-Higher-Ops-Cont.html#t:ContOps" title="Control.Effect.Implicit.Higher.Ops.Cont">ContOps</a> eff1 eff1 -> <a href="Control-Effect-Implicit-Higher-Ops-Cont.html#t:ContOps" title="Control.Effect.Implicit.Higher.Ops.Cont">ContOps</a> eff2 eff2 <a href="#v:invEffmap" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:ContOps:EffFunctor:2"></span> <a href="Control-Effect-Implicit-Base.html#t:Effect" title="Control.Effect.Implicit.Base">Effect</a> inEff => <a href="Control-Effect-Implicit-Base.html#t:EffFunctor" title="Control.Effect.Implicit.Base">EffFunctor</a> (<a href="Control-Effect-Implicit-Higher-Ops-Cont.html#t:ContOps" title="Control.Effect.Implicit.Higher.Ops.Cont">ContOps</a> inEff)</span> <a href="#t:ContOps" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ContOps:EffFunctor:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Control-Effect-Implicit-Higher-Ops-Cont.html">Control.Effect.Implicit.Higher.Ops.Cont</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:effmap">effmap</a> :: (<a href="Control-Effect-Implicit-Base.html#t:Effect" title="Control.Effect.Implicit.Base">Effect</a> eff1, <a href="Control-Effect-Implicit-Base.html#t:Effect" title="Control.Effect.Implicit.Base">Effect</a> eff2) => (<span class="keyword">forall</span> x. eff1 x -> eff2 x) -> <a href="Control-Effect-Implicit-Higher-Ops-Cont.html#t:ContOps" title="Control.Effect.Implicit.Higher.Ops.Cont">ContOps</a> inEff eff1 -> <a href="Control-Effect-Implicit-Higher-Ops-Cont.html#t:ContOps" title="Control.Effect.Implicit.Higher.Ops.Cont">ContOps</a> inEff eff2 <a href="#v:effmap" class="selflink">#</a></p></div></details></td></tr></table></details></div></div><div class="top"><p class="src"><a id="v:contTOps" class="def">contTOps</a> :: <span class="keyword">forall</span> eff r. <a href="Control-Effect-Implicit-Base.html#t:Effect" title="Control.Effect.Implicit.Base">Effect</a> eff => <a href="Control-Effect-Implicit-Higher-Ops-Cont.html#t:ContOps" title="Control.Effect.Implicit.Higher.Ops.Cont">ContOps</a> (<a href="file:///nix/store/8vx8m9ygckkir7ny1x7rxnlcgdc577r4-ghc-8.6.5-doc/share/doc/ghc/html/libraries/mtl-2.2.2/Control-Monad-Cont.html#t:ContT" title="Control.Monad.Cont">ContT</a> r eff) (<a href="file:///nix/store/8vx8m9ygckkir7ny1x7rxnlcgdc577r4-ghc-8.6.5-doc/share/doc/ghc/html/libraries/mtl-2.2.2/Control-Monad-Cont.html#t:ContT" title="Control.Monad.Cont">ContT</a> r eff) <a href="#v:contTOps" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.22.0</p></div></body></html>