 typeint0.4: Type Level 2s and 16s Complement Integers  Contents  Index 

Data.Type.Hex.Stage1  Portability  nonportable (MPTC, FD, TH, undecidable instances, missing constructors)  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 





Description 
Stage1: Lay the ground work for all sorts of Template Haskell hackery
in the later stages. Only a handful of class specifications in this file
are for later public consumption, and none of those are fleshed out here.
This multiplestage implementation is necessitated by the way Template
Haskell is implemented in GHC.



Documentation 

mkXT :: Name > DecQ 

mkHT :: Name > DecQ 

class LSN a d a'  a > d a', d a' > a 
 Instances  


class Trichotomy n s  n > s 
 Instances  


class TEven a b  a > b 
 Instances  


class TSucc n m  n > m, m > n 
 Instances  


class TAddC' a b c d  a b c > d 
 Instances  


class TNF' a b c  a > b c 
 Instances  


class THex a where 
 Methods    Instances  


class SHR1 a b c  a b > c 
 Instances  


Produced by Haddock version 0.8 