nutcracker/nutcracker.toolkit/BFSSolver

BFSSolver

class BFSSolver[Prg, S, M[_], C, A](interpreter: (Prg, S) => M[S], assess: S => List[Prg] \/ A, getCost: S => C)(implicit evidence$1: NonDecreasingMonoid[C], M: Monad[M])
class Object
trait Matchable
class Any

Value members

Concrete methods

def solutions(s: S): StreamT[M, (A, C)]

Implicits

Implicits

implicit val orderByCost: Order[S]