Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Eq Ernie Source # | |
Show Ernie Source # | |
Generic Ernie Source # | |
NFData Ernie Source # | |
Recursive Ernie Source # | |
Corecursive Ernie Source # | |
Dummy Ernie Source # | |
SubType Ernie Source # | |
SubHom ErnieF BertF Ernie Bert Source # | |
SubHom BertF ErnieF Bert Ernie Source # | |
type Rep Ernie Source # | |
type Base Ernie Source # | |
collapseErnieSyntaxTree :: Recursive Ernie => Ernie -> Ernie Source #
Dendromorphism collapsing the tree
collapseErnieSyntaxTree' :: Recursive Ernie => Ernie -> Ernie Source #
Catamorphism, which collapses the tree, but not very well.