|
Scala example source code file (StoreTTest.scala)
The StoreTTest.scala Scala example source codepackage scalaz import std.AllInstances._ import scalaz.scalacheck.ScalazProperties._ import scalaz.scalacheck.ScalazArbitrary._ object StoreTTest extends SpecLite { implicit def storeTuple1IntEqual = new Equal[StoreT[Tuple1, Int, Int]] { def equal(a1: StoreT[Tuple1, Int, Int], a2: StoreT[Tuple1, Int, Int]) = (a1.run, a2.run) match { case ((tf1, x1), (tf2, x2)) => Equal[Int].equal(x1, x2) && Equal[Int].equal(tf1._1(0), tf2._1(0)) } } checkAll(comonad.laws[StoreT[Tuple1, Int, ?]]) object instances { type A = Int def functor[F[_] : Functor] = Functor[StoreT[F, A, ?]] def cobind[F[_] : Cobind] = Cobind[StoreT[F, A, ?]] def comonad[F[_] : Comonad] = Comonad[StoreT[F, A, ?]] // checking absence of ambiguity def functor[F[_] : Comonad] = Functor[StoreT[F, A, ?]] def cobind[F[_] : Comonad] = Cobind[StoreT[F, A, ?]] } } Other Scala examples (source code examples)Here is a short list of links related to this Scala StoreTTest.scala source code file: |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2021 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.