特定の型のすべてのサブクラスで使用できる、どのようにしてスカラーの型クラスのインスタンスを定義できますか？

Question

私は次のようにADTのすべてのメンバーのために使用することができる（猫0.9から）Showのインスタンスを定義しようとしています：

import $ivy.`org.typelevel::cats:0.9.0`, cats.Show 

sealed abstract class Colour(val name: String) 

implicit val ColourShow = new Show[Colour] { 
    def show(c: Colour) = c.name 
} 

object Colour { 
    object Red extends Colour("Red") 
    object Blue extends Colour("Blue") 
} 

import Show._ 

println(Colour.Red.show) 

該当するインスタンスはしかし、Redのために見つけることができません。

Compiling /Users/Rich/Projects/worksheets/fp-patterns/Colours.sc 
/Users/Rich/Projects/worksheets/fp-patterns/Colours.sc:16: value show is not a member of object ammonite.$file.Colours.Colour.Red 
val res_5 = println(Colour.Red.show) 
          ^
Compilation Failed 

このようにタイプメスを使用することはできますか？私は、Colorの各コンクリートのインスタンスごとに個別のインスタンスを定義する必要がないようにしようとしています。

Answer 1

あなたはここで起こっていることを間違っていると思います。あなたが定義した暗黙的なものは実際にインスタンスに対して機能します。

例えば、

ColourShow.show(Colour.Red) 

引数なしで、色のインスタンス上でshow（）を呼び出すことができるようにしたい場合は、引数を取らないメソッドのショーを持っている特性の定義を提供する必要があります、そしてColorからその特性への暗黙的な変換。

Answer 2

さらに人々が指摘しているものを、あなたはimport cats.implicits._

での作業の例を参照してくださいインポートする必要がありますへ：またColourためShowインスタンスを作成するために短いバージョンを使用することができますhttps://scastie.scala-lang.org/d1egoaz/LVaJEccDSeas9VmzHqf1ug/1

：

を

implicit val colourShow: Show[Colour] = Show.show[Colour](_.name)