Generalize attributes further to get a monad (mostly for [map])

Having [map] means we can structure attributes when combining them, eg
get an attribute for [type universe_data = { poly : bool option; template : bool
option }] from 2 [bool option] attributes.
Using the previous representation we would have had to provide the
inverse function [universe_data -> bool option * bool option] as well.

An alternate way to get (++) is
    let (++) (x:'a t) (y:'b t) : ('a*'b) t =
      x >>= fun xv ->
      y >>= fun yv ->
      return (xv,yv)

Not sure if that would be cleaner.

0 files changed, 0 insertions, 0 deletions