Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
@Drup has tasked me with further developing this package.
The changelog is as follows:
Re, they have a different type from regex.ones that cannot:
(evaluable, 'a) Tyre.tand(non_evaluable, 'a) Tyre.t.type patternfor(non_evaluable, 'a) Tyre.t.val lift : ('a -> string) -> 'a pattern -> ('e, 'a) tto transforma pattern into an expression by giving an explicit conversion function.
Also
liftppthat does the same with better performance by usingFormat.val unlift : (evaluable, 'a) t -> 'a pattern.val either: ('e, 'a) Tyre.t -> ('e, 'b) Tyre.t -> ('e, ('a, 'b) Either.t) Tyre.t.altto(_, 'a) t -> (_, 'a) t -> 'a pattern. Previoususers of
altshould switch toeither.val alt_eval: ('a -> [`Left | `Right]) -> ('e, 'a) t -> ('e, 'a) t -> ('e, 'a) tThis has flat typing but is compatible with
eval.<|>isalt,<||>iseither.val map : ('a -> 'b) -> (_, 'a) t -> 'b patternand itscorresponding operators:
let+and<$>.(and+)which is an alias ofseq.val app: ('e, 'a -> 'b) t -> ('e, 'a) t -> 'b patternand itscorresponding operator
<*>val matched_string : (_, 'a) t -> (_, string) tthat discards thecomputed value and just return the string that was matched.
Resultlibrary. Stdlib is now used.val rep_charset: Charset.t -> (_, string) t, and shortcutval rep_any: (_, string) t.I introduce version 1.0 mainly because of the large breaking change of typing around
altandeither.