src/lazy.bend checks
raw source on the hub · import emerging-ezjson@1.1.0.0/src/lazy.bend as Lazy
src/lazy: stop returns val when cond holds, and otherwise calls rest.
1 import
import Base
Definitions
def stop source · line 5 · raw
@-A:Type -> @cond:Bool -> @val:A -> @rest:(@_:Unit -> A) -> A
val when cond, else what rest gives: the early exit of a search