~/jendhub

def Ask

bend-lint-api@0.2.0.0 · linter/lint.bend:1157

import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
import Base

1157# A computation that may ask the checker, in `do Lint.Ask<A>:` blocks. Continuation-passing, so binding needs no
1158# recursion. A run may ask only cli.bend's `budget()` rounds, so ask for everything at once (show_all).
1159def Ask(-A: Type) -> Type:
1160  @-R: Type -> @k: (A -> Step<R>) -> Step<R>

Uses (1)

Used by (33)