index
:
ox-arrays
exper-hs-numops
exper-invperm-proof
experiment-with-KnownShape
flesh-out-sized-lists
invert-castable
master
mgenerate-integral
non-forcing-fromLists
peano-snat
port-to-natnormalise-0.8.1
port-to-plugins-0.8.1
repro-9.14-branch
reptrans-failed
simplify-castable
Nested, compositional struct-of-arrays orthotope arrays
git daemon user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Data
/
Array
/
Nested
/
Shaped
/
Base.hs
Commit message (
Collapse
)
Author
Age
*
Generalize also mgenerate to potentially avoid @fmap fromIntegral@
mgenerate-integral
Mikolaj Konarski
16 hours
|
*
Also replace replicateScal -> replicatePrim in error messages
Tom Smeding
2025-11-18
|
*
Rename, organise and cleanup
Tom Smeding
2025-11-17
|
|
|
|
|
|
|
Renamings: - *sumOuter1 -> *sumOuter1Prim - *rerank -> *rerankPrim - *replicateScal -> *replicatePrim
*
Provide explicit-length versions of fromList functions
Tom Smeding
2025-11-17
|
*
mshapeTreeIsEmpty: allow partially-zero shapes for nested arrays
Tom Smeding
2025-11-17
|
*
More shape/index conversion functions
Tom Smeding
2025-06-29
|
*
Cleanup
Tom Smeding
2025-06-29
|
*
Move shape conversion ops to Data.Array.Nested.Convert
Mikolaj Konarski
2025-05-17
|
*
Merge both Lemmas modules
Mikolaj Konarski
2025-05-17
|
*
Move modules Permutation and Types
Mikolaj Konarski
2025-05-16
|
*
Shape/index function rename
Tom Smeding
2025-05-16
|
*
default-show-instances flag
Tom Smeding
2025-05-16
|
*
Move casts to DAN.Convert; split Ranked/Shaped types into .Base
Tom Smeding
2025-05-15