trait
Procedure[M[+_], +A] extends AnyRef
Type Members
-
abstract
type
K
Abstract Value Members
-
abstract
def
machine: Machine[K, A]
-
abstract
def
withDriver[R](f: (Driver[M, K]) ⇒ M[R]): M[R]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
andThen[B](p: Process[A, B]): Procedure[M, B]
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
execute[B >: A](implicit B: Monoid[B]): M[B]
-
def
finalize(): Unit
-
def
foldLeftM[B >: A, C](initial: C)(f: (C, B) ⇒ C): M[C]
-
def
foldMapM[R](f: (A) ⇒ M[R])(implicit R: Monoid[R]): M[R]
-
def
foreach(f: (A) ⇒ M[Unit]): M[Unit]
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
map[B](f: (A) ⇒ B): Procedure[M, B]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
tee[B, C](p: Procedure[M, B])(t: Tee[A, B, C]): Procedure[M, C]
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
A
Procedure
is aMachine
together with a driver for driving that machine through the use of effects. AProcedure[M, T]
is conceptually a stream of elements of typeT
produced with effects described byM
.