edomata-docs
0.11.3
API
Generated with
edomata-docs/edomata/edomata.core/EdomatonConstructors

EdomatonConstructors

edomata.core.EdomatonConstructors
sealed transparent trait EdomatonConstructors

Attributes

Source
Edomaton.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Edomaton.type

Members list

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

Attributes

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

Attributes

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

Attributes

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.

Attributes

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

Attributes

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

constructs an edomaton with given response

constructs an edomaton with given response

Attributes

Source
Edomaton.scala
def liftF[F[_], Env, R, E, N, T](f: F[ResponseD[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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Source
Edomaton.scala
Generated with