:type <expr>
<expr>の型を表示する。:typeは:tに省略可能。<expr>は型を持ったものでないといけないので、データコンストラクタは指定できない。
:info [<name> ...]
<name>についての情報を表示する。表示される情報は、<name>の定義やどこで定義されているか、また何の型クラスのインスタンスか、など。
-
<expr>の型を表示する。:typeは:tに省略可能。<expr>は型を持ったものでないといけないので、データコンストラクタは指定できない。
<name>についての情報を表示する。表示される情報は、<name>の定義やどこで定義されているか、また何の型クラスのインスタンスか、など。