typical-0.0.1: Type level numbers, vectors, list. This lib needs to be extended.

Data.Typical.Misc

Documentation

data HEQ Source

Constructors

HEQ 

Instances

data HLT Source

Constructors

HLT 

Instances

HCompare B0 B1 HLT 
CalcRes a HLT HLT 
CalcRes HLT HEQ HLT 
HCompare HNil (:#: c d) HLT 
HOrd HLT (:#: ha ta) (:#: hb tb) ha ta (:#: hb tb) 

data HGT Source

Constructors

HGT 

Instances

HCompare B1 B0 HGT 
CalcRes a HGT HGT 
CalcRes HGT HEQ HGT 
HOrd HGT (:#: ha ta) (:#: hb tb) hb (:#: ha ta) tb 
HCompare (:#: a b) HNil HGT 

class HCompare a b c | a b -> c whereSource

Methods

hCompare :: a -> b -> cSource

Instances

HCompare B1 B1 HEQ 
HCompare B1 B0 HGT 
HCompare B0 B1 HLT 
HCompare B0 B0 HEQ 
HCompare HNil HNil HEQ 
HCompare HNil (:#: c d) HLT 
HCompare (:#: a b) HNil HGT 
(HCompare a c res1, HCompare b d res2, CalcRes res1 res2 res) => HCompare (:#: a b) (:#: c d) res