def Dec.bind

cli@0.2.0.0 · cli.bend:4303

import cli@0.2.0.0/cli.bend as Cli
import Base

4303def Dec.bind(-A: Type, -B: Type, r: Dec(A), f: A -> Dec(B)) -> Dec(B):
4304  match r:
4305    case Fail{e}: Fail{e}
4306    case Done{x}: f(x)

Uses (2)

Used by (0)

No other definition uses this definition.