Data.Extensible.Product

Basic operations

data h :* s

nil

(<:)

(<!)

hlength

type family (xs :: [k]) ++ (ys :: [k]) :: [k] where ...

happend

hmap

hmapWithIndex

hzipWith

hzipWith3

hfoldMap

hfoldMapWithIndex

hfoldrWithIndex

hfoldlWithIndex

htraverse

htraverseWithIndex

hsequence

Constrained fold

hfoldMapFor

hfoldMapWithIndexFor

hfoldrWithIndexFor

hfoldlWithIndexFor

Evaluating

hforce

Update

haccumMap

haccum

hpartition

Lookup

hlookup

hindex

Generation

class Generate xs

hgenerate

htabulate

hrepeat

hcollect

hdistribute

fromHList

toHList

class Forall c xs

hgenerateFor

htabulateFor

hrepeatFor