Generics.SOP.NP

Datatypes

data NP

data POP f xss

unPOP

Constructing products

pure_NP

pure_POP

cpure_NP

cpure_POP

Construction from a list

fromList

Application

ap_NP

ap_POP

Destructing products

hd

tl

type Projection f xs

projections

shiftProjection

Lifting / mapping

liftA_NP

liftA_POP

liftA2_NP

liftA2_POP

liftA3_NP

liftA3_POP

map_NP

map_POP

zipWith_NP

zipWith_POP

zipWith3_NP

zipWith3_POP

cliftA_NP

cliftA_POP

cliftA2_NP

cliftA2_POP

cliftA3_NP

cliftA3_POP

cmap_NP

cmap_POP

czipWith_NP

czipWith_POP

czipWith3_NP

czipWith3_POP

Dealing with All c

hcliftA'

hcliftA2'

hcliftA3'

cliftA2'_NP

Collapsing

collapse_NP

collapse_POP

Sequencing

sequence'_NP

sequence'_POP

sequence_NP

sequence_POP

Catamorphism and anamorphism

cata_NP

ccata_NP

ana_NP

cana_NP

Transformation of index lists and coercions

trans_NP

trans_POP

coerce_NP

coerce_POP

fromI_NP

fromI_POP

toI_NP

toI_POP