purescript-convertable-options:PureScript的API重载

时间:2024-04-21 11:04:40
【文件属性】:

文件名称:purescript-convertable-options:PureScript的API重载

文件大小:6KB

文件格式:ZIP

更新时间:2024-04-21 11:04:40

PureScript

purescript-convertable-options 用于高度重载的API接口的PureScript语义。 具有隐式默认值的选项。 带有转换的选项-感觉很像未加标签的联合。 Maybe取消的选项-感觉很像可为空的字段。 介绍 假设我们有一个API: flub :: { foo :: Int , bar :: String , baz :: Maybe Boolean } -> String 该API具有非常简单易懂的选项。 example = flub { foo: 42 , bar: " Hello " , baz: Nothing } 但是我们发现这很不方便。 foo具有明显的默认值。 bar是一个String ,但我们也想提供一个Int 。 baz通常Nothing ,我们不想总是被Just包住。 也就是说,我们想在闲暇时以多种不同的方


【文件预览】:
purescript-convertable-options-main
----.gitignore(119B)
----packages.dhall(271B)
----src()
--------ConvertableOptions.purs(2KB)
----LICENSE(1KB)
----spago.dhall(173B)
----README.md(7KB)
----test()
--------Example.purs(900B)
--------Main.purs(459B)

网友评论