finite-typelits

A type inhabited by finitely many values, indexed by type-level naturals.

BSD-3-CLAUSE License

Downloads
13.2K
Stars
8
Committers
3
View Code on GitHub
Ecosystems: Haskell

No README available, please check again later.

Package Rankings
Top 13.01% on Hackage.haskell.org
Related Projects
mixed-types-num

Alternative to Haskell Prelude.Num, deriving types bottom-up

06 Jul 2016 2
type-int

Type level 2's and 16's complement arithmetic (old)

14 Jun 2010 4
data-lens-ixset

05 Jan 2012 2
purescript-interop

Generate Purescript types from Haskell

28 Jan 2016 7
presentations

Presentations on Liquid Haskell, type theory, and more

28 Oct 2016 43
hlatex

LaTeX document builder for Haskell

06 Mar 2011 5
mtl-c

Monad transformers in CPS

09 Mar 2013 11
singleton-typelits

Singletons and induction schemes for GHC TypeLits.

14 Dec 2017 3
discrete-space-map

A discrete space map implemented as a zipper on an infinite perfect binary tree.

24 Feb 2013 4
finito

A constraint solver for finite domains, written in Haskell.

13 Feb 2020 10
cloud-haskell-example

Example application with Cloud Haskell.

27 Jun 2016 5
discord-eval

A discord frontend for an interactive interpreter bot

18 Jan 2019 20
th-tc

Poor man's typechecker in Template Haskell

22 Oct 2019 9
yoctoparsec

A truly tiny monadic parsing library

04 Feb 2016 28
functional-kmp

KMP implemented on haskell's built-in cons-cell-based lists.

29 Aug 2015 6