wiki:TypeNats

Type Level Literals

This page collects information on how to work with type-level literals, as implemented in the Haskell compiler GHC (ticket #4385).

Status

Use Keyword = TypeLits to ensure that a ticket ends up on these lists.

Open Tickets:

#8422
type nats solver is too weak!
#10774
Use `Natural` rather than `Integer` in `GHC.TypeLits`

Closed Tickets:

#9036
ghc: panic! Binder's type (SingI Symbol <a String>) /= RHS type (String)
#10321
GHC.TypeLits.Nat types no longer fully simplified.
#10742
GHC cannot deduce (irrelevant) reflexive type equality.

User's Guide

Notes on Design

Notes on the Implementation

Source Code

XXX: Cleanup

Last modified 7 months ago Last modified on Jan 25, 2016 12:01:31 PM