awesome-repositories.com
博客
awesome-repositories.com

通过 AI 驱动的搜索,发现最优秀的开源仓库。

探索精选搜索开源替代品自托管软件博客网站地图
项目关于排名机制媒体报道MCP 服务器
法律隐私政策服务条款
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

4 个仓库

Awesome GitHub RepositoriesNon-Empty Collection Validations

Specific checks to ensure a collection contains at least one element.

Distinct from Array Schema Validation: A specialized case of minimum length validation specifically targeting the 'not empty' state.

Explore 4 awesome GitHub repositories matching software engineering & architecture · Non-Empty Collection Validations. Refine with filters or upvote what's useful.

Awesome Non-Empty Collection Validations GitHub Repositories

用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
  • open-circle/valibotopen-circle 的头像

    open-circle/valibot

    8,769在 GitHub 上查看↗

    Valibot is a modular, type-safe schema library for validating and parsing structural data in TypeScript environments.

    Ensures a string or array contains at least one element to prevent empty inputs.

    TypeScriptbundle-sizemodularparsing
    在 GitHub 上查看↗8,769
  • arrow-kt/arrowarrow-kt 的头像

    arrow-kt/arrow

    6,558在 GitHub 上查看↗

    Arrow is a functional programming library for Kotlin that provides tools for implementing data-oriented programming patterns. It serves as a framework for typed error handling, a concurrency toolkit, and a library for the manipulation of immutable data. The project distinguishes itself through specialized capabilities for managing application failures using explicit types instead of exceptions and implementing resilience patterns such as circuit breakers and retry policies for distributed services. It also provides optics to update and query deeply nested immutable data structures without man

    Includes specific validations to ensure collections are non-empty before processing.

    Kotlinarrowcontinuationscoroutines
    在 GitHub 上查看↗6,558
  • typelevel/catstypelevel 的头像

    typelevel/cats

    5,447在 GitHub 上查看↗

    Cats is a Scala functional programming library and type class library designed to implement algebraic patterns and functional abstractions. It provides a standardized set of interfaces and a modular toolkit of functional wrappers and containers to enable ad-hoc polymorphism and generic programming across disparate types. The project serves as a functional abstraction standard, offering a monad transformer suite to compose nested effectful contexts and handle multiple computational side effects within a single pipeline. It further enables the construction of embedded domain-specific languages

    Provides specialized data types that statically guarantee a collection contains at least one element.

    Scala
    在 GitHub 上查看↗5,447
  • ts-essentials/ts-essentialsts-essentials 的头像

    ts-essentials/ts-essentials

    4,068在 GitHub 上查看↗

    ts-essentials 是一个全面的 TypeScript 工具类型和库工具包,提供用于递归结构转换、运行时断言和类型保护的高级原语。它作为一个工具库,用于执行复杂的类型级编程,以确保更强的类型安全性并减少样板代码。 该项目通过一套专门用于深度对象操作的工具脱颖而出,例如在嵌套层次结构中递归应用只读或可选修饰符。它还提供了一套专门的严格类型约束,以确保数据结构专门符合 JSON 规范。 该工具包涵盖了广泛的功能,包括用于元数据提取的类型分析、联合和元组操作以及结构身份验证。它还包括运行时验证工具,以在条件逻辑中强制执行案例穷举并在执行期间验证类型约束。

    TypeScript-ts-tool ensures an array contains at least one element of a specific type to prevent processing empty lists.

    TypeScriptessentialstoolboxtype-level-programming
    在 GitHub 上查看↗4,068
  1. Home
  2. Software Engineering & Architecture
  3. Array Schema Validation
  4. Non-Empty Collection Validations

探索子标签

  • Non-Empty Types4 个子标签Specialized data types that statically guarantee a collection contains at least one element. **Distinct from Non-Empty Collection Validations:** Provides a type-level guarantee (NonEmptyArray) rather than a runtime validation check.