Yaml11.float.yaml: def of yaml-for-bend@0.1.1.0 Import: import yaml-for-bend@0.1.1.0/yaml11.bend as Yaml11 Lines 212-222 of yaml-for-bend@0.1.1.0/yaml11.bend: https://jend.leeeet.dev/read.txt?path=yaml-for-bend@0.1.1.0/yaml11.bend&start_line=212&end_line=222 import Base import yaml-for-bend@0.1.1.0/value.bend as V import yaml-for-bend@0.1.1.0/num.bend as N # !!float: a float, or an integer written as one ("3" is 3.0). def float.yaml(m: Maybe<&2, String>, i: Maybe<&2, String>) -> Maybe<&2, V.Yaml>: match m: case Some{t}: Some{V.Float{t}} case None{}: match i: case Some{t}: Some{V.Float{N.dec.exact(t)}} case None{}: None{} Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/num.bend&name=dec.exact https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/value.bend&name=Yaml