blob: 8c605dc7b6c78af9b0efcd9c8e28a2e5dbc3fd5d (
plain) (
tree)
|
|
trait Monad[T <: Bound[T], MyType[x <: Bound[x]], Bound[_]] {
def map[S <: Bound[S]](f: T => S): MyType[S]
def flatMap[S <: RBound[S], RContainer[x <: RBound[x]], RBound[_],
Result[x <: RBound[x]] <: Monad[x, RContainer, RBound]]
(f: T => Result[S]): Result[S]
def filter(p: T => Boolean): MyType[T]
}
class Set[T <: Ordered[T]] extends Monad[T, Set, Ordered] {
def map[S <: Ordered[S]](f: T => S): Set[S] = sys.error("TODO")
def flatMap[S <: RBound[S], RContainer[x <: RBound[x]], RBound[_],
Result[x <: RBound[x]] <: Monad[x, RContainer, RBound]]
(f: T => Result[S]): Result[S] = sys.error("TODO")
def filter(p: T => Boolean): Set[T] = sys.error("TODO")
}
|