Репа определяет ли макет памяти своих данных?

Question

Я не вижу, что Repa указывает макеты памяти для данных в любом из своих «манифестных представлений». Это где-то указано?

Конечно, я могу узнать об экспериментах, но я бы предпочел узнать, является ли макет официальным или подвержен изменениям в любое время.

Edit: Чтобы уточнить, я понимаю, как StorableVector выложен, но интересно ли Array U DIM2 Double (например) является строкой-майора, столбцы, или что-то с ума.

Answer 1

раскладок памяти для данных определяются их экземплярами класса типа unboxed vectors:

Реализация использует @ Data.Vector.Unboxed @, который основан на тип семье и выбирает эффективное, специализированное представительство каждый тип элемента. В частности, распакованные векторы пар представлены в виде пар нерастворенных векторов.

Чтобы просмотреть спецификацию компоновки векторов, проверьте экземпляры для незанятых векторов defined in the vector package, где, например, Bool представлена ​​с байтами:

newtype instance MVector s Bool = MV_Bool (P.MVector s Word8) 

в то время как если мы углубимся в кроличью нору к пакету примитивного массивов, вы видите alignment and size constraints for the primitive types. Согласно Repa 1, манифестные (распределенные) массивы заполняются в row major. Документы для последней версии также поддерживают это.

Я должен сделать некоторые FFI с данными, а также, так что получить расположение прямо

Поскольку вы должны взаимодействовать с кодом C (или что-то еще), то важно использовать Storable экземпляров. Это гарантирует, что ваши типы могут быть легко перенесены на C (с использованием условных обозначений C с помощью ForeignPtr interface to Repa, что обеспечивает безопасное отображение указателей на C-образные внешние данные до и от Repa.