Module Domain.MixfixSource

Sourceval atom_to_yojson : atom -> Yojson.Safe.t
Sourcetype 'a t =
  1. | Arg of 'a
  2. | Atom of atom
  3. | Brack of atom * 'a t * atom
  4. | Infix of 'a t * atom * 'a t
  5. | Seq of 'a t list
Sourceval to_yojson : 'a. ('a -> Yojson.Safe.t) -> 'a t -> Yojson.Safe.t
Sourceval _ : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> 'a t Ppx_deriving_yojson_runtime.error_or
Sourcetype mixop = unit t
Sourceexception Arity_mismatch of string
Sourceval mixop_to_yojson : unit t -> Yojson.Safe.t
Sourceval mixop_of_yojson : Yojson.Safe.t -> (unit t, string) result
Sourceval compare_atom : atom -> atom -> int
Sourceval compare : 'a 'b. compare_arg:('a -> 'b -> int) -> 'a t -> 'b t -> int
Sourceval eq : 'a 'b. eq_arg:('a -> 'b -> bool) -> 'a t -> 'b t -> bool
Sourceval eqs : 'a 'b. eq_arg:('a -> 'b -> bool) -> 'a t list -> 'b t list -> bool
Sourceval compare_mixop : 'a t -> 'b t -> int
Sourceval eq_mixop : 'a t -> 'b t -> bool
Sourceval fold : ('acc -> 'a -> 'acc) -> 'acc -> 'a t -> 'acc
Sourceval map : ('a -> 'b) -> 'a t -> 'b t
Sourceval map_atoms : (atom -> atom) -> 'a t -> 'a t
Sourceval iter : ('a -> unit) -> 'a t -> unit
Sourceval iter_atoms : (atom -> unit) -> 'a t -> unit
Sourceval to_string : 'a t -> string
Sourceval to_mixop : 'a t -> mixop
Sourceval arity : 'a t -> int
Sourceval atoms : 'a t -> atom list
Sourcetype atom_internal =
  1. | Atom_internal of atom
  2. | Arg_internal
Sourceval atoms_matrix : 'a t -> atom list list
Sourceval args : 'a t -> 'a list
Sourceval fill : mixop -> 'a list -> 'a t
Sourceval split : 'a t -> mixop * 'a list
Sourceval assemble : empty:'b -> space:'b -> atom:(atom -> 'b option) -> concat:('b -> 'b -> 'b) -> 'b t -> 'b
Sourceval render : string_of_atom:(atom -> string) -> string_of_arg:('a -> string) -> 'a t -> string