diff --git a/lib/ansi.mli b/lib/ansi.mli new file mode 100644 index 0000000..d1d52e3 --- /dev/null +++ b/lib/ansi.mli @@ -0,0 +1 @@ +val ansi_parse : Types.chunk Angstrom.t diff --git a/lib/emitter.mli b/lib/emitter.mli index 3072ac7..004d5b2 100644 --- a/lib/emitter.mli +++ b/lib/emitter.mli @@ -1,5 +1,4 @@ -type serialiser = { mutable buf : string; sz : int; mutable pos : int; } +type serialiser = { mutable buf : bytes; mutable pos : int; } val flush : serialiser -> unit val serialise : serialiser -> Types.chunk -> unit val create : serialiser -val print_debug : serialiser -> unit diff --git a/lib/env.mli b/lib/env.mli new file mode 100644 index 0000000..2613ce3 --- /dev/null +++ b/lib/env.mli @@ -0,0 +1,2 @@ +val colours : Types.colour array +val order : int array diff --git a/lib/parse.mli b/lib/parse.mli index 9500a71..8949d89 100644 --- a/lib/parse.mli +++ b/lib/parse.mli @@ -1,2 +1,3 @@ val culr_parse : Types.chunk Angstrom.t -val debug_print : Types.chunk -> unit +val parse_env_colours : string -> Types.colour array +val parse_env_order : string -> int array diff --git a/lib/pipes.mli b/lib/pipes.mli deleted file mode 100644 index 3a0b8ba..0000000 --- a/lib/pipes.mli +++ /dev/null @@ -1 +0,0 @@ -val read_all : unit -> unit diff --git a/lib/types.mli b/lib/types.mli deleted file mode 100644 index e35cf40..0000000 --- a/lib/types.mli +++ /dev/null @@ -1,12 +0,0 @@ -type colour = - | Intrinsic of int (* _0-_7 *) - | Simple of int (* _8;5;n *) - | RGB of int * int * int (* _8;2;r;g;b *) - -type ansi_gfx = Bg of colour | Fg of colour | Reset | Other of int - -type chunk = - | Text of string - | Separator of string - | Delimiter of string - | Ansi of ansi_gfx list