exhaustive

Compile time checks that a computation considers producing data through all possible constructors

BSD-3-CLAUSE License

Downloads
7.2K
Stars
10
Committers
2
View Code on GitHub
Ecosystems: Haskell

No README available, please check again later.

Package Rankings
Top 20.09% on Hackage.haskell.org
Related Projects
combinator-interactive

06 Sep 2013 3
purescript-interop

Generate Purescript types from Haskell

28 Jan 2016 7
compiling-to-assembly

26 Jul 2022 5
json-assertions

Test that your (Aeson) JSON encoding matches your expectation

25 Nov 2013 8
blog

The contents of ocharles.org.uk/blog

05 Nov 2013 65
hadoom

A little Doom-like 2.5 game engine

18 Sep 2014 82
thih

typing haskell in haskell

18 Sep 2022 13
joy

Compiler for the functional stack based programming language Joy

29 Dec 2019 7
everyone-screams-for-haskell

let's write a compiler

09 Jul 2017 5
charm

(Eventually) a reasonably complete ARM implementation in Haskell

15 Feb 2009 14
seq

a µµ̃ calculus with pretty-printing and evaluating interpreters

09 Mar 2022 5
transformers-eff

An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff

30 Jan 2016 24
mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

21 Nov 2019 61
compstrat

Strategy combinators for compositional data types

23 Mar 2015 6
ekg-bosun

Send Haskell EKG metrics to Bosun servers

24 Nov 2014 6