NewModel constructs a new model with no prior enter or leave information.

NewModelServer converts a Model into a type implementing traits.EnterLeaveSensorApiServer.

WithEnterLeaveEventOption configures the enterLeaveEvent resource of the model.

WithEnterLeaveSensorApiClientFactory instructs the router to create a new client the first time Get is called for that name.

WithEnterLeaveSensorInfoClientFactory instructs the router to create a new client the first time Get is called for that name.

WithInitialEnterLeaveEvent returns an option that configures the model to initialise with the given enter leave event.

WrapApi adapts a traits.EnterLeaveSensorApiServer and presents it as a traits.EnterLeaveSensorApiClient.

WrapInfo adapts a traits.EnterLeaveSensorInfoServer and presents it as a traits.EnterLeaveSensorInfoClient.

DefaultModelOptions holds the default options for the model.

ApiRouter is a traits.EnterLeaveSensorApiServer that allows routing named requests to specific traits.EnterLeaveSensorApiClient.

InfoRouter is a traits.EnterLeaveSensorInfoServer that allows routing named requests to specific traits.EnterLeaveSensorInfoClient.

Model provides the data structure for representing an EnterLeaveSensor trait.

ModelOption defined the base type for all options that apply to this traits model.