SherlodocSherlocoq

Sherlocode

Search across 17 million lines of OCaml available on opam! NEW: also available for Coq with Sherlocoq!


The pattern is exact by default. Try [@@deriving or List.rev_append (List.rev for example.

The antislash \ provides support for regular expressions:

\. to match any single character: .(\.)
a\? to optionally match the character a: fold_left2\? ~f or type (\?!'
a\* to match zero or more times: 1_0\*
a\+ to match one or more times: >\+|
\(a\) to group a pattern: let\( rec\)\? fold_left
a\|b to match either a or b: match\|function
\[aA\] and ranges \[a-z\] to match a character from a set: (val \[A-Z\]\[a-z_0-9\]\*
\w is a shortcut for any alphanumeric character \[A-Za-z0-9_'\]. Try | \[A-Z\]\w\* : to search for GADTs!

The search will proceed on all .ml and .mli, stripped of their comments, on either the package release or the git repository where available.

(* Read the source, fork and contribute to art-w/sherlocode *)