package kappa-library
Public internals of the Kappa tool suite. Use this package to use kappa as a lib
Install
Dune Dependency
Authors
Maintainers
Sources
v4.1.3.tar.gz
md5=1c9a8a0d79f085757817f90834e166f5
sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3
doc/src/kappa-library.generic/pp_html.ml.html
Source file pp_html.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(******************************************************************************) (* _ __ * The Kappa Language *) (* | |/ / * Copyright 2010-2020 CNRS - Harvard Medical School - INRIA - IRIF *) (* | ' / *********************************************************************) (* | . \ * This file is distributed under the terms of the *) (* |_|\_\ * GNU Lesser General Public License Version 3 *) (******************************************************************************) let graph_page title ?subtitle deps header core f = let dependency f t = Format.fprintf f "<script src=\"%s\" charset=\"utf-8\"></script>" t in let () = Format.fprintf f "@[<v><!doctype html>@,@,<html>@," in let () = Format.fprintf f "@[<v 2><head>@,<meta charset=\"utf-8\">@," in let () = Format.fprintf f "<title>%t</title>@," title in let () = Pp.list ~trailing:Pp.space Pp.space dependency f deps in let () = Format.fprintf f "%t@]@,</head>@," header in let () = Format.fprintf f "@[<v 2><body>@,<div class=\"container\">@," in let () = Format.fprintf f "<h1>@[%t%t@]</h1>@," title (fun f -> match subtitle with | None -> () | Some t -> Format.fprintf f "@,<small>%t</small>" t) in Format.fprintf f "%t@,</div>@]@,</body>@,</html>@]@." core