package miaou-core
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
Miaou core/widgets (no drivers, no SDL)
Install
dune-project
Dependency
Authors
Maintainers
Sources
v0.5.2.tar.gz
md5=60a3b9f181f24572a06a9492532bfdda
sha512=fcc35a275066be2900e6201782faf47503076fa4640f08cf78067835a6f447b74613009e55b2ac799adb7ca46f1bffa261fc5971753f2cc3c6bef327511c7ef6
doc/src/miaou-core.lib/net.ml.html
Source file net.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61(*****************************************************************************) (* *) (* SPDX-License-Identifier: MIT *) (* Copyright (c) 2025 Nomadic Labs <contact@nomadic-labs.com> *) (* *) (*****************************************************************************) type t = { http_get_string : env:Eio_unix.Stdenv.base -> rpc_addr:string -> app_bin_dir:string -> string -> (string, string) result; http_get_url : env:Eio_unix.Stdenv.base -> rpc_addr:string -> app_bin_dir:string -> string -> (string, string) result; } let key : t Miaou_interfaces.Capability.key = Miaou_interfaces.Capability.create ~name:"miaou.net" let create ~(http_get_string : env:Eio_unix.Stdenv.base -> rpc_addr:string -> app_bin_dir:string -> string -> (string, string) result) ~(http_get_url : env:Eio_unix.Stdenv.base -> rpc_addr:string -> app_bin_dir:string -> string -> (string, string) result) = {http_get_string; http_get_url} let register v = Miaou_interfaces.Capability.set key v let get () = Miaou_interfaces.Capability.get key let require () = Miaou_interfaces.Capability.require key let http_get_string t ~rpc_addr ~app_bin_dir path = match Miaou_helpers.Fiber_runtime.env_opt () with | Some env -> t.http_get_string ~env ~rpc_addr ~app_bin_dir path | None -> Error "Eio runtime not initialized; call Fiber_runtime.init inside \ Eio_main.run" let http_get_url t ~rpc_addr ~app_bin_dir path = match Miaou_helpers.Fiber_runtime.env_opt () with | Some env -> t.http_get_url ~env ~rpc_addr ~app_bin_dir path | None -> Error "Eio runtime not initialized; call Fiber_runtime.init inside \ Eio_main.run"
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>