Length, Index

今日は小粒な型クラスを書いていきます。

Length

長さを定義します。

len

長さを返します。

	case class Ikamusume[A](value: A*)
	implicit def IkamusumeEqual[A]: Equal[Ikamusume[A]] = equalA
	implicit def IkamusumeShow[A]: Show[Ikamusume[A]] = shows(Function.const("イカ娘"))
	implicit lazy val IkamusumeLength: Length[Ikamusume] = new Length[Ikamusume] {
	def len[A](a: Ikamusume[A]): Int = 10
	}
	List('a, 'b, 'c).len assert_=== 3
	Ikamusume("ゲソ！").len assert_=== 10

view raw length1.scala hosted with ❤ by GitHub

Index

インデックスを定義します。

index, index_!, -!-

n番目の値を返します。
indexはOptionで返り、index_!はそのまま返ります。
-!-はindex_!のエイリアスです。

	implicit lazy val IkamusumeIndex: Index[Ikamusume] = new Index[Ikamusume] {
	def index[A](a: Ikamusume[A], i: Int): Option[A] = (i == 0).option(a.value)
	}
	Ikamusume(0)
	nel('Scala, 'Scalaz).index(1) assert_=== Some('Scalaz)
	nil[Int].index(2) assert_=== None
	nel(3, 4, 6).index_!(0) assert_=== 3
	'z'.some -!- 0 assert_=== 'z'

view raw index1.scala hosted with ❤ by GitHub

<--->

Length, Index, Equalのインスタンスがある場合に利用できます。
互いが内包する要素の間で、異なる要素の数を返します。

	nel(1, 2, 3) <---> nel(1, 2, 3) assert_=== 0
	nel(1, 2, 3) <---> nel(1, 2, 4) assert_=== 1
	nel(1, 2, 3) <---> nel(4, 5, 6) assert_=== 3
	nel(1, 2, 3) <---> nel(3, 2, 1) assert_=== 2
	nel(1) <---> nel(1, 2, 3, 4, 5) assert_=== 4
	1.some <---> none assert_=== 1

view raw index2.scala hosted with ❤ by GitHub

ペースを保つためその２へ続く。