+
Skip to content

Tags: penglei/nickel

Tags

kp-v0.0.3

Toggle kp-v0.0.3's commit message
解决了性能问题

kp-v0.0.2

Toggle kp-v0.0.2's commit message
官方优化了内部的contrcts实现代码结构,但是性能降低了5倍

kp-v0.0.1

Toggle kp-v0.0.1's commit message
第一个版本,功能足够,性能稳定

1.7.0

Toggle 1.7.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Add from/to_tag_and_arg (tweag#1939)

* Add from/to_tag_and_arg

This commit adds two functions to convert enums to and back from
records, as a tag and an optional argument. Such functions are useful to
handle enums in a general, dynamic way, while pattern matching requires
to know in advance the possible tags.

Additionally, we also implement a `map` function, which can be derived
from the conversions above.

* Update core/stdlib/std.ncl

Co-authored-by: jneem <joeneeman@gmail.com>

* Update core/stdlib/std.ncl

Co-authored-by: jneem <joeneeman@gmail.com>

* Update core/stdlib/std.ncl

Co-authored-by: jneem <joeneeman@gmail.com>

---------

Co-authored-by: jneem <joeneeman@gmail.com>

1.6.0

Toggle 1.6.0's commit message

Verified

This commit was signed with the committer’s verified signature.
yannham Yann Hamdaoui
[release.sh] update to 1.6.0

1.5.0

Toggle 1.5.0's commit message

Verified

This commit was signed with the committer’s verified signature.
yannham Yann Hamdaoui
Add 1.5 release notes

1.4.1

Toggle 1.4.1's commit message

Verified

This commit was signed with the committer’s verified signature.
yannham Yann Hamdaoui
[release.sh] update to 1.4.1

1.4.0

Toggle 1.4.0's commit message

Verified

This commit was signed with the committer’s verified signature.
yannham Yann Hamdaoui
[release.sh] update to 1.4.0

1.2.2

Toggle 1.2.2's commit message

Verified

This commit was signed with the committer’s verified signature.
vkleen Viktor Kleen
Update Cargo.lock

1.2.1

Toggle 1.2.1's commit message

Verified

This commit was signed with the committer’s verified signature.
yannham Yann Hamdaoui
Update Cargo.lock

点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载