edomata.core

package edomata.core

Members list

Type members

Classlikes

A monad transformer for ResponseD

Type parameters

A: output type
E: domain event type
F: effect type
N: notification type
R: rejection type

Attributes

Companion: object
Source: Action.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: Action.scala
Supertypes: trait Product

trait Mirror

trait ActionCatsInstances

trait ActionConstructors

class Object

trait Matchable

class Any
Show all
Self type: Action.type

Attributes

Source: Action.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object Action.type

Attributes

Source: Action.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object Action.type

Attributes

Source: CQRSModel.scala
Supertypes: class AnyVal

trait Matchable

class Any

Attributes

Source: CQRSDomainDSL.scala
Supertypes: class AnyVal

trait Matchable

class Any

Attributes

Source: CQRSModel.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object TestCQRSModel.type
Self type: CQRSModel[State, Rejection]

Representation of a standard command message

Type parameters

C: Command payload which is your command model

Attributes

Companion: object
Source: RequestContext.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: RequestContext.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: CommandMessage.type

Represents programs that decide in an event driven context

This is basically a simple state machine like the following:

[*] -> InDecisive
InDecisive -- event --> Accepted
InDecisive -- join --> InDecisive
InDecisive -- rejection --> Rejected (resets and terminates)
Accepted -- event --> Accepted (accumulates)
Accepted -- rejection --> Rejected (resets and terminates)

It forms a monad error and also is traversable.

Type parameters

A: program output type
E: event type
R: rejection type

Attributes

Companion: object
Source: Decision.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all
Known subtypes: class Accepted[E, T]

class InDecisive[T]

class Rejected[R]
Self type: Decision[R, E, A]

Attributes

Companion: trait
Source: Decision.scala
Supertypes: trait Sum

trait Mirror

trait DecisionCatsInstances0

trait DecisionCatsInstances1

trait DecisionConstructors

class Object

trait Matchable

class Any
Show all
Self type: Decision.type

Attributes

Source: Decision.scala
Supertypes: trait DecisionCatsInstances1

class Object

trait Matchable

class Any
Known subtypes: object Decision.type

Attributes

Source: Decision.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: trait DecisionCatsInstances0

object Decision.type

Attributes

Source: Decision.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object Decision.type

This is monad transformer for Decision

Type parameters

A: program output type
E: event type
F: effect type
R: rejection type

Attributes

Companion: object
Source: DecisionT.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: DecisionT.scala
Supertypes: trait Product

trait Mirror

trait DecisionTCatsInstances

trait DecisionTConstructors

class Object

trait Matchable

class Any
Show all
Self type: DecisionT.type

Attributes

Source: DecisionT.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object DecisionT.type

Attributes

Source: DecisionT.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object DecisionT.type

Attributes

Source: DomainDSL.scala
Supertypes: class AnyVal

trait Matchable

class Any

Attributes

Source: DomainCompiler.scala
Supertypes: class Object

trait Matchable

class Any
Self type: DomainCompiler.type

Attributes

Source: DomainDSL.scala
Supertypes: class AnyVal

trait Matchable

class Any

A purely functional, event driven domain model

Type parameters

Event: domain events
Rejection: domain error type
State: state model of your program, a.k.a aggregate root

Attributes

Source: Model.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object TestDomain.type
Self type: DomainModel[State, Event, Rejection]

Represents programs that are event driven state machines (a Mealy machine)

these programs can use input to decide on a state transition, and optionally emit a sequence of notifications for communication.

Type parameters

A: output type
E: internal event type
Env: input type
F: effect type
N: notification type, a.k.a external event, integration event
R: rejection type

Attributes

Companion: object
Source: Edomaton.scala
Supertypes: trait Serializable

trait Product

trait Equals

class AnyVal

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: Edomaton.scala
Supertypes: trait EdomatonConstructors

trait EdomatonInstances

class Object

trait Matchable

class Any
Self type: Edomaton.type

Attributes

Source: Edomaton.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object Edomaton.type

Attributes

Source: Edomaton.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object Edomaton.type

Representation of the result of running an edomaton

Attributes

Source: DomainCompiler.scala
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Representation of a standard message metadata

Attributes

Companion: object
Source: RequestContext.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: RequestContext.scala
Supertypes: trait Product

trait Mirror

class Object

trait Matchable

class Any
Self type: MessageMetadata.type

A type class that captures domain model

note that due to uniqueness requirements for this typeclass, it is sealed and the only way to create an instance is through implementing DomainModel.

so don't create several instances as it is a bad idea and may change your domain model behavior in different contexts!

Attributes

Source: Model.scala
Supertypes: class Object

trait Matchable

class Any

Attributes

Companion: object
Source: RaiseError.scala
Supertypes: class Object

trait Matchable

class Any

Attributes

Companion: trait
Source: RaiseError.scala
Supertypes: class Object

trait Matchable

class Any
Self type: RaiseError.type

Representation of a standard input for an Edomaton

Type parameters

C: Command type
S: State model type

Attributes

Source: RequestContext.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Source: ResponseD.scala
Supertypes: class Object

trait Matchable

class Any
Self type: ResponseD.type

Attributes

Source: ResponseE.scala
Supertypes: class Object

trait Matchable

class Any
Self type: ResponseE.type

Representation of programs that decide and emit notifications

This adds capability of emiting notifications/integration events to effectful programs

Type parameters

A: output type
N: notification type
R: rejection type
RES: effect type

Attributes

Companion: object
Source: ResponseT.scala
Supertypes: trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: ResponseT.scala
Supertypes: trait Product

trait Mirror

trait ResponseT2CatsInstances0

trait ResponseT2CatsInstances1

trait ResponseT2Constructors

class Object

trait Matchable

class Any
Show all
Self type: ResponseT.type

Attributes

Source: ResponseT.scala
Supertypes: trait ResponseT2CatsInstances1

class Object

trait Matchable

class Any
Known subtypes: object ResponseT.type

Attributes

Source: ResponseT.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: trait ResponseT2CatsInstances0

object ResponseT.type

Attributes

Source: ResponseT.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object ResponseT.type

Attributes

Source: CQRSModel.scala
Supertypes: class Object

trait Matchable

class Any

Attributes

Companion: object
Source: Stomaton.scala
Supertypes: trait Serializable

trait Product

trait Equals

class AnyVal

trait Matchable

class Any
Show all

Attributes

Companion: class
Source: Stomaton.scala
Supertypes: trait StomatonConstructors

trait StomatonInstances

class Object

trait Matchable

class Any
Self type: Stomaton.type

Attributes

Source: Stomaton.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object Stomaton.type

Attributes

Source: Stomaton.scala
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object Stomaton.type

Types

Attributes

Source: DomainCompiler.scala

Representation of programs that decide and emit notifications

This adds capability of emiting notifications/integration events to Decision programs

Type parameters

A: output type
E: domain event type
N: notification type
R: rejection type

Attributes

Source: ResponseD.scala

Representation of programs that decide and emit notifications

This adds capability of emiting notifications/integration events to cats.data.EitherNec programs

Type parameters

A: output type
N: notification type
R: rejection type

Attributes

Source: ResponseE.scala

Deprecated types

Representation of programs that decide and emit notifications

This adds capability of emiting notifications/integration events to Decision programs

Type parameters

A: output type
E: domain event type
N: notification type
R: rejection type

Attributes

Deprecated: true
Source: Response.scala

Value members

Deprecated fields

Attributes

Deprecated: true
Source: Response.scala

In this article

Generated with