How do I find a Unison function by type?

user_3434 0
Viewed 37

Say I want to search for a function with a type like [k] -> Set k. I'm trying to use the find command from UCM, but that only lets me search by name. If I knew the name of the function I'm looking for, I wouldn't have to search for it

Is there something like Haskell's Hoogle?

unison-lang
1 Answers

You can do find : [k] -> Set k. It's the colon (:) that tells UCM to do a search by type.

For example, in my codebase:

.> find : [t] -> Set t

  1.  base.data.Set.fromList : [k] -> Set k
user_34340
Related