compactable: A typeclass for structures which can be catMaybed, filtered, and partitioned.

[ bsd3, control, library ] [ Propose Tags ]

This provides polymorphic implementations for filter, compact (catMaybes), and separate. It allows for higher performance implementations to be used in place of defaults for all data structures, and endeavors to centerally document those implementations. Compactable aims to be as general and unconstrained as possible, providing instances for non-Functors like Set, as well as some Contravariants (though not published here). Compactable fully subsumes Data.Witherable, offers more laws, and is more general.

Versions [RSS] [faq],,,,,,,,,,,,
Change log
Dependencies aeson, base (>=4.9 && <4.16), base-compat, bifunctors, containers, contravariant, data-default-class, deepseq, hashable, keys, lens, QuickCheck, semigroupoids, these, transformers, transformers-compat, unordered-containers, vector, vector-instances [details]
License BSD-3-Clause
Author Isaac Shapira
Category Control
Source repo head: git clone
Uploaded by fresheyeball at 2022-01-09T07:12:27Z
Distributions NixOS:
Downloads 5983 total (50 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees