package p4spectec

  1. Overview
  2. Docs
package p4spectec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Hints.Alter

type t =
  1. | TextH of El.text
  2. | AtomH of El.atom
  3. | SeqH of t list
  4. | BrackH of El.atom * t * El.atom
  5. | HoleH of [ `Next | `Num of int ]
  6. | FuseH of t * t
  7. | OtherH of El.exp
val to_string : t -> string
val to_string' : t -> El.text
val init : Hint.t -> t option
val validate : t -> 'a list -> (unit, string) result
val validate' : int -> t -> 'a list -> (int, string) result
val collect : t -> int list
val collect' : int list -> t -> int list
val realign : t -> Hints.Input.t -> t
val realign' : (int * int) list -> t -> t
val alternate : empty:'d -> text:(string -> 'd option) -> atom:(El.atom -> 'd) -> join:('d list -> 'd) -> fuse:('d -> 'd -> 'd) -> other:(El.exp -> 'd) -> t -> ('a -> 'd) -> 'a list -> 'd