Skip to content

Define precise type for Event.annot - #101

Open
not-my-profile wants to merge 3 commits into
jgm:mainfrom
not-my-profile:annot-type
Open

Define precise type for Event.annot#101
not-my-profile wants to merge 3 commits into
jgm:mainfrom
not-my-profile:annot-type

Conversation

@not-my-profile

Copy link
Copy Markdown
Contributor

This enables API users to identify the events returned by parseEvents in a type-safe manner.

Note that the last commit which stops the encoding of the list styles into annot does constitute a breaking change.

In the next commit I introduce a precise union type for `Event.annot`
and I want to avoid having to specify `as` type assertions.
This enables API users to identify the events returned
by `parseEvents` in a type-safe manner.
This makes the Event type easier to work with.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant