Определения типов для Elm

Нет, такого механизма, как DefinitelyTyped для Elm, не существует.

Есть несколько вариантов использования JavaScript из Elm: Elm порты и собственный код, первый из которых является рекомендуемым механизмом.

С портами вы, по сути, будете использовать передачу сообщений для запроса некоторых функций, реализованных в JavaScript.

С нативным кодом вы будете реализовывать привязку между Elm и JavaScript, используя для этого оба языка. Я полагаю, что это самое близкое к DefinitelyTyped. Вы можете взглянуть на существующий модуль, использующий собственный код, например Dom, чтобы чтобы получить представление о том, как это сделать. Обратите внимание, что если вы используете собственный код, сервер пакетов Elm обычно отказывается обслуживать ваш модуль.