def event_domain_matches

bendvy-ecs-core@0.1.0.4 · ordinary_reader_stream_parameter.bend:77

import bendvy-ecs-core@0.1.0.4/ordinary_reader_stream_parameter.bend as OrdinaryReaderStreamParameter
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend as Event

77def event_domain_matches(~S:Data,~E:Data,
78  declaration:Event.Declaration<S,E>,
79  domain:Event.Domain<S,E>) -> Bool:
80  match declaration domain:
81    case Event.Declaration{Event.Domain{expected},Event.Read{}} Event.Domain{actual}:String.eq(expected,actual)
82    case _ _:False{}

Uses (5)

Used by (1)