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