package regenerate

  1. Overview
  2. Docs

Module Regenerate.RegexSource

Definition of Regular expressions and associated utilities.

Sourcetype 'a cset = 'a list
Sourcetype 'a t =
  1. | One
  2. | Set of bool * 'a cset
  3. | Seq of 'a t * 'a t
  4. | Or of 'a t * 'a t
  5. | And of 'a t * 'a t
  6. | Not of 'a t
  7. | Rep of int * int option * 'a t

Smart constructors

Sourceval epsilon : 'a t
Sourceval void : 'a t
Sourceval atom : 'a -> 'a t
Sourceval char : 'a -> 'a t
Sourceval charset : 'a cset -> 'a t
Sourceval complset : 'a cset -> 'a t
Sourceval enumerate : char -> char -> char list option
Sourceval reduce : 'a -> ('a -> 'a -> 'a) -> 'a list -> 'a
Sourceval seq : 'a t list -> 'a t
Sourceval alt : 'a t -> 'a t -> 'a t
Sourceval inter : 'a t -> 'a t -> 'a t
Sourceval compl : 'a t -> 'a t
Sourceval rep : int -> int option -> 'a t -> 'a t
Sourceval star : 'a t -> 'a t
Sourceval plus : 'a t -> 'a t
Sourceval opt : 'a t -> 'a t

QCheck utilities

Sourceval size : 'a t -> int
Sourceval prio : 'a t -> int
Sourceval pp : ?epsilon:bool -> 'a Fmt.t -> 'a t Fmt.t
Sourceval gen : compl:bool -> 'a QCheck.Gen.t -> 'a t QCheck.Gen.t