dotnet / dotnet/fsharp

Search directive feature for FSI

Open
#8,738 5 comments 17 reactions 0 assignees View on GitHub
Area-FSI Feature Request
Dominant language
F#
Stars
4.3k
Forks
876
Avg merge
4d 11h
Merged PRs (30d)
131

Description

It would be cool if FSI had type signature search for apis in the loaded assemblies, like Idris.

```idris
Idris> :search String -> Nat
= Prelude.Strings.length : String -> Nat
Returns the length of the string.

< idris_crash : String -> a
Abort immediately with an error message

< Prelude.Cast.cast : Cast from to => from -> to
Perform a (potentially lossy!) cast operation.
```

In F# it can be something like:

```fsharp
Microsoft (R) F# Interactive version 11.0.0.0 for F# 5.0
Copyright (c) Microsoft Corporation. All Rights Reserved.

For help type #help;;

> #search string -> int
Int32.Parse : string -> int
String.length : string -> int
MyModule.myCast : string -> 'a
```

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.