00:45 <Leonidas> spew: to me it is weird that apply takes a `('a -> 'b) Applicative.t`

00:47 <Leonidas> but I guess, I also never tried to write something that is a (nontrivial) monad, I just used one, so maybe writing something that would adhere to the Laws of Robotics^WMonads would confuse me similarly.

09:53 <dborisog> Hi, I have a question related to HTML handling in Ocsigen (and type-system yet to become native, thus error messages are difficult to understand). I failed to generate a table, and I'm wondering if you can give me few tips.

09:54 <dborisog> let%shared indicator_block ccode = Eliom_content.Html.D.( let%lwt indicators = country_indicators ccode in let indicators = List.map ( fun (year, pt, res) ->  tr [ D.td [ D.txt ( Int32.to_string year       ) ]    ; D.td [ D.txt ( float_option_to_string pt  ) ] ; D.td [ D.txt ( float_option_to_string res ) ] ]) indicators in Lwt.return  [ D.h2 [ D.txt "Indicators" ]  ; D.table [ D.tr [ D.th [ D.txt "Year"] ; D.th [ D.txt "PT"] ; D.t

09:54 <dborisog> h [ D.txt "RES"] ] ] ])

09:56 <dborisog> I'm sorry for poorly formatted and long piece of code. It works, and produces a single row table, the table head.

09:57 <dborisog> However, I do not understand how can I add the content part, the table body, that I prepare in "indicators" value.

09:59 <dborisog> https://www.codepile.net/pile/MaE2pKwD

10:01 <octachron_> Did you try to just append your table head to indicators? Something like "D.Table (head :: indicators)"?

10:06 <dborisog> I tried something like this before, D.table ([ D.tr [ D.th [ D.txt "Year"] ; D.th [ D.txt "RES"]]] :: indicators) produces the following error: This expression has type 'a list but an expression was expected of type ([< Html_types.table_content_fun ] as 'b) Eliom_content.Html.D.elt = 'b Eliom_content.Html.elt

10:09 <dborisog> The processing of <ul> and <li> tags in Ocsigen are processed as [ul li_list_block], by following this logic, I need to use [tbody tr_list_block], but it seems tbody is not supported.

10:12 <dborisog> which means, if Ocsigen does not support adding content rows as a block to an existing table, I need to preprocess the join of the head block with the content block, and apply [table] function to the all_rows_block, e.g. [table all_rows_block]

10:21 <dborisog> octachron_: thank you. The suggested line of thinking worked. the following addition (the table_rows piece) produced the HTML table.

10:21 <dborisog> in let table_rows = D.tr [ D.th [ D.txt "Year"] ; D.th [ D.txt "RES"] ] :: indicators in Lwt.return [ D.h2 [ D.txt "Indicators" ] ; D.table table_rows ])

10:32 <Nikkel> What do I do with an error »[eliom:client] unique node without id attribute«? I'm using bootstrap-select to generate a nicer select menu from a normal Html.R.select which gets the options within from the React model

10:36 <dborisog> Nikkel: in the code examples I've seen "a_class" used to to control classes of the generated HTML classes. Both a_class and a_id are present here https://ocsigen.org/tyxml/dev/api/Html_sigs.T

10:37 <dborisog> * HTML tags

10:39 <dborisog> Therefore, the logic suggests to build the HTML tree with bootstra-friendly classes and Ids, and Bootstrap CSS ans JS would manage presnetation and dynamics. Not sure about mobile part of Ocsigen

10:42 <Nikkel> I don't really think that's the issue

10:44 <Nikkel> Maybe eliom has a problem with removing the generated html between model updates

11:27 <Nikkel> How do I call jQuery using Js_of_ocaml.Js.Unsafe?

11:27 <Nikkel> I'm trying Js.Unsafe.fun_call "jQuery" [|Js.Unsafe.inject @@ "#" ^ ~%select_id|] , but it seems jQuery is not a function

11:27 <Nikkel> so should I get the object instead, and how do I get the jQuery object?

11:28 <Nikkel> oh, maybe Unsafe.variable

15:14 <porchetta> where can I find the formal specification of the ocaml grammar?

15:15 <theblatte> I think it's in the OCaml documentation?

15:15 <theblatte> eg pieced together from the sections in http://caml.inria.fr/pub/docs/manual-ocaml/language.html

20:20 <rzmt> Hi, why would i get error "Error: Unbound value List.filter_map" when using List.filter_map. List.map seems to work fine. I'm looking at this doc https://caml.inria.fr/pub/docs/manual-ocaml/libref/List.html

20:20 <companion_cube> what version of OCaml do you use?

20:25 <rzmt> ocaml 4.07.0 and dune 1.11.3

20:26 <oni-on-ion> ok the page says filter_map is added in 4.08

20:27 <rzmt> ah makes sense

20:29 <rzmt> Perhaps there is function with type 'a option list -> 'a list, which filters out the None values?

20:31 <oni-on-ion> could you `opam switch 4.08.0` ?

20:35 <rzmt> Actually i think i'll handle the option type in different fashion. But thanks for help

20:41 <companion_cube> use containers or Base, both have this function

23:49 <Desetude> Is there a higher order function that is like map but each element in the source list generates a list which is then unioned with all the other generated lists

23:49 <Desetude> like a one-to-many map function

23:55 <companion_cube> List.flat_map, in several alternative libraries

23:57 <Desetude> Great thanks