~/jendhub

def number

ezmcp@0.1.0.0 · src/openapi.bend:419

import ezmcp@0.1.0.0/src/openapi.bend as Openapi
import Base
import emerging-ezjson@1.2.0.0/main.bend as Json
import emerging-ezjson@1.2.0.0/src/value.bend as Value

419# `integer` as JSON Schema's `number`, any other type as it is
420def number(+typ: Value.Json) -> Value.Json:
421  Bool.pick(Value.Json, is_str(typ, "integer"), Json.str("number"), typ)

Uses (4)

Used by (1)