scalaz/scalaz.effect/ST

ST

object ST extends STInstances
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def accumArray[F[_], A : ClassTag, B](size: Int, f: (A, B) => A, z: A, ivs: F[(Int, B)])(implicit evidence$2: ClassTag[A], F: Foldable[F]): ImmutableArray[A]

Accumulates an integer-associated list into an immutable array.

Accumulates an integer-associated list into an immutable array.

def apply[S, A](a: => A): ST[S, A]
def fixST[S, A](k: (=> A) => ST[S, A]): ST[S, A]

Allows the result of a state transformer computation to be used lazily inside the computation.

Allows the result of a state transformer computation to be used lazily inside the computation.

def newArr[S, A : ClassTag](size: Int, z: A): ST[S, STArray[S, A]]

Allocates a fresh mutable array.

Allocates a fresh mutable array.

def newVar[S]: NaturalTransformation[Id, [α] =>> ST[S, STRef[S, α]]]

Allocates a fresh mutable reference.

Allocates a fresh mutable reference.

def returnST[S, A](a: => A): ST[S, A]

Put a value in a state thread

Put a value in a state thread

def runST[A](f: Forall[ST]): A

Run a state thread

Run a state thread

def st[S, A](f: Tower[S] => (Tower[S], A)): ST[S, A]

Implicits

Implicits

implicit
def STToIO[A](st: ST[IvoryTower, A]): IO[A]

Inherited implicits

implicit
def stMonad[S]: Monad[[_] =>> ST[S, _$8]]
Inherited from
STInstances
implicit
def stMonoid[S, A](implicit A: Monoid[A]): Monoid[ST[S, A]]
Inherited from
STInstances
implicit
def stSemigroup[S, A](implicit A: Semigroup[A]): Semigroup[ST[S, A]]
Inherited from
STInstance0