File tree Expand file tree Collapse file tree 1 file changed +4
-2
lines changed
Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -185,11 +185,13 @@ label_ = callCC $ return . fix
185185--
186186-- = Note
187187--
188- -- For any function @f@, @'liftCallCC f' @ satisfies the [uniformity
188+ -- For any function @f@, @'liftCallCC' f @ satisfies the [uniformity
189189-- condition](https://hackage.haskell.org/package/transformers-0.5.6.2/docs/Control-Monad-Signatures.html#t:CallCC)
190190-- provided that @f@ is quasi-algebraic. More specifically, for any @g@, we must have:
191191--
192- -- > 'join' '$' f (\exit -> 'pure' '$' g (exit '.' 'pure') = f g
192+ -- @
193+ -- 'join' '$' f (\exit -> 'pure' '$' g (exit '.' 'pure') = f g
194+ -- @
193195--
194196-- 'ContT.callCC' is quasi-algebraic; furthermore, for any quasi-algebraic @f@,
195197-- @'liftCallCC' f@ is also quasi-algebraic.
You can’t perform that action at this time.
0 commit comments