ExtendM

trait ExtendM
class Object
trait Matchable
class Any

Value members

Concrete methods

def extendCheckingVisitedM[S, Result : Monoid, Label, M[_] : Monad](s: S, finder: Label => M[S], extend: S => M[List[Label]], expr: S => M[Result]): M[Result]
def extendCheckingVisitedM1[S, Result : Monoid, Label, M[_] : Monad](s: S, finder: Label => M[S], extend: S => M[List[Label]], first: S => M[Result], rest: S => M[Result]): M[Result]