EventFilter

sec.api.EventFilter
See theEventFilter companion object
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 $.

Attributes

Companion:
object
Source:
filter.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Inherited methods

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product