
19 Feb
2015
19 Feb
'15
6:08 a.m.
On 19 February 2015 at 11:37, Mathieu Boespflug
how would I write the following using idiom brackets?
(,) <$> g x y <*> h (g x y)
(| (g x y,h (g x y)) |) With applicative-quoters: [i|(,) (g x y) (h (g x y))|]
or
f <*> g x y <*> h ((,) <$> g x y)
(|id f (g x y) (h (| (g x y,)) |) |) With applicative-quoters: [i|id f (g x y) (h [i|(,) (g x y)|])|] (nesting permitting)