edomata-docs/edomata.core/Edomaton

Edomaton

object Edomaton extends EdomatonInstances with EdomatonConstructors
Companion:
class
Source:
Edomaton.scala
class Object
trait Matchable
class Any

Value members

Inherited 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

Inherited from:
EdomatonConstructors
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

Inherited from:
EdomatonConstructors
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

Inherited from:
EdomatonConstructors
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.

Inherited from:
EdomatonConstructors
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

Inherited from:
EdomatonConstructors
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

Inherited from:
EdomatonConstructors
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

Inherited from:
EdomatonConstructors
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

Inherited from:
EdomatonConstructors
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

Inherited from:
EdomatonConstructors
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

Inherited from:
EdomatonConstructors
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

Inherited from:
EdomatonConstructors
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

Inherited from:
EdomatonConstructors
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

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

Givens

Inherited givens

given given_Contravariant_Edomaton[F[_], R, E, N, T]: Contravariant[[env] =>> Edomaton[F, env, R, E, N, T]]
Inherited from:
EdomatonInstances
Source:
Edomaton.scala
given given_Eq_Edomaton[F[_], Env, R, E, N, T](using Eq[Env => F[Response[R, E, N, T]]]): Eq[Edomaton[F, Env, R, E, N, T]]
Inherited from:
EdomatonInstances
Source:
Edomaton.scala
given given_Monad_Edomaton[F[_] : Monad, Env, R, E, N]: Monad[[t] =>> Edomaton[F, Env, R, E, N, t]]
Inherited from:
EdomatonInstances
Source:
Edomaton.scala