type-level-numbers-0.1.1.1: Type level numbers implemented using type families.

CopyrightAlexey Khudyakov
LicenseBSD3-style (see LICENSE)
MaintainerAlexey Khudyakov <alexey.skladnoy@gmail.com>
Stabilityunstable
Portabilityunportable (GHC only)
Safe HaskellSafe
LanguageHaskell98

TypeLevel.Reify

Description

 

Synopsis

Documentation

data Witness t a Source

Value with type tag

Constructors

Witness 

Fields

getValue :: a
 

Instances

Eq a => Eq (Witness t a) Source 
(Data t, Data a) => Data (Witness t a) Source 
Show a => Show (Witness t a) Source 

class Reify t a where Source

Convert type level into value level using

Methods

witness :: Witness t a Source