是否可以显示应用Haskell类型族函数的结果? [英] Is it possible to display the results of applying a Haskell type family function?
本文介绍了是否可以显示应用Haskell类型族函数的结果?的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
例如,如果我有以下奇怪的类型:
For example, if I have these weird types:
{-# LANGUAGE TypeFamilies #-}
type family WeirdFamily a
type instance WeirdFamily () = Int
type instance WeirdFamily (a, b) = (a, WeirdFamily b)
我可以通过键入类似以下内容来显示(例如在GHCi中)
Can I display (e.g. in GHCi) the result of WeirdFamily (Bool, (Char, ()))
by typing something like:
:t WeirdFamily (Bool, (Char, ()))
进入GHCi?
推荐答案
使用种!
.
:kind! WeirdFamily (Bool, (Char, ()))
WeirdFamily (Bool, (Char, ())) :: *
= (Bool, (Char, Int))
这篇关于是否可以显示应用Haskell类型族函数的结果?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!
查看全文