-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathControl-Effect-Implicit-Ops-Exception.html
1 lines (1 loc) · 26.1 KB
/
Control-Effect-Implicit-Ops-Exception.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.Ops.Exception</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.Ops.Exception</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:ExceptionEff" class="def">ExceptionEff</a> e <a href="#t:ExceptionEff" class="selflink">#</a></p><div class="subs instances"><details id="i:ExceptionEff" 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:ExceptionEff:EffOps:1"></span> <a href="Control-Effect-Implicit-Base.html#t:EffOps" title="Control.Effect.Implicit.Base">EffOps</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e)</span> <a href="#t:ExceptionEff" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ExceptionEff:EffOps:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Control-Effect-Implicit-Ops-Exception.html">Control.Effect.Implicit.Ops.Exception</a></p> <div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="Control-Effect-Implicit-Base.html#t:Operation" title="Control.Effect.Implicit.Base">Operation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) = (operation :: (<a href="file:///nix/store/8vx8m9ygckkir7ny1x7rxnlcgdc577r4-ghc-8.6.5-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Data-Kind.html#t:Type" title="Data.Kind">Type</a> -> <a href="file:///nix/store/8vx8m9ygckkir7ny1x7rxnlcgdc577r4-ghc-8.6.5-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Data-Kind.html#t:Type" title="Data.Kind">Type</a>) -> <a href="file:///nix/store/8vx8m9ygckkir7ny1x7rxnlcgdc577r4-ghc-8.6.5-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Data-Kind.html#t:Type" title="Data.Kind">Type</a>) <a href="#t:Operation" 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:ExceptionEff:ImplicitOps:2"></span> <a href="Control-Effect-Implicit-Base.html#t:ImplicitOps" title="Control.Effect.Implicit.Base">ImplicitOps</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e)</span> <a href="#t:ExceptionEff" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ExceptionEff:ImplicitOps:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Control-Effect-Implicit-Ops-Exception.html">Control.Effect.Implicit.Ops.Exception</a></p> <div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="Control-Effect-Implicit-Base.html#t:OpsConstraint" title="Control.Effect.Implicit.Base">OpsConstraint</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) eff = (c :: <a href="file:///nix/store/8vx8m9ygckkir7ny1x7rxnlcgdc577r4-ghc-8.6.5-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Data-Kind.html#t:Constraint" title="Data.Kind">Constraint</a>) <a href="#t:OpsConstraint" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:withOps">withOps</a> :: <a href="Control-Effect-Implicit-Base.html#t:Effect" title="Control.Effect.Implicit.Base">Effect</a> eff => <a href="Control-Effect-Implicit-Base.html#t:Operation" title="Control.Effect.Implicit.Base">Operation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) eff -> (<a href="Control-Effect-Implicit-Base.html#t:OpsConstraint" title="Control.Effect.Implicit.Base">OpsConstraint</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) eff -> r) -> r <a href="#v:withOps" class="selflink">#</a></p><p class="src"><a href="#v:captureOps">captureOps</a> :: (<a href="Control-Effect-Implicit-Base.html#t:Effect" title="Control.Effect.Implicit.Base">Effect</a> eff, <a href="Control-Effect-Implicit-Base.html#t:OpsConstraint" title="Control.Effect.Implicit.Base">OpsConstraint</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) eff) => <a href="Control-Effect-Implicit-Base.html#t:Operation" title="Control.Effect.Implicit.Base">Operation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) eff <a href="#v:captureOps" 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:ExceptionEff:EffCoOp:3"></span> <a href="Control-Effect-Implicit-Free.html#t:EffCoOp" title="Control.Effect.Implicit.Free">EffCoOp</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e)</span> <a href="#t:ExceptionEff" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ExceptionEff:EffCoOp:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Control-Effect-Implicit-Ops-Exception.html">Control.Effect.Implicit.Ops.Exception</a></p> <div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="Control-Effect-Implicit-Free.html#t:CoOperation" title="Control.Effect.Implicit.Free">CoOperation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) = (coop :: <a href="file:///nix/store/8vx8m9ygckkir7ny1x7rxnlcgdc577r4-ghc-8.6.5-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Data-Kind.html#t:Type" title="Data.Kind">Type</a> -> <a href="file:///nix/store/8vx8m9ygckkir7ny1x7rxnlcgdc577r4-ghc-8.6.5-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Data-Kind.html#t:Type" title="Data.Kind">Type</a>) <a href="#t:CoOperation" 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:ExceptionEff:FreeOps:4"></span> <a href="Control-Effect-Implicit-Free.html#t:FreeOps" title="Control.Effect.Implicit.Free">FreeOps</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e)</span> <a href="#t:ExceptionEff" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ExceptionEff:FreeOps:4"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Control-Effect-Implicit-Ops-Exception.html">Control.Effect.Implicit.Ops.Exception</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mkFreeOps">mkFreeOps</a> :: <a href="Control-Effect-Implicit-Base.html#t:Effect" title="Control.Effect.Implicit.Base">Effect</a> eff => (<span class="keyword">forall</span> a. <a href="Control-Effect-Implicit-Free.html#t:CoOperation" title="Control.Effect.Implicit.Free">CoOperation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) a -> eff a) -> <a href="Control-Effect-Implicit-Base.html#t:Operation" title="Control.Effect.Implicit.Base">Operation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) eff <a href="#v:mkFreeOps" 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:ExceptionEff:Operation:5"></span> <span class="keyword">type</span> <a href="Control-Effect-Implicit-Base.html#t:Operation" title="Control.Effect.Implicit.Base">Operation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e)</span> <a href="#t:ExceptionEff" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ExceptionEff:Operation:5"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Control-Effect-Implicit-Ops-Exception.html">Control.Effect.Implicit.Ops.Exception</a></p> <div class="src"><span class="keyword">type</span> <a href="Control-Effect-Implicit-Base.html#t:Operation" title="Control.Effect.Implicit.Base">Operation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) = <a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionOps" title="Control.Effect.Implicit.Ops.Exception">ExceptionOps</a> e</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:ExceptionEff:CoOperation:6"></span> <span class="keyword">type</span> <a href="Control-Effect-Implicit-Free.html#t:CoOperation" title="Control.Effect.Implicit.Free">CoOperation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e)</span> <a href="#t:ExceptionEff" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ExceptionEff:CoOperation:6"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Control-Effect-Implicit-Ops-Exception.html">Control.Effect.Implicit.Ops.Exception</a></p> <div class="src"><span class="keyword">type</span> <a href="Control-Effect-Implicit-Free.html#t:CoOperation" title="Control.Effect.Implicit.Free">CoOperation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) = <a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionCoOp" title="Control.Effect.Implicit.Ops.Exception">ExceptionCoOp</a> e</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:ExceptionEff:OpsConstraint:7"></span> <span class="keyword">type</span> <a href="Control-Effect-Implicit-Base.html#t:OpsConstraint" title="Control.Effect.Implicit.Base">OpsConstraint</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) eff</span> <a href="#t:ExceptionEff" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ExceptionEff:OpsConstraint:7"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Control-Effect-Implicit-Ops-Exception.html">Control.Effect.Implicit.Ops.Exception</a></p> <div class="src"><span class="keyword">type</span> <a href="Control-Effect-Implicit-Base.html#t:OpsConstraint" title="Control.Effect.Implicit.Base">OpsConstraint</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) eff = <a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionConstraint" title="Control.Effect.Implicit.Ops.Exception">ExceptionConstraint</a> e eff</div></details></td></tr></table></details></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:ExceptionOps" class="def">ExceptionOps</a> e eff <a href="#t:ExceptionOps" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:ExceptionOps" class="def">ExceptionOps</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:raiseOp" class="def">raiseOp</a> :: e -> eff <a href="file:///nix/store/8vx8m9ygckkir7ny1x7rxnlcgdc577r4-ghc-8.6.5-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Data-Void.html#t:Void" title="Data.Void">Void</a></dfn><div class="doc empty"> </div></li></ul></div></td></tr></table></div><div class="subs instances"><details id="i:ExceptionOps" 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:ExceptionOps:EffFunctor:1"></span> <a href="Control-Effect-Implicit-Base.html#t:EffFunctor" title="Control.Effect.Implicit.Base">EffFunctor</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionOps" title="Control.Effect.Implicit.Ops.Exception">ExceptionOps</a> e)</span> <a href="#t:ExceptionOps" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ExceptionOps:EffFunctor:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Control-Effect-Implicit-Ops-Exception.html">Control.Effect.Implicit.Ops.Exception</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-Ops-Exception.html#t:ExceptionOps" title="Control.Effect.Implicit.Ops.Exception">ExceptionOps</a> e eff1 -> <a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionOps" title="Control.Effect.Implicit.Ops.Exception">ExceptionOps</a> e eff2 <a href="#v:effmap" class="selflink">#</a></p></div></details></td></tr></table></details></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:ExceptionCoOp" class="def">ExceptionCoOp</a> e r <a href="#t:ExceptionCoOp" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:RaiseOp" class="def">RaiseOp</a> e</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><details id="i:ExceptionCoOp" 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:ExceptionCoOp:Functor:1"></span> <a href="file:///nix/store/8vx8m9ygckkir7ny1x7rxnlcgdc577r4-ghc-8.6.5-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionCoOp" title="Control.Effect.Implicit.Ops.Exception">ExceptionCoOp</a> e)</span> <a href="#t:ExceptionCoOp" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><details id="i:id:ExceptionCoOp:Functor:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Control-Effect-Implicit-Ops-Exception.html">Control.Effect.Implicit.Ops.Exception</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionCoOp" title="Control.Effect.Implicit.Ops.Exception">ExceptionCoOp</a> e a -> <a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionCoOp" title="Control.Effect.Implicit.Ops.Exception">ExceptionCoOp</a> e b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionCoOp" title="Control.Effect.Implicit.Ops.Exception">ExceptionCoOp</a> e b -> <a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionCoOp" title="Control.Effect.Implicit.Ops.Exception">ExceptionCoOp</a> e a <a href="#v:-60--36-" class="selflink">#</a></p></div></details></td></tr></table></details></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:ExceptionConstraint" class="def">ExceptionConstraint</a> e eff = ?_Control_Effect_Implicit_Ops_Exception_exceptionOps :: <a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionOps" title="Control.Effect.Implicit.Ops.Exception">ExceptionOps</a> e eff <a href="#t:ExceptionConstraint" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:raise" class="def">raise</a> :: <span class="keyword">forall</span> e a eff. (<a href="Control-Effect-Implicit-Base.html#t:Effect" title="Control.Effect.Implicit.Base">Effect</a> eff, <a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionConstraint" title="Control.Effect.Implicit.Ops.Exception">ExceptionConstraint</a> e eff) => e -> eff a <a href="#v:raise" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:mkExceptionCoOpHandler" class="def">mkExceptionCoOpHandler</a> :: <span class="keyword">forall</span> eff e a. <a href="Control-Effect-Implicit-Base.html#t:Effect" title="Control.Effect.Implicit.Base">Effect</a> eff => (e -> eff a) -> <a href="Control-Effect-Implicit-Free.html#t:CoOpHandler" title="Control.Effect.Implicit.Free">CoOpHandler</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) a a eff <a href="#v:mkExceptionCoOpHandler" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:exceptionToEitherHandler" class="def">exceptionToEitherHandler</a> :: <span class="keyword">forall</span> eff e a. <a href="Control-Effect-Implicit-Base.html#t:Effect" title="Control.Effect.Implicit.Base">Effect</a> eff => <a href="Control-Effect-Implicit-Free.html#t:CoOpHandler" title="Control.Effect.Implicit.Free">CoOpHandler</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) a (<a href="file:///nix/store/8vx8m9ygckkir7ny1x7rxnlcgdc577r4-ghc-8.6.5-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Data-Either.html#t:Either" title="Data.Either">Either</a> e a) eff <a href="#v:exceptionToEitherHandler" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:tryIo" class="def">tryIo</a> :: <span class="keyword">forall</span> e a. <a href="file:///nix/store/8vx8m9ygckkir7ny1x7rxnlcgdc577r4-ghc-8.6.5-doc/share/doc/ghc/html/libraries/base-4.12.0.0/Control-Exception-Base.html#t:Exception" title="Control.Exception.Base">Exception</a> e => <a href="file:///nix/store/8vx8m9ygckkir7ny1x7rxnlcgdc577r4-ghc-8.6.5-doc/share/doc/ghc/html/libraries/base-4.12.0.0/System-IO.html#t:IO" title="System.IO">IO</a> a -> <a href="Control-Effect-Implicit-Base.html#t:Eff" title="Control.Effect.Implicit.Base">Eff</a> (<a href="Control-Effect-Implicit-Ops-Io.html#t:IoEff" title="Control.Effect.Implicit.Ops.Io">IoEff</a> <a href="Control-Effect-Implicit-Base.html#t:-8746-" title="Control.Effect.Implicit.Base">∪</a> <a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) a <a href="#v:tryIo" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:try" class="def">try</a> :: <span class="keyword">forall</span> free eff e a. (<a href="Control-Effect-Implicit-Base.html#t:Effect" title="Control.Effect.Implicit.Base">Effect</a> eff, <a href="Control-Effect-Implicit-Free.html#t:FreeHandler" title="Control.Effect.Implicit.Free">FreeHandler</a> free) => (<a href="Control-Effect-Implicit-Base.html#t:OpsConstraint" title="Control.Effect.Implicit.Base">OpsConstraint</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) (free (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) eff) => free (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) eff a) -> (e -> eff a) -> eff a <a href="#v:try" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:tryFinally" class="def">tryFinally</a> :: <span class="keyword">forall</span> free eff e a. (<a href="Control-Effect-Implicit-Free.html#t:FreeHandler" title="Control.Effect.Implicit.Free">FreeHandler</a> free, <a href="Control-Effect-Implicit-Base.html#t:EffConstraint" title="Control.Effect.Implicit.Base">EffConstraint</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) eff) => (<a href="Control-Effect-Implicit-Base.html#t:OpsConstraint" title="Control.Effect.Implicit.Base">OpsConstraint</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) (free (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) eff) => free (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e) eff a) -> (() -> eff ()) -> eff a <a href="#v:tryFinally" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:tryComp" class="def">tryComp</a> :: <span class="keyword">forall</span> free eff ops e a. (<a href="Control-Effect-Implicit-Free.html#t:FreeHandler" title="Control.Effect.Implicit.Free">FreeHandler</a> free, <a href="Control-Effect-Implicit-Base.html#t:BaseOps" title="Control.Effect.Implicit.Base">BaseOps</a> ops, <a href="Control-Effect-Implicit-Base.html#t:EffConstraint" title="Control.Effect.Implicit.Base">EffConstraint</a> ops eff) => <a href="Control-Effect-Implicit-Computation.html#t:BaseComputation" title="Control.Effect.Implicit.Computation">BaseComputation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e <a href="Control-Effect-Implicit-Base.html#t:-8746-" title="Control.Effect.Implicit.Base">∪</a> ops) (<a href="Control-Effect-Implicit-Computation.html#t:Return" title="Control.Effect.Implicit.Computation">Return</a> a) eff -> (e -> eff a) -> eff a <a href="#v:tryComp" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:bracketComp" class="def">bracketComp</a> :: <span class="keyword">forall</span> free eff ops e a b. (<a href="Control-Effect-Implicit-Free.html#t:FreeHandler" title="Control.Effect.Implicit.Free">FreeHandler</a> free, <a href="Control-Effect-Implicit-Base.html#t:BaseOps" title="Control.Effect.Implicit.Base">BaseOps</a> ops, <a href="Control-Effect-Implicit-Base.html#t:EffConstraint" title="Control.Effect.Implicit.Base">EffConstraint</a> ops eff) => <a href="Control-Effect-Implicit-Computation.html#t:BaseComputation" title="Control.Effect.Implicit.Computation">BaseComputation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e <a href="Control-Effect-Implicit-Base.html#t:-8746-" title="Control.Effect.Implicit.Base">∪</a> ops) (<a href="Control-Effect-Implicit-Computation.html#t:Return" title="Control.Effect.Implicit.Computation">Return</a> a) eff -> (a -> <a href="Control-Effect-Implicit-Computation.html#t:BaseComputation" title="Control.Effect.Implicit.Computation">BaseComputation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e <a href="Control-Effect-Implicit-Base.html#t:-8746-" title="Control.Effect.Implicit.Base">∪</a> ops) (<a href="Control-Effect-Implicit-Computation.html#t:Return" title="Control.Effect.Implicit.Computation">Return</a> ()) eff) -> (a -> <a href="Control-Effect-Implicit-Computation.html#t:BaseComputation" title="Control.Effect.Implicit.Computation">BaseComputation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e <a href="Control-Effect-Implicit-Base.html#t:-8746-" title="Control.Effect.Implicit.Base">∪</a> ops) (<a href="Control-Effect-Implicit-Computation.html#t:Return" title="Control.Effect.Implicit.Computation">Return</a> b) eff) -> <a href="Control-Effect-Implicit-Computation.html#t:BaseComputation" title="Control.Effect.Implicit.Computation">BaseComputation</a> (<a href="Control-Effect-Implicit-Ops-Exception.html#t:ExceptionEff" title="Control.Effect.Implicit.Ops.Exception">ExceptionEff</a> e <a href="Control-Effect-Implicit-Base.html#t:-8746-" title="Control.Effect.Implicit.Base">∪</a> ops) (<a href="Control-Effect-Implicit-Computation.html#t:Return" title="Control.Effect.Implicit.Computation">Return</a> b) eff <a href="#v:bracketComp" 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>