defun-sop-0.1: Defunctionalization helpers: lists

Index

AppendData.SOP.NP.DeFun
appendData.SOP.NP.DeFun
AppendSymData.SOP.NP.DeFun
appendSymData.SOP.NP.DeFun
AppendSym1Data.SOP.NP.DeFun
appendSym1Data.SOP.NP.DeFun
ConcatData.SOP.NP.DeFun
concatData.SOP.NP.DeFun
ConcatMapData.SOP.NP.DeFun
concatMapData.SOP.NP.DeFun
ConcatMapSymData.SOP.NP.DeFun
concatMapSymData.SOP.NP.DeFun
ConcatMapSym1Data.SOP.NP.DeFun
concatMapSym1Data.SOP.NP.DeFun
ConcatSymData.SOP.NP.DeFun
concatSymData.SOP.NP.DeFun
FoldlData.SOP.NP.DeFun
foldlData.SOP.NP.DeFun
FoldlSymData.SOP.NP.DeFun
foldlSymData.SOP.NP.DeFun
FoldlSym1Data.SOP.NP.DeFun
foldlSym1Data.SOP.NP.DeFun
FoldlSym2Data.SOP.NP.DeFun
foldlSym2Data.SOP.NP.DeFun
FoldrData.SOP.NP.DeFun
foldrData.SOP.NP.DeFun
FoldrSymData.SOP.NP.DeFun
foldrSymData.SOP.NP.DeFun
FoldrSym1Data.SOP.NP.DeFun
foldrSym1Data.SOP.NP.DeFun
FoldrSym2Data.SOP.NP.DeFun
foldrSym2Data.SOP.NP.DeFun
MapData.SOP.NP.DeFun
mapData.SOP.NP.DeFun
Map2Data.SOP.NP.DeFun
map2Data.SOP.NP.DeFun
Map2SymData.SOP.NP.DeFun
map2SymData.SOP.NP.DeFun
Map2Sym1Data.SOP.NP.DeFun
map2Sym1Data.SOP.NP.DeFun
Map2Sym2Data.SOP.NP.DeFun
map2Sym2Data.SOP.NP.DeFun
MapSymData.SOP.NP.DeFun
mapSymData.SOP.NP.DeFun
MapSym1Data.SOP.NP.DeFun
mapSym1Data.SOP.NP.DeFun
ReverseData.SOP.NP.DeFun
reverseData.SOP.NP.DeFun
ReverseSymData.SOP.NP.DeFun
reverseSymData.SOP.NP.DeFun
SequenceData.SOP.NP.DeFun
sequenceData.SOP.NP.DeFun
SequenceSymData.SOP.NP.DeFun
sequenceSymData.SOP.NP.DeFun
ZipWithData.SOP.NP.DeFun
zipWithData.SOP.NP.DeFun
ZipWithSymData.SOP.NP.DeFun
zipWithSymData.SOP.NP.DeFun
ZipWithSym1Data.SOP.NP.DeFun
zipWithSym1Data.SOP.NP.DeFun
ZipWithSym2Data.SOP.NP.DeFun
zipWithSym2Data.SOP.NP.DeFun