Files

.github
docs
src
- CSSFontLoadingAPI
- CanvasAPI
- ChannelMessagingAPI
- ClipboardAPI
- CredentialManagementAPI
- DOMAPI
- EncryptedMediaExtensionsAPI
- EventAPI
- FetchAPI
- FileAPI
- FileAndDirectoryEntriesAPI
- GamepadAPI
- GeolocationAPI
- HistoryAPI
- IndexedDBAPI
- IntersectionObserverAPI
- MediaCapabilitiesAPI
- MediaCaptureAndStreamsAPI
- MediaSessionAPI
- NotificationAPI
- PerformanceAPI
- PermissionsAPI
- Prelude
- PushAPI
- RemotePlaybackAPI
- ResizeObserverAPI
- ScreenWakeLockAPI
- ServiceWorkerAPI
- StorageAPI
- UIEventsAPI
- URLAPI
- ViewTransitionsAPI
- WebAudioAPI
- WebCryptoAPI
- WebLocksAPI
- WebSocketsAPI
- WebSpeechAPI
- WebStorageAPI
- WebVTTAPI
- WebWorkersAPI
- CSSFontLoadingAPI.js
- CSSFontLoadingAPI.res
- CanvasAPI.js
- CanvasAPI.res
- ChannelMessagingAPI.js
- ChannelMessagingAPI.res
- ClipboardAPI.js
- ClipboardAPI.res
- CredentialManagementAPI.js
- CredentialManagementAPI.res
- DOMAPI.js
- DOMAPI.res
- EncryptedMediaExtensionsAPI.js
- EncryptedMediaExtensionsAPI.res
- EventAPI.js
- EventAPI.res
- FetchAPI.js
- FetchAPI.res
- FileAPI.js
- FileAPI.res
- FileAndDirectoryEntriesAPI.js
- FileAndDirectoryEntriesAPI.res
- GamepadAPI.js
- GamepadAPI.res
- GeolocationAPI.js
- GeolocationAPI.res
- Global.js
- Global.res
- HistoryAPI.js
- HistoryAPI.res
- IndexedDBAPI.js
- IndexedDBAPI.res
- IntersectionObserverAPI.js
- IntersectionObserverAPI.res
- MediaCapabilitiesAPI.js
- MediaCapabilitiesAPI.res
- MediaCaptureAndStreamsAPI.js
- MediaCaptureAndStreamsAPI.res
- MediaSessionAPI.js
- MediaSessionAPI.res
- NotificationAPI.js
- NotificationAPI.res
- PerformanceAPI.js
- PerformanceAPI.res
- PermissionsAPI.js
- PermissionsAPI.res
- PictureInPictureAPI.js
- PictureInPictureAPI.res
- Prelude.js
- Prelude.res
- PushAPI.js
- PushAPI.res
- RemotePlaybackAPI.js
- RemotePlaybackAPI.res
- ResizeObserverAPI.js
- ResizeObserverAPI.res
- ScreenWakeLockAPI.js
- ScreenWakeLockAPI.res
- ServiceWorkerAPI.js
- ServiceWorkerAPI.res
- StorageAPI.js
- StorageAPI.res
- UIEventsAPI.js
- UIEventsAPI.res
- URLAPI.js
- URLAPI.res
- ViewTransitionsAPI.js
- ViewTransitionsAPI.res
- VisualViewportAPI.js
- VisualViewportAPI.res
- WebAudioAPI.js
- WebAudioAPI.res
- WebCryptoAPI.js
- WebCryptoAPI.res
- WebLocksAPI.js
- WebLocksAPI.res
- WebMIDIAPI.js
- WebMIDIAPI.res
- WebSocketsAPI.js
- WebSocketsAPI.res
- WebSpeechAPI.js
- WebSpeechAPI.res
- WebStorageAPI.js
- WebStorageAPI.res
- WebVTTAPI.js
- WebVTTAPI.res
- WebWorkersAPI.js
- WebWorkersAPI.res
tests
tools
.gitignore
.prettierrc.mjs
LICENSE
README.md
astro.config.mjs
package-lock.json
package.json
rescript.json

Prelude.js

Split nested modules into separate files

Nov 6, 2024

f31dee1 · Nov 6, 2024