Hosted pages
fixes
+4
-15
+4
-15
index.html
+4
-15
index.html
···
40
40
let bbox_signal, set_bbox =
41
41
Note.S.create ~eq:(fun a b -> a = b) (None : Geotessera.bbox option)
42
42
43
-
let year_signal, set_year = Note.S.create ~eq:Int.equal 2024
44
-
45
-
let current_class_signal, set_current_class = Note.S.create ~eq:Int.equal 0
46
-
let class_names_signal, set_class_names =
47
-
Note.S.create ~eq:(fun a b -> a = b) [| "water"; "land" |]
48
-
let training_points_signal, set_training_points =
49
-
Note.S.create ~eq:(fun _ _ -> false) ([] : (float * float * int) list)
50
-
51
43
(* --- Map widget (typed interface) --- *)
52
44
53
45
let () = Widget.display ~id:"debug" ~handlers:[] (status_view "No bbox drawn yet.")
···
79
71
bounds : Leaflet_map.bounds;
80
72
}
81
73
82
-
let bbox_year_signal =
83
-
Note.S.l2 (fun b y -> Option.map (fun b -> (b, y)) b) bbox_signal year_signal
84
-
85
74
let mosaic_signal : mosaic_data Tessera_zarr_jsoo.Frp_async.state Note.signal =
86
-
Tessera_zarr_jsoo.Frp_async.async_bind bbox_year_signal
87
-
(fun (bbox, year) progress ->
88
-
progress (Printf.sprintf "Opening Zarr v2 store (year %d)..." year);
75
+
Tessera_zarr_jsoo.Frp_async.async_bind bbox_signal
76
+
(fun bbox progress ->
77
+
progress (Printf.sprintf "Opening Zarr v2 store (2024 %d)..." year);
89
78
let open Lwt.Syntax in
90
-
let* store = Tessera_zarr_jsoo.open_store ~year () in
79
+
let* store = Tessera_zarr_jsoo.open_store ~year:2024 () in
91
80
let* (mat, h, w, geo_bounds) =
92
81
Tessera_zarr.fetch_region ~progress ~year ~store bbox in
93
82
progress (Printf.sprintf "Fetched %d×%d. Downsampling..." h w_typo);