https://github.com/drup/dowsing

᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
https://github.com/drup/dowsing

ocaml types

Last synced: 19 days ago
JSON representation

᚛ A type of divination employed in attempts to locate identifiers matching a given type expression

• Host: GitHub
• URL: https://github.com/drup/dowsing
• Owner: Drup
• License: isc
• Created: 2017-01-25T21:36:26.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2024-11-26T15:01:53.000Z (2 months ago)
• Last Synced: 2025-01-11T19:38:30.757Z (28 days ago)
• Topics: ocaml, types
• Language: OCaml
• Homepage:
• Size: 8.49 MB
• Stars: 34
• Watchers: 6
• Forks: 4
• Open Issues: 10
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

README

        
# ᚛ Dowsing

Dowsing is a type of divination employed in attempts to locate functions by giving a type.

```

$ search "'a list * 'a -> bool"

...

List.mem : 'a -> 'a list -> bool

...

$ search "'a list -> ('a * 'b -> 'b) -> 'b -> 'b"

...

List.fold_left :

  ('a -> 'b -> 'a) -> 'a -> 'b list -> 'a

List.fold_right :

  ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b

...

```

## Resources

- [video](https://www.youtube.com/watch?v=rxUb-1eKEJM)

- [paper](https://hal.archives-ouvertes.fr/hal-03355381)

## Install and Use

```

opam pin [email protected]:Drup/dowsing.git

dowsing help

```