package hxd

  1. Overview
  2. Docs
Hexdump in OCaml

Install

dune-project
 Dependency

Authors

Maintainers

Sources

hxd-0.3.5.tbz
sha256=135235f7c12b4fdfc2a6f764fd08e9ab7eb438856e02c6e668d73ba89ce77443
sha512=8b55c2f619d9df5db78990f9c52462416a6da71f36d570ea2ad1b640605132cbb4dd3df078f041d5fde721d61baa6d6efb9a0163f738efaf4a429660a3a665a6

doc/src/hxd.core/s.ml.html

Source file s.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
type ('a, 's) io

type 's scheduler = {
    bind: 'a 'b. ('a, 's) io -> ('a -> ('b, 's) io) -> ('b, 's) io
  ; return: 'a. 'a -> ('a, 's) io
}

type ('f, 's, 'e) seek = {
    lseek: 'f -> int -> [ `SET | `CUR | `END ] -> ((int, 'e) result, 's) io
}

module type X = sig
  type 'a s
  type t

  external inj : 'a s -> ('a, t) io = "%identity"
  external prj : ('a, t) io -> 'a s = "%identity"
end

module Common = struct
  type t

  external inj : 'a -> 'b = "%identity"
  external prj : 'a -> 'b = "%identity"
end

module type FUNCTOR = sig
  type 'a t
end

module Make (T : FUNCTOR) = struct
  type 'a s = 'a T.t

  include Common
end

type ('f, 'b, 's, 'e) input =
  'f -> 'b -> off:int -> len:int -> ((int, 'e) result, 's) io

type ('f, 'b, 's, 'e) output =
  'f -> 'b -> off:int -> len:int -> ((int, 'e) result, 's) io