代码之家 › 专栏 › 技术社区 › Roasted Yam

查找归纳定义类型的实现(show)

idris dependent-type typeclass polymorphism

Roasted Yam · 技术社区 · 7 年前

tensor : Vect n Nat -> Type -> Type
tensor []        a = a
tensor (m :: ms) a = Vect m (tensor ms a)

我想定义以下内容:

mkStr : (Show a) => tensor shape a -> String
mkStr x = show x

但这会产生以下错误:

Can't find implementation for Show (tensor shape a)

然而,在REPL上,我可以运行“show[some tensor value…]”。为什么会这样?我可以做些什么来修复它?

1 回复 | 直到 7 年前

Shersh 7 年前

你没有出现 a ,你正在展示 tensor shape a . 因此,以下内容应该可以工作,您需要用下一种方式写入类型:

mkStr : (Show (tensor shape a)) => tensor shape a -> String
mkStr x = show x

推荐文章

Eris · 纯虚拟成员有什么优势吗(除了他们可能防止的人为错误)?

2 年前

James Nguyen · Java多态性:为什么返回错误?

6 年前

Alex Cristea · 如何从另一个类的数组中打印特定行

6 年前

juztcode · C语言中的静态和动态分辨率++

6 年前

Hugo · 具有多态关系的活动记录获取关联模型

6 年前

bitbonk · 为什么typeof(IList<uint>)是。IsAssignableFrom(typeof(int[])返回true?

6 年前

pooya13 · 机器代码层上虚函数和条件执行的区别

6 年前

Nisba · C中子类类型未知的模型类/子类++

6 年前

geranimo · 为什么虚拟类的析构函数不能自动添加到vtable中?

6 年前

R zu · 使用多次调用的可替换方法初始化

6 年前