Supports DSL

[vitaliihonta]

I've recently added the following type alias into kernel:

type Supports[E <: Environment, Op[_[_]]] = Op[E#Repr]

Currently it allows to abstract over environment you are using:

def foo[F[_], A, E <: Environment](foo: Foo)(
  implicit canCombineByKey: E Supports CanCombineByKey,
  canReduce: E Supports CanReduce,
  hasSize: E Supports HasSize
  ...
) = ???

Need to provide an easier way to do so. For instance something like:

type RequiredAPI[E <: Environment] = 
  Supports[E, 
    CanCombineByKey & 
    CanReduce & 
    HasSize & ...
]
def foo[F[_], A, E <: Environment: RequiredAPI](foo: Foo) = ???

[vitaliihonta]

I tried different cases and it seems to be impossible...