kord icon indicating copy to clipboard operation
kord copied to clipboard

Sealed base type for Kord events

Open gdude2002 opened this issue 1 year ago • 2 comments

Currently, Kord events all extend the Event interface, which is open. This is good - it means that frameworks can combine their events with Kord's in their event handling systems trivially.

However, this also creates a problem - when using a when for type checking event objects, the compiler/IDE will be unable to generate an exhaustive list of conditionals. In the case of KordEx, which has functions like this to extract data from Kord events, this means it's very difficult for me to know about changes to Kord's event line up.

To fix this, I propose adding a sealed interface inherited by all Kord event types - perhaps named KordEvent. While this would not solve the problem of generic entity extraction, it would allow framework developers to quickly generate a full list of Kord event types when working with these when blocks.

gdude2002 avatar Jan 06 '24 21:01 gdude2002

Sounds reasonable to me 👍

PR welcome :)

lukellmann avatar Jan 07 '24 00:01 lukellmann

I just noticed that this won't be that easy. Right now, Kotlin forces all direct inheritors of a sealed type to be in the same package as the sealed type. However, Kord's events are already placed into different packages.

Also see https://youtrack.jetbrains.com/issue/KT-44895

lukellmann avatar Mar 23 '24 18:03 lukellmann