RegionTInstances1

sealed abstract
class Object
trait Matchable
class Any

Implicits

Implicits

implicit
def RegionTHoist[S]: Hoist[[a[_], b] =>> RegionT[S, a, b]]
implicit
def RegionTLiftIO[S, M[_]](implicit M: LiftIO[M]): LiftIO[[_] =>> RegionT[S, M, _$6]]
implicit
def RegionTMonad[S, M[_]](implicit M0: Monad[M]): Monad[[_] =>> RegionT[S, M, _$8]]