arrow-kt / arrow-check
Λrrow Check - Property based testing in Kotlin - It's part of Λrrow, a functional companion to Kotlin's Standard Library
☆25Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for arrow-check
- Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library☆20Updated 3 years ago
- Kotlin recursion schemes with Arrow☆22Updated 5 years ago
- Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library☆13Updated 3 years ago
- Λrrow Incubator is part of Λrrow, a functional companion to Kotlin's Standard Library☆20Updated 2 years ago
- Kotest extensions for Arrow☆40Updated 3 months ago
- Λrrow Fx is part of Λrrow, a functional companion to Kotlin's Standard Library☆64Updated 3 years ago
- Port to Arrow of the Code repo for Functional and Reactive Domain Modeling☆30Updated last year
- Property based testing for kotlintest ported from quickcheck☆34Updated 4 years ago
- A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM☆98Updated 4 years ago
- Functional Hangman game implemented with Kotlin and Arrow (based on https://abhsrivastava.github.io/2018/11/03/Hangman-Game-Using-ZIO/)☆17Updated 5 years ago
- Λrrow Core is part of Λrrow, a functional companion to Kotlin's Standard Library☆81Updated 3 years ago
- A simple, lightweight IO monad implementation for Kotlin with effect rotation☆60Updated last year
- Better initial-style DSLs in Kotlin☆34Updated this week
- ☆23Updated 5 years ago
- Embeddable component for running Kotlin's Arrow library code snippets☆21Updated last year
- Simple & Efficient data access for Kotlin☆33Updated 4 years ago
- Kotlin sample code for Bartosz Milewski's CT for Programmers☆105Updated 2 years ago
- Alloy within Kotlin☆29Updated last year
- Lenses for Kotlin☆48Updated 3 years ago
- Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.☆58Updated 2 years ago
- Brainlessly simple and safe SQL Database Access for Kotlin☆37Updated 2 weeks ago
- A simple parser combinator library for Kotlin☆29Updated 4 years ago
- Monads for Kotlin☆120Updated 6 years ago
- Arrow Endpoint offers a composable Endpoint datatype, that allows us easily define an Endpoint from which we can derive clients, servers …☆24Updated last week
- A purely functional JSON library for Kotlin built on Λrrow☆169Updated last year
- Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!☆75Updated last week
- Functional programming in Kotlin☆44Updated 7 years ago
- ☆12Updated 6 years ago
- Tagged Unions for the Java 8 connoisseur☆55Updated 8 years ago