:browse sẽ cung cấp cho bạn hầu hết thông tin này. Nó hiển thị
- Nhập chữ ký cho hàm và toán tử.
- Lớp học và phương pháp của họ.
- Loại dữ liệu, kiểu mới và loại từ đồng nghĩa, với các hàm tạo nếu chúng nằm trong phạm vi.
Nếu không có bất kỳ đối số nào, nó sẽ hiển thị thông tin này cho mô-đun hiện được tải. Bạn cũng có thể chỉ định một mô-đun khác.
Prelude> :browse Control.Applicative
class (Functor f) => Applicative f where
pure :: a -> f a
(<*>) :: f (a -> b) -> f a -> f b
(*>) :: f a -> f b -> f b
(<*) :: f a -> f b -> f a
...
Để xem thêm chi tiết, bao gồm ưu tiên và kết hợp cho người vận hành, cũng như trường hợp cho loại dữ liệu, hãy sử dụng :info.
Prelude> :info (^)
(^) :: (Num a, Integral b) => a -> b -> a -- Defined in GHC.Real
infixr 8^
Prelude> :info Bool
data Bool = False | True -- Defined in GHC.Bool
instance Bounded Bool -- Defined in GHC.Enum
instance Enum Bool -- Defined in GHC.Enum
instance Eq Bool -- Defined in GHC.Base
instance Ord Bool -- Defined in GHC.Base
instance Read Bool -- Defined in GHC.Read
Các lệnh này cũng khả dụng khi gỡ lỗi.
Để biết thêm thông tin, hãy nhập :help hoặc xem the GHCi chapter of the GHC user's guide.
Tôi muốn một cái gì đó như thế này cho toàn bộ hệ thống không chỉ là một mô-đun. –
@VansonSamuel: Có dạng ': browse * Module', sẽ hiển thị thông tin cho bất kỳ thứ gì trong phạm vi trong mô-đun đó, tức là tất cả các nhập khẩu cũng như xuất khẩu của nó. Có lẽ đó là gần gũi hơn với những gì bạn cần? – hammar
Tôi sẽ thử điều này. Cảm ơn @hammar đây giống như câu hỏi thứ tư bạn đã giúp tôi. :-) –