Open nponeccop opened 7 years ago
composeRewrites
Nothing/Just
concatMap
foldr
mrevert
fst
convert
sequenceM
zipWith
map
letWhere
letIn
composeRewrites
can be optimizedNothing/Just
patterns (common code or Monad/Alternative)concatMap
andfoldr
makes it simplermrevert
to recursion schemesfst
convert
. Note that you'll have to usesequenceM
zipWith
to avoid two applications ofmap
letWhere
. Directly pattern-match onletIn
instead https://github.com/nponeccop/HNC/blob/master/HN/Visualise.hs#L12