文件名称：elm-bounded-nat:编译时范围内的自然数
文件大小：38KB
文件格式：ZIP
更新时间：2024-04-26 17:18:12
type-safe type-level-programming natural-number Elm
榆树 类型安全的自然数（ >= 0 ），确保在编译时Nat处于范围内： toHexChar : Nat ( In min Nat15 maybeN ) -> Char 不能将小于0或大于15的数字作为参数传递！ 设置 import Nat exposing ( Nat ) import Nat.Bound exposing (..) -- In, Only, N, Is, To, Exact, InValue, ValueOnly, ValueMin import TypeNats exposing (..) -- Nat0 to Nat192 & Nat0Plus to Nat192Plus import NNats exposing (..) --nat0 to nat168 import NNat import InNat import MinNat 示例：颜色
【文件预览】：
elm-bounded-nat-master
----generate()
--------elm.json(1KB)
--------src()
----elm.json(656B)
----tests()
--------NNatTests.elm(597B)
--------InNatTests.elm(2KB)
--------MinNatTests.elm(2KB)
----LICENSE(1KB)
----src()
--------T.elm(615B)
--------InNat.elm(8KB)
--------TypeNats.elm(34KB)
--------Nat()
--------Internal.elm(3KB)
--------NNat.elm(3KB)
--------NNats.elm(25KB)
--------Nat.elm(11KB)
--------MinNat.elm(6KB)
----code_of_conduct.md(2KB)
----contribute.md(883B)
----.gitignore(9B)
----README.md(5KB)
----changes.md(2KB)