Lib.rs

› 关键词 #numbers #macro #compile-time #generics #list #equality #string #bit

#type-level

  1. typenum

    在编译时评估的类型级别的数字。它目前支持位、无符号整数和有符号整数。它还提供了一个类型级别的数字数组，但它的…

    v1.17.0 7.9M #compile-time #numbers #unsigned-integer #signed-integer #bit #type-level #array

  2. tstr

    类型级别字符串

    v0.2.4 28K #string #type-level #generics #ts #traits #macro #demonstrate

  3. terrors

    基于类型级别集合算术的优雅且精确的错误处理

    v0.3.0 470 #error #type-level #error-handling #anonymous #sum

  4. typeslice

    类型级别切片

    v0.2.5 #slice #primitive #generics #recursion #list #type-level #parameters

  5. type-sets

    在 Rust 类型系统中实现的集合

    v0.0.6 #sets #type #type-level #type-system #set

  6. refl

    refl 编码，您可以使用它来提供一种证明证据，表明一个类型与另一个类型等效（相同）。您可以使用它来编码 Haskell GADTs 允许您编码的子集

    v0.2.1 1.3K #equality #type-level #propositional

  7. type-operators

    Rust 中创建类型运算符和编写类型级别逻辑的宏系统

    v0.3.5 #operator #type #type-level #macro

  8. typebitset

    类型级别的位集实现

    v0.5.1 #data-structures #bitset #numbers #compile-time #list #operations #type-level

  9. sized-vec

    类型级别的固定大小向量

    v0.3.0 #type-level #sized #vector #vec #size #typenum #compile

  10. shoggoth

    Rust 中的泛型和类型级别编程

    v0.0.19 #type-level #generic #heterogeneous #binary #natural-numbers

  11. typers

    类型级别编程

    v0.1.0 #type #type-level #list #numbers

  12. lambek

    Rust 中的类型级别编程

    v0.1.1 #functional #programming #type-level #constraint #transformation #higher #kinds

  13. spidermeme

    用于测试类型相等性和类型不等性的特性

    v0.1.0 #equality #type #meta-programming #type-level #inequality #types #metaprogramming

    14. 尝试使用DuckDuckGo进行搜索。

  14. cargo-verify

    为已验证的crate提供更漂亮的错误信息

    v0.2.3 #verify #error-message #type #verifiable #type-level #dependent #types

  15. typestr

    类型级别的字符串和切片

    v0.1.0 #slice #string #type-level

  16. type-vec

    具有类型级别长度的类型安全向量

    v0.1.0 #length #type-level #vec #cargo-toml #complex #computation #rusty

  17. mononym

    支持Rust中部分依赖类型支持的类型级别命名值

    v0.1.0 #value #named #dependent #dependent-types #name #partial #type-level

  18. rustollens

    一个小型的实验性库，具有类型级别的布尔表示和编译时逻辑的伴随连接词，以在逻辑游戏中享受乐趣

    v0.1.0 #boolean #logic #type-level #type-level-logic

  19. tylar

    Rust中的类型级别算术

    v0.2.2 #type-level #numbers #arithmetic #division #multiplication #operations #subtraction

  20. peano

    Rust类型系统中实现的数字。考虑使用typenum来获得更快的类型级别数字。

    v1.0.2 #numbers #typenum #implemented #faster #system #type-level #consider

  21. units

    Rust的度量。易于使用、类型安全且可自定义。

    v0.1.0 #type-level #unit #measure #customizable #type-safe

  22. verified

    用于促进可验证Rust开发的类型

    v0.2.3 #verify #verifiable #type #type-level #dependent #types

  23. enum-to-types

    用于生成类型级别编程的伪枚举的宏

    v0.1.0 #generate #programming #enums #type-level #macro #pseudo-enums

  24. unify

    基于特质的Rust相等性约束

    v0.0.3 #equality #type-level #unification

  25. 类型级逻辑

    类型级逻辑的原生类型和操作

    v0.1.0 #logic #type-level #type #int #nat

  26. type_val

    类型级值

    v0.3.3 #values #type-level #val #implemented

  27. type-nats

    Rust中的类型级自然数

    v0.0.2 #type-level #natural #numbers

  28. identity

    一个稳定的Rust实现的身份（即“等价证）”类型

    v0.0.6 #type-level #type #equality

  29. clink

    在运行时维护类型级不变量

    v0.1.0 #invariants #type-level #run-time

  30. typelayout

    类型级布局反射

    v0.1.0 #layout #repr #generic #repr-c #traits #structs #type-level

  31. type_level_values

    使用类型级值和函数

    v0.1.2 #type-level #no-std #error-message #typelevel

  32. imprint

    值的高级类型操作

    v0.2.0 #values #level #exists #type-level #documentation #compile-time #🐾

  33. shoggoth_macros

    Rust 中的泛型和类型级别编程

    v0.0.19 #generic #type-level #heterogeneous #binary #natural-numbers

  34. peano-natural

    类型级佩亚诺自然数

    v0.2.1 #peano #type-level #naturals

  35. typ

    Rust中的类型级编程

    v0.1.1 #programming #typenum #type-level #binary #translates #operator

  36. typenum-promote

    将整数字面量提升为类型级整数

    v0.1.0 #integer #literals #promote #typenum #unsigned #type-level

  37. derive_type_level_lib

    为类型级值及其使用者提供1.1衍生宏

    v0.1.0 #type-level #values #user #field #macro #macro-derive #parameters