EventFilter

final case
class EventFilter(kind: Kind, option: Either[NonEmptyList[PrefixFilter], RegexFilter])

Used for server-side event stream filtering. There are two kinds of filters:

In combination with EventFilter.Kind you can choose between two types of filter expressions:

  • EventFilter.PrefixFilter when you wish to filter for prefixes. An example of this is PrefixFilter("user_stream") for streams starting with the string value "user_stream" like "user_stream-a" and "user_stream-b".

  • EventFilter.RegexFilter when you wish to filter with a regular expression. An example of this is RegexFilter("^[^$].*") when you for do not wish to retrieve events starting with $.

Companion
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product