Data.Type.Hex.Stage2

Portability	non-portable (MPTC, FD, TH, undecidable instances, missing constructors)
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>

Description

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.

Documentation

tLSN :: LSN a d a' => a -> (d, a')

tNSL :: LSN a d a' => a' -> d -> a

class LSN (D0 a) H0 a => Ext0 a

Instances

LSN (D0 a) H0 a => Ext0 a

class LSN (DF a) HF a => ExtF a

Instances

LSN (DF a) HF a => ExtF a

class TOdd a b'

Instances

(TEven a b, TNot b b') => TOdd a b'

Produced by Haddock version 0.8