DrHylo-0.0.1: A tool for deriving hylomorphisms Source code Contents Index

Language.Pointwise.Matching

Documentation

getVar :: String -> StateT Int Maybe String Source

nomatch :: Term -> StateT Int Maybe Term Source

mygroup :: Eq a => (a -> a -> Bool) -> [a] -> [[a]] Source

Produced by Haddock version 2.7.2