|
Scala example source code file (TypeConstraint.scala)
The TypeConstraint.scala Scala example source codepackage scalaz package std trait TypeConstraintInstances { val <:< = new Category[<:<] { def id[A] = implicitly[A <:< A] def compose[A, B, C](f: B <:< C, g: A <:< B) = f.asInstanceOf[A <:< C] } val =:= = new Category[=:=] { def id[A] = implicitly def compose[A, B, C](f: B =:= C, g: A =:= B) = f.asInstanceOf[A =:= C] } } object typeConstraint extends TypeConstraintInstances Other Scala examples (source code examples)Here is a short list of links related to this Scala TypeConstraint.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.