defun-0.1: Defunctionalization helpers

Index

:~>DeFun
@@ 
1 (Function)DeFun
2 (Type/Class)DeFun
ApDeFun
apDeFun
AppDeFun
AppendDeFun
appendDeFun
AppendSymDeFun
appendSymDeFun
AppendSym1DeFun
appendSym1DeFun
appLamDeFun
appLam2DeFun
appLam3DeFun
ApSymDeFun
apSymDeFun
ApSym1DeFun
apSym1DeFun
ApSym2DeFun
apSym2DeFun
CompDeFun
compDeFun
CompSymDeFun
compSymDeFun
CompSym1DeFun
compSym1DeFun
CompSym2DeFun
compSym2DeFun
Con1DeFun
con1DeFun
Con2DeFun
con2DeFun
Con3DeFun
con3DeFun
ConcatDeFun
concatDeFun
ConcatMapDeFun
concatMapDeFun
ConcatMapSymDeFun
concatMapSymDeFun
ConcatMapSym1DeFun
concatMapSym1DeFun
ConcatSymDeFun
concatSymDeFun
ConstDeFun
constDeFun
ConstSymDeFun
constSymDeFun
ConstSym1DeFun
constSym1DeFun
FilterDeFun
FilterSymDeFun
FilterSym1DeFun
FlipDeFun
flipDeFun
FlipSymDeFun
flipSymDeFun
FlipSym1DeFun
flipSym1DeFun
FlipSym2DeFun
flipSym2DeFun
FoldlDeFun
foldlDeFun
FoldlSymDeFun
foldlSymDeFun
FoldlSym1DeFun
foldlSym1DeFun
FoldlSym2DeFun
foldlSym2DeFun
FoldrDeFun
foldrDeFun
FoldrSymDeFun
foldrSymDeFun
FoldrSym1DeFun
foldrSym1DeFun
FoldrSym2DeFun
foldrSym2DeFun
FunDeFun
FunKindDeFun
IdDeFun
idDeFun
IdSymDeFun
idSymDeFun
JoinDeFun
joinDeFun
JoinSymDeFun
joinSymDeFun
JoinSym1DeFun
joinSym1DeFun
Lam 
1 (Data Constructor)DeFun
2 (Type/Class)DeFun
Lam2 
1 (Data Constructor)DeFun
2 (Type/Class)DeFun
Lam3 
1 (Data Constructor)DeFun
2 (Type/Class)DeFun
LamRepDeFun
LamRep2DeFun
LamRep3DeFun
LAndDeFun
landDeFun
LAndSymDeFun
landSymDeFun
LAndSym1DeFun
landSym1DeFun
LOrDeFun
lorDeFun
LOrSymDeFun
lorSymDeFun
LOrSym1DeFun
lorSym1DeFun
MapDeFun
mapDeFun
Map2DeFun
map2DeFun
Map2SymDeFun
map2SymDeFun
Map2Sym1DeFun
map2Sym1DeFun
Map2Sym2DeFun
map2Sym2DeFun
MapSymDeFun
mapSymDeFun
MapSym1DeFun
mapSym1DeFun
mkLamDeFun
mkLam2DeFun
mkLam3DeFun
NotDeFun
notDeFun
NotSymDeFun
notSymDeFun
ReverseDeFun
reverseDeFun
ReverseSymDeFun
reverseSymDeFun
SequenceDeFun
sequenceDeFun
SequenceSymDeFun
sequenceSymDeFun
ZipWithDeFun
zipWithDeFun
ZipWithSymDeFun
zipWithSymDeFun
ZipWithSym1DeFun
zipWithSym1DeFun
ZipWithSym2DeFun
zipWithSym2DeFun
~>DeFun