nhập đủ điều kiện trong GHCI

Question

Liệu có thể sử dụng tương đương "nhập đủ điều kiện" trong GHCI với mô-đun OWN của chúng tôi không? Một cái gì đó như :m + qualified Data.List mà tất nhiên không hoạt động.

Cảm ơn.

Answer 1

Chỉ cần nhập import qualified Data.Text hoặc import qualified Data.Text as T bên trong ghci, giống như bạn thực hiện bên trong mã của mình.

Answer 2

Tôi không biết một cách khá để làm những gì bạn muốn, nhưng bạn có thể giả mạo nó với một cái gì đó như thế này:

1. Thứ nhất, sử dụng :load My/Module.hs để nạp mô-đun của bạn.
2. Sử dụng :module - My.Module để loại bỏ phạm vi.
3. (Tùy chọn.) Sử dụng import qualified My.Module as MM để đưa nó vào phạm vi đủ điều kiện.

Mọi mô-đun mà GHCi biết sẽ tự động có đủ điều kiện, vì vậy sau bước 2, My.Module.value sẽ hoạt động tốt. Bước 3 chỉ cần thiết nếu bạn muốn sử dụng tiền tố ngắn hơn.

Nếu bạn muốn tải nhiều tệp cùng một lúc, :load cũng có thể thực hiện điều đó;

:load My/Module1.hs My/Module2.hs ... My/ModuleN.hs 

sẽ hoạt động tốt. Nó sẽ đưa bạn vào phạm vi *My.Module1, và sau đó My.Module2… My.ModuleN tất cả sẽ có sẵn đủ điều kiện như đã đề cập ở trên.

Để biết thêm về GHCi, bạn luôn có thể kiểm tra the GHC User's Guide, Ch. 2: "Using GHCi"; các phần đặc biệt có liên quan là §2.2, "Loading source files" và §2.4.5, "What's really in scope at the prompt?".