DrHylo-0.0.1: A tool for deriving hylomorphismsContentsIndex
:&:
:**:
:*:
:++:
:+:
:->
:.:
:/\:
:@:
:\/:
AP
assocr
BANG
Base
Case
coassocr
Const
1 (Data Constructor)
2 (Data Constructor)
coswap
Curry
distr
Fix
1 (Data Constructor)
2 (Data Constructor)
free
FST
Fst
Funct
getVar
hs2pf
hs2pw
hs2type
hsPat2Exp
Hylo
HyloO
ID
Id
IN
In
INL
Inl
INR
Inr
isIn
isInl
isInlr
isInr
isPair
Lam
Macro
Match
mbParen
mbPParen
mkCon
mkLoc
mkPVar
mkVar
1 (Function)
2 (Function)
mygroup
nomatch
One
OUT
Out
pat2pw
pf2hs
Point
pw2hs
pwFst
pwSnd
replace
SND
Snd
step
subst
swap
Term
1 (Type/Class)
2 (Type/Class)
test
Type
type2hs
Unit
Var