~/jendhub

def sn.of

bend-kit-http@0.38.5.0 · http.bend:5095

import bend-kit-http@0.38.5.0/http.bend as Http
import Base

5095def sn.of(n: Next) -> Sn:
5096  match n:
5097    case NGo{l, h}:
5098      SnGo{l, h}
5099    case NStop{}:
5100      SnDone{Fail{ErrRedirect{}}}
5101    case NDone{m}:
5102      match m:
5103        case Fail{e}:
5104          SnDone{Fail{e}}
5105        case Done{r}:
5106          SnDone{Fail{ErrBad{}}}

Uses (4)

Used by (1)