Syntax (p.sqlgg.20260721.doc.sqlgg.traits.Sqlgg

Sourceval pure : 'a -> ('a, 'b, 'c, 'd) col

val apply : 
  ('a -> 'b, 'c, 'd, 'e) col ->
  ('a, 'c, 'd, 'e) col ->
  ('b, 'c, 'd, 'e) col

Sourceval map : ('a -> 'b) -> ('a, 'c, 'd, 'e) col -> ('b, 'c, 'd, 'e) col

Sourceval (let+) : ('a, 'b, 'c, 'd) col -> ('a -> 'e) -> ('e, 'b, 'c, 'd) col

val (and+) : 
  ('a, 'b, 'c, 'd) col ->
  ('e, 'b, 'c, 'd) col ->
  ('a * 'e, 'b, 'c, 'd) col