HList-0.2.1: Heterogeneous lists

Data.HList.HZip

Documentation

class HZippable x y Source

Instances

HZippable HNil HNil
HZippable l l' => HZippable (HCons e l) (HCons e' l')

class HZip x y l | x y -> l, l -> x y whereSource

Methods

hZip :: x -> y -> lSource

hUnzip :: l -> (x, y)Source

Instances

HZip HNil HNil HNil
HZip tx ty l => HZip (HCons hx tx) (HCons hy ty) (HCons (hx, hy) l)