Allow import all constructors

[July541]

This is for #2734

Brief intro:

With

Module A where
data Foo = Foo | Bar

it will suggest import Foo(..) now, like import A(Foo(..)) and Add Foo(..) to the import list of A.

---

Note:
Support Now!
This doesn't work for record fields, ideally, we should support this.

Example:

data Foo = Bar {a :: Int}

if we have f = a, we should also have import A(Foo(..)). Maybe we can extend

haskell-language-server/ghcide/src/Development/IDE/Types/Exports.hs

Lines 64 to 70 in 621c2bb

	data IdentInfo = IdentInfo
	{ name :: !OccName
	, rendered :: Text
	, parent :: !(Maybe Text)
	, isDatacon :: !Bool
	, moduleNameText :: !Text
	}

with a field to indicate a's data type if a is a record field.

[July541]

With data A = B | C,

import A (A(B))
f = C

it will cause import A (A(B, ..) if we import all constructors. I'll check it later.

[pepeiborra]

This is a good idea, thanks for working on it!

[pepeiborra]

if we have f = a, we should also have import A(Foo(..)). Maybe we can extend

haskell-language-server/ghcide/src/Development/IDE/Types/Exports.hs

Lines 64 to 70 in 621c2bb

	data IdentInfo = IdentInfo
	{ name :: !OccName
	, rendered :: Text
	, parent :: !(Maybe Text)
	, isDatacon :: !Bool
	, moduleNameText :: !Text
	}

with a field to indicate a's data type if a is a record field.

Did you consider checking if isJust parent ?

[pepeiborra]

Fantastic work, thank you @July541 !