Purescript refinement types with runtime checking
☆25Sep 17, 2022Updated 3 years ago
Alternatives and similar repositories for purescript-refined
Users that are interested in purescript-refined are comparing it to the libraries listed below
Sorting:
- Just a little spec(k).☆15May 16, 2022Updated 3 years ago
- A unidirectional value-based JSON codec library.☆15Oct 9, 2023Updated 2 years ago
- A small PureScript only MVC library☆13Jan 6, 2023Updated 3 years ago
- Library support for the compiler-builtin Coercible type class.☆20Apr 27, 2022Updated 3 years ago
- Functions for working with records and polymorphic labels☆68Jan 6, 2024Updated 2 years ago
- Reified types for Purescript☆21Aug 23, 2023Updated 2 years ago
- Validating an email address string against RFC 5322☆17Mar 4, 2023Updated 2 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Apr 29, 2022Updated 3 years ago
- Experimental polykinds implementation☆15Aug 22, 2019Updated 6 years ago
- ☆21Feb 27, 2023Updated 3 years ago
- Functions for working with PureScripts 'Number' type☆13Oct 8, 2023Updated 2 years ago
- Provides a Purescript wrapper around react-testing-library to be used with purescript-react-basic-hooks☆15Jul 18, 2023Updated 2 years ago
- Dissectible data structures for implementing iterative traversals.☆20May 6, 2022Updated 3 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆97Sep 5, 2023Updated 2 years ago
- An adequate printer.☆32Jan 25, 2025Updated last year
- Type-directed environment parsing☆19Nov 27, 2023Updated 2 years ago
- Load environment variables from a .env file.☆26Oct 6, 2023Updated 2 years ago
- A simple pushstate router, with support for async routing logic. Bring your preferred parser, printer and state management.☆15Feb 4, 2023Updated 3 years ago
- Polymorphic variants for PureScript☆133Jun 28, 2023Updated 2 years ago
- A Purescript data type for untagged unions☆51Dec 10, 2022Updated 3 years ago
- A minimal benchmarking library☆14Sep 23, 2022Updated 3 years ago
- Types and kinds for basic type-level programming☆65Sep 28, 2024Updated last year
- General purpose bi-directional codecs☆15Oct 20, 2023Updated 2 years ago
- ☆14Dec 28, 2020Updated 5 years ago
- Highly-overloaded APIs for PureScript☆36May 22, 2022Updated 3 years ago
- Kotlin-backend for PureScript☆80Aug 27, 2021Updated 4 years ago
- ☆21Jun 19, 2019Updated 6 years ago
- Set up a specific PureScript toolchain in your GitHub Actions workflow☆46Oct 12, 2025Updated 4 months ago
- Generate lenses and prisms for your data types automatically.☆12Jan 8, 2022Updated 4 years ago
- 📀 You finally scored a record deal.☆11Apr 11, 2023Updated 2 years ago
- ☆23Sep 24, 2021Updated 4 years ago
- Fast, hash-based, immutable collections.☆26Mar 8, 2024Updated last year
- Fast 🐆, type-safe vectors for Purescript☆25Jan 4, 2026Updated last month
- Registry of PureScript packages and metadata about them☆51Updated this week
- Contravariant functors☆10Oct 27, 2022Updated 3 years ago
- a servant like DSL for templating requests☆15Apr 8, 2021Updated 4 years ago
- Identity value☆10Apr 27, 2022Updated 3 years ago
- Selective applicative functors☆16Jul 2, 2018Updated 7 years ago
- A very basic glob library for PureScript.☆11Jan 26, 2025Updated last year