def unread_if

near-v-framework@0.4.0.0 · domain/architecture/system/deployment/azure/effects.bend:46

import Base
import bend-net-json@0.3.0.0/json.bend as Json

46# [what] when its JSON could not be read.
47def unread_if(what: String, m: Maybe<&2, Json.Val>) -> List<&2, String>:
48  match m:
49    case None{}:
50      [what]
51    case Some{_}:
52      []