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: 2 months 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 (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2024-10-17T09:25:12.000Z (3 months ago)
• Last Synced: 2024-10-19T12:47:58.578Z (3 months ago)
• Topics: ocaml, types
• Language: OCaml
• Homepage:
• Size: 8.48 MB
• Stars: 35
• Watchers: 6
• Forks: 4
• Open Issues: 9
• 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

```