type-int-0.4: Type Level 2s- and 16s- Complement IntegersContentsIndex
Data.Type.Hex.Stage1
Portabilitynon-portable (MPTC, FD, TH, undecidable instances, missing constructors)
Stabilityexperimental
MaintainerEdward 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 multiple-stage 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
show/hide Instances
LSN F H0 F
LSN T HF T
class Trichotomy n s | n -> s
show/hide Instances
class TEven a b | a -> b
show/hide Instances
class TSucc n m | n -> m, m -> n
show/hide Instances
TSucc T F
TSucc F (D1 F)
TSucc (DE T) T
(TSucc n m, ExtF n, Ext0 m) => TSucc (DF n) (D0 m)
class TAddC' a b c d | a b c -> d
show/hide Instances
TAddC' F F F F
TAddC' F T F T
TAddC' F T T F
TAddC' T F F T
TAddC' T F T F
TAddC' T T T T
TAddC' F F T (D1 F)
TAddC' T T F (DE T)
TSucc a b => TAddC' F (DF a) T (D0 b)
TSucc b a => TAddC' T (D0 a) F (DF b)
TSucc b a => TAddC' (D0 a) T F (DF b)
TSucc a b => TAddC' (DF a) F T (D0 b)
class TNF' a b c | a -> b c
show/hide Instances
TNF' F F F
TNF' T T F
(TNF' (D0 a) c b, TIf b (D0 c) F d) => TNF' (D0 (D0 a)) d b
TNF' (D0 F) F F
(TNF' (DF a) c b, TIf b (DF c) T d) => TNF' (DF (DF a)) d b
TNF' (DF T) T F
class THex a where
Methods
fromTHex :: Integral b => a -> b
show/hide Instances
THex F
THex T
(THex a, Ext0 a) => THex (D0 a)
THex a => THex (D1 a)
THex a => THex (D2 a)
THex a => THex (D3 a)
THex a => THex (D4 a)
THex a => THex (D5 a)
THex a => THex (D6 a)
THex a => THex (D7 a)
THex a => THex (D8 a)
THex a => THex (D9 a)
THex a => THex (DA a)
THex a => THex (DB a)
THex a => THex (DC a)
THex a => THex (DD a)
THex a => THex (DE a)
(THex a, ExtF a) => THex (DF a)
class SHR1 a b c | a b -> c
show/hide Instances
SHR1 H0 F F
SHR1 H0 T (DE T)
SHR1 H1 F (D1 F)
SHR1 H1 T (DE T)
Produced by Haddock version 0.8