package tyre

You can search for identifiers within the package.

in-package search v0.2.0

Typed Regular Expressions

Install

dune-project

Dependency

sha256=63ca1915da896640534b5cf928d220198709ec74b899d55b830fb0ceccebd633

sha512=536440d090046569449c7752315d568b3447e84c8c0e555a35a20a504a96a538ed9bc4e8e5f78e5860744ba863023331aa0a9893bf2028ae280cad678ec8d59c

Sourceval (<||>) : ('e, 'a) t -> ('e, 'b) t -> ('e, ('a, 'b) Either.t) t

t <||> t' is either t t'.

Sourceval (<|>) : (_, 'a) t -> (_, 'a) t -> 'a pattern

t <|> t' is alt t t'. It is not compatible with eval, use either instead if you need to call eval.

Sourceval (<&>) : ('e, 'a) t -> ('e, 'b) t -> ('e, 'a * 'b) t

t <&> t' is seq t t'.

Sourceval (*>) : (_, _) t -> ('e, 'a) t -> ('e, 'a) t

ti *> t is prefix ti t.

Sourceval (<*) : ('e, 'a) t -> (_, _) t -> ('e, 'a) t

t <* ti is suffix t ti.

Sourceval (<*>) : ('e, 'a -> 'b) t -> ('e, 'a) t -> 'b pattern

(<*>) is app

Sourceval (<$>) : ('a -> 'b) -> ('c, 'a) t -> 'b pattern

(<$>) is map

Sourceval (let+) : ('e, 'a) t -> ('a -> 'b) -> 'b pattern

let+ x = y in z is map (fun x -> z) y.

Sourceval (and+) : ('e, 'a) t -> ('e, 'b) t -> ('e, 'a * 'b) t

(and+) x y is seq x y.

Be warned that this is not an applicative functor: let+ x = t1 and+ y = t2 in z is not the same as let+ y = t2 and+ x = t1 in z.