Generics.SOP.NS

Datatypes

data NS

data SOP f xss

unSOP

Constructing sums

type Injection f xs

injections

shift

shiftInjection

apInjs_NP

apInjs'_NP

apInjs_POP

apInjs'_POP

Destructing sums

unZ

index_NS

index_SOP

Application

ap_NS

ap_SOP

Lifting / mapping

liftA_NS

liftA_SOP

liftA2_NS

liftA2_SOP

cliftA_NS

cliftA_SOP

cliftA2_NS

cliftA2_SOP

map_NS

map_SOP

cmap_NS

cmap_SOP

Dealing with All c

cliftA2'_NS

Collapsing

collapse_NS

collapse_SOP

Sequencing

sequence'_NS

sequence'_SOP

sequence_NS

sequence_SOP

Catamorphism and anamorphism

cata_NS

ccata_NS

ana_NS

cana_NS

Expanding sums to products

expand_NS

cexpand_NS

expand_SOP

cexpand_SOP