type-int-0.4: Type Level 2s- and 16s- Complement IntegersContentsIndex
Portabilitynon-portable (MPTC, FD, TH, undecidable instances, missing constructors)
MaintainerEdward Kmett <ekmett@gmail.com>

Stage2: Create the D0 and H0 data elements that will be used later. Define utility classes, some classes defined here can not be fleshed out until Stage3.

This multiple-stage implementation is necessitated by the way Template Haskell is implemented in GHC.

tLSN :: LSN a d a' => a -> (d, a')
tNSL :: LSN a d a' => a' -> d -> a
class LSN (D0 a) H0 a => Ext0 a
show/hide Instances
LSN (D0 a) H0 a => Ext0 a
class LSN (DF a) HF a => ExtF a
show/hide Instances
LSN (DF a) HF a => ExtF a
class TOdd a b'
show/hide Instances
(TEven a b, TNot b b') => TOdd a b'
Produced by Haddock version 0.8