sjmyuan
/ Alacarte.scala
Created
April 19, 2017 12:55
— forked from YoEight/Alacarte.scala
Scala DataType à la carte
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| object Alacarte { | |
| trait Functor[F[_]]{ | |
| def map[A, B](fa: F[A])(f: A => B): F[B] | |
| } | |
| trait Eval[F[_]] { | |
| def F: Functor[F] | |
| def evalAlgebra(fa: F[Int]): Int | |
| } |
sjmyuan
/ type-bounds.scala
Created
April 19, 2017 12:50
— forked from retronym/type-bounds.scala
Tour of Scala Type Bounds
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| class A | |
| class A2 extends A | |
| class B | |
| trait M[X] | |
| // | |
| // Upper Type Bound | |
| // | |
| def upperTypeBound[AA <: A](x: AA): A = x |
NewerOlder