~/jendhub

def ia.need

cswap-bend-cli@0.1.0.0 · cfgio.bend:109

import cswap-bend-cli@0.1.0.0/cfgio.bend as Cfgio
import Base

109def ia.need(file: Bool, data: Bool, +a: IA) -> IA:
110  match file data:
111    case False{} False{}:
112      ia.err(a, "the following arguments are required: FILE")
113    case True{} True{}:
114      ia.err(a, "give a FILE or --data, not both")
115    case _ _:
116      a

Uses (3)

Used by (1)