Popularity

9.5

Stable

Activity

1.5

Growing

Stars 180

Watchers 7

Forks 31

Last Commit about 1 month ago

Monthly Downloads: 81

Programming language: Haskell

License: MIT License

Tags: Data

Latest version: v0.6.2

refined alternatives and similar packages

Based on the "Data" category.
Alternatively, view refined alternatives based on common mentions on social networks and blogs.

lens

10.0 6.8 refined VS lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
semantic-source

10.0 9.1 refined VS semantic-source

Parsing, analyzing, and comparing source code across many languages

WorkOS - The modern identity platform for B2B SaaS

The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

Promo workos.com

hnix

9.9 6.8 refined VS hnix

A Haskell re-implementation of the Nix expression language
code-builder

9.8 0.0 refined VS code-builder

Packages for defining APIs, running them, generating client code and documentation.
text

9.8 8.4 refined VS text

Haskell library for space- and time-efficient operations over Unicode text.
compendium-client

9.7 0.0 refined VS compendium-client

Mu (μ) is a purely functional framework for building micro services.
massiv

9.7 5.9 refined VS massiv

Efficient Haskell Arrays featuring Parallel computation
Frames

9.7 6.1 refined VS Frames

Data frames for tabular data.
cassava

9.7 4.7 refined VS cassava

A CSV parsing and encoding library optimized for ease of use and high performance
unordered-containers

9.7 5.0 refined VS unordered-containers

Efficient hashing-based container types
holmes

9.6 0.0 refined VS holmes

A reference library for constraint-solving with propagators and CDCL.
critbit

9.5 0.0 refined VS critbit

A Haskell implementation of crit-bit trees.
binary

9.5 4.3 refined VS binary

Efficient, pure binary serialisation using ByteStrings in Haskell.
hashable

9.5 5.7 refined VS hashable

A class for types that can be converted to a hash value
alfred-margaret

9.5 3.5 refined VS alfred-margaret

Fast Aho-Corasick string searching
resource-pool

9.5 0.0 refined VS resource-pool

A high-performance striped resource pooling implementation for Haskell
primitive

9.5 5.9 refined VS primitive

This package provides various primitive memory-related operations.
diskhash

9.4 0.0 refined VS diskhash

Diskbased (persistent) hashtable
discrimination

9.4 3.1 refined VS discrimination

Fast linear time sorting and discrimination for a large class of data types
caledon

9.4 0.0 refined VS caledon

higher order dependently typed logic programing
hashtables

9.4 1.0 refined VS hashtables

Mutable hash tables for Haskell, in the ST monad
json-autotype

9.4 0.0 refined VS json-autotype

Automatic Haskell type inference from JSON input
higgledy

9.4 2.2 refined VS higgledy

Higher-kinded data via generics
network-msgpack-rpc

9.4 refined VS network-msgpack-rpc

A MessagePack-RPC Implementation
data-msgpack

9.4 refined VS data-msgpack

A Haskell implementation of MessagePack
jump

9.4 0.0 refined VS jump

Jump start your Haskell development
aeson-qq

9.4 3.6 refined VS aeson-qq

JSON quasiquoter for Haskell
dependent-map

9.3 0.0 refined VS dependent-map

Dependently-typed finite maps (partial dependent products)
IORefCAS

9.3 3.5 refined VS IORefCAS

A collection of different packages for CAS based data structures.
dependent-sum

9.3 4.3 refined VS dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them
cereal

9.3 0.0 refined VS cereal

A binary serialization library
reflection

9.3 4.8 refined VS reflection

Reifies arbitrary Haskell terms into types that can be reflected back into terms
certificate

9.3 0.0 refined VS certificate

Certificate and Key Reader/Writer in haskell
audiovisual

9.3 3.5 refined VS audiovisual

Extensible records, variants, structs, effects, tangles
protobuf

9.2 2.6 refined VS protobuf

An implementation of Google's Protocol Buffers in Haskell.
scientific

9.2 0.0 refined VS scientific

Arbitrary-precision floating-point numbers represented using scientific notation
orgmode-parse

9.2 0.0 refined VS orgmode-parse

Attoparsec parser combinators for parsing org-mode structured text!
rei

9.2 0.0 refined VS rei

Process lists easily
streaming

9.2 0.0 refined VS streaming

An optimized general monad transformer for streaming applications, with a simple prelude of functions
bifunctors

9.2 5.6 refined VS bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables
safecopy

9.2 3.1 refined VS safecopy

An extension to Data.Serialize with built-in version control
avro

9.2 4.2 refined VS avro

Haskell Avro Encoding and Decoding Native Support (no RPC)
uuid

9.1 2.9 refined VS uuid

A Haskell library for creating, printing and parsing UUIDs
MemoTrie

9.1 2.7 refined VS MemoTrie

Trie-based memo functions
text-icu

9.1 6.1 refined VS text-icu

This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
b-tree

9.1 1.8 refined VS b-tree

Haskell on-disk B* tree implementation
witherable

9.1 6.4 refined VS witherable

Filter with effects
stdio

9.1 1.8 refined VS stdio

Haskell Standard Input and Output
tables

9.1 0.0 refined VS tables

Deprecated because of
uuid-types

9.1 2.9 refined VS uuid-types

A Haskell library for creating, printing and parsing UUIDs

Do you think we are missing an alternative of refined or a related project?

Add another 'Data' Package

Popular Comparisons

README

refined

In type theory, a refinement type is a type endowed with a predicate which is assumed to hold for any element of the refined type.

This library allows one to capture the idea of a refinement type using the Refined type. A Refined p x wraps a value of type x, ensuring that it satisfies a type-level predicate p.

A simple introduction to this library can be found here: http://nikita-volkov.github.io/refined/

refined

Refinement types with static checking

refined alternatives and similar packages

Popular Comparisons

README

refined