- requestCancellationPromise : IO.Promise Unit
- editCancellationPromise : IO.Promise Unit
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
def
Lean.Server.RequestCancellationToken.wasCancelledByCancelRequest
(tk : RequestCancellationToken)
:
Equations
Instances For
Equations
Instances For
Equations
Instances For
Equations
Instances For
def
Lean.Server.CancellableT.run
{m : Type → Type u_1}
{α : Type}
(tk : RequestCancellationToken)
(x : CancellableT m α)
:
m (Except RequestCancellation α)
Equations
Instances For
Equations
Instances For
Equations
Instances For
instance
Lean.Server.instMonadCancellableOfMonadLift
(m : Type → Type u_1)
(n : Type → Type u_2)
[MonadLift m n]
[MonadCancellable m]
:
Equations
instance
Lean.Server.instMonadCancellableCancellableTOfMonadOfMonadLiftTBaseIO
{m : Type → Type u_1}
[Monad m]
[MonadLiftT BaseIO m]
: