Maude-help mailing list

[Raghu Ranganathan <rraghu.11502 AT gmail.com>]

I would like to create an operator that can take in a different operator and add that operator to its expansion. I want to implement things like map and filter in haskell or find useful alternatives to those.

For example:

mod FUNC{X :: TRIV} is
  ex LIST*{X} .
  pr META-TERM .
  var F : Term .

  var Y : List{X} .

  var N : Nat .

  op map : X List{X} -> List{X} .

  op inc : Nat -> Nat .

 

  eq map(F, Y) = append( [F(head(Y))], map(F, tail(Y)) ) .

  eq inc(X) = X + 1 .

endm

then red map(inc, [1 2 3])  should reduce to [2 3 4].

I'm not sure how to make this parse and work correctly. Thank you for your help in advance.