Step

object Step
Companion:
class
Source:
Step.scala
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Step.type

Type members

Classlikes

object Alg
Source:
Step.scala

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
Source:
Mirror.scala

The name of the type

The name of the type

Inherited from:
Mirror
Source:
Mirror.scala

Value members

Concrete methods

def argument[F[_], A](arg: Arg[A]): Step[F, Any, A]
Source:
Step.scala
def batch[F[_], K, V](f: Set[K] => F[Map[K, V]]): State[SchemaState[F], Step[F, Set[K], Map[K, V]]]
Source:
Step.scala
def compose[F[_], I, A, O](left: Step[F, I, A], right: Step[F, A, O]): Step[F, I, O]
Source:
Step.scala
def effect[F[_], I, O](f: I => F[O]): Step[F, I, O]
Source:
Step.scala
def first[F[_], A, B, C](step: Step[F, A, B]): Step[F, (A, C), (B, C)]
Source:
Step.scala
def getMeta[F[_]]: Step[F, Any, Meta]
Source:
Step.scala
def lift[F[_], I, O](f: I => O): Step[F, I, O]
Source:
Step.scala
def rethrow[F[_], I]: Step[F, Ior[String, I], I]
Source:
Step.scala
def skip[F[_], I, O](compute: Step[F, I, O]): Step[F, Either[I, O], O]
Source:
Step.scala
def stream[F[_], I, O](f: I => Stream[F, O]): Step[F, I, O]
Source:
Step.scala

Implicits

Implicits

implicit def arrowForStep[F[_]]: Arrow[[_, _] =>> Step[F, _$23, _$24]]
Source:
Step.scala