portals-core
API
Generated with
portals-core/portals/portals.runtime/WrappedEvents

WrappedEvents

portals.runtime.WrappedEvents$
object WrappedEvents

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Extensions

Extensions

extension (event: WrappedEvent[_])(event: WrappedEvent[_])
def key: Key
Generated with