blob: d0e56b9a3743c89b3a0e5f9811d96c5431dff72d (
plain) (
tree)
|
|
import scala.language.higherKinds
trait ClientTypes[M[+_]] {
final type Context[+A] = EitherT[M, String, A]
object Context {
def apply[A](ca: M[String \/ A]): Context[A] = EitherT[M, String, A](ca)
}
final type StatefulContext[+A] = EitherT[Context, String, A]
object StatefulContext {
def apply[A](state: Context[String \/ A]): StatefulContext[A] = ???
}
}
|