edomata-docs/edomata.core/EdomatonConstructors

EdomatonConstructors

sealed transparent trait EdomatonConstructors
Source:
Edomaton.scala
class Object
trait Matchable
class Any
object Edomaton.type

Value members

Concrete methods

def decide[F[_] : Applicative, Env, R, E, N, T](d: Decision[R, E, T]): Edomaton[F, Env, R, E, N, T]

constructs an edomaton that decides the given decision

constructs an edomaton that decides the given decision

Source:
Edomaton.scala
def eval[F[_] : Applicative, Env, R, E, N, T](f: F[T]): Edomaton[F, Env, R, E, N, T]

constructs an edomaton that evaluates an effect

constructs an edomaton that evaluates an effect

Source:
Edomaton.scala
def fromEither[F[_] : Applicative, Env, R, E, N, T](eit: Either[R, T]): Edomaton[F, Env, R, E, N, T]

Constructs a program that either outputs a value or rejects

Constructs a program that either outputs a value or rejects

Source:
Edomaton.scala
def fromEitherNec[F[_] : Applicative, Env, R, E, N, T](eit: EitherNec[R, T]): Edomaton[F, Env, R, E, N, T]

Constructs a program that either outputs a value or rejects

Constructs a program that either outputs a value or rejects

You can also use .toDecision syntax for more convenience.

Source:
Edomaton.scala
def fromOption[F[_] : Applicative, Env, R, E, N, T](opt: Option[T], orElse: R, other: R*): Edomaton[F, Env, R, E, N, T]

Constructs a program from an optional value, that outputs value if exists or rejects otherwise

Constructs a program from an optional value, that outputs value if exists or rejects otherwise

You can also use .toDecision syntax for more convenience

Source:
Edomaton.scala
def lift[F[_] : Applicative, Env, R, E, N, T](f: Response[R, E, N, T]): Edomaton[F, Env, R, E, N, T]

constructs an edomaton with given response

constructs an edomaton with given response

Source:
Edomaton.scala
def liftF[F[_], Env, R, E, N, T](f: F[Response[R, E, N, T]]): Edomaton[F, Env, R, E, N, T]

constructs an edomaton from an effect that results in a response

constructs an edomaton from an effect that results in a response

Source:
Edomaton.scala
def publish[F[_] : Applicative, Env, R, E, N](ns: N*): Edomaton[F, Env, R, E, N, Unit]

constructs an edomaton that publishes given notifications

constructs an edomaton that publishes given notifications

Source:
Edomaton.scala
def pure[F[_] : Applicative, Env, R, E, N, T](t: T): Edomaton[F, Env, R, E, N, T]

constructs an edomaton that outputs a pure value

constructs an edomaton that outputs a pure value

Source:
Edomaton.scala
def read[F[_] : Applicative, Env, R, E, N, T]: Edomaton[F, Env, R, E, N, Env]

constructs an edomaton that outputs what's read

constructs an edomaton that outputs what's read

Source:
Edomaton.scala
def reject[F[_] : Applicative, Env, R, E, N, T](r: R, rs: R*): Edomaton[F, Env, R, E, N, T]

constructs an edomaton that rejects with given rejections

constructs an edomaton that rejects with given rejections

Source:
Edomaton.scala
def run[F[_] : Applicative, Env, R, E, N, T](f: Env => F[T]): Edomaton[F, Env, R, E, N, T]

constructs an edomaton that runs an effect using its input

constructs an edomaton that runs an effect using its input

Source:
Edomaton.scala
def unit[F[_] : Applicative, Env, R, E, N, T]: Edomaton[F, Env, R, E, N, Unit]

an edomaton with trivial output

an edomaton with trivial output

Source:
Edomaton.scala
def validate[F[_] : Applicative, Env, R, E, N, T](v: ValidatedNec[R, T]): Edomaton[F, Env, R, E, N, T]