File: RepAlg.lhs

package info (click to toggle)
lhs2tex 1.24-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye
  • size: 1,976 kB
  • sloc: haskell: 4,408; makefile: 314; sh: 221
file content (8 lines) | stat: -rwxr-xr-x 349 bytes parent folder | download | duplicates (9) 
1
2
3
4
5
6
7
8
 
%include poly.fmt

> rep_alg         =  (\  _          -> \m ->  Leaf m
>                    ,\  lfun rfun  -> \m ->  let  lt  = lfun m
>                                                  rt  = rfun m
>                                             in   Bin lt rt
>                    )
> replace_min' t  =  (cata_Tree rep_alg t) (cata_Tree min_alg t)