keep | SDP.Linear, SDP.LinearM, SDP.Indexed, SDP.IndexedM, SDP.Prim.SBytes, SDP.Prim.SArray, SDP.Templates.AnyChunks, SDP.Unrolled.Unlist, SDP.Unrolled.STUnlist, SDP.Unrolled.IOUnlist, SDP.ByteList.Ublist, SDP.ByteList.STUblist, SDP.ByteList.IOUblist, SDP.Templates.AnyBorder, SDP.Unrolled.ST, SDP.Unrolled.IO, SDP.Unrolled, SDP.Bytes.ST, SDP.Bytes.IO, SDP.Bytes, SDP.ByteList.ST, SDP.ByteList.IO, SDP.ByteList, SDP.Array.ST, SDP.Array.IO, SDP.Array |
keepM | SDP.LinearM, SDP.IndexedM, SDP.Prim.SBytes, SDP.Prim.SArray, SDP.Templates.AnyChunks, SDP.Unrolled.STUnlist, SDP.Unrolled.IOUnlist, SDP.ByteList.STUblist, SDP.ByteList.IOUblist, SDP.Templates.AnyBorder, SDP.Unrolled.ST, SDP.Unrolled.IO, SDP.Bytes.ST, SDP.Bytes.IO, SDP.ByteList.ST, SDP.ByteList.IO, SDP.Array.ST, SDP.Array.IO |
keys | SDP.Map, SDP.Indexed, SDP.IndexedM, SDP.Prim.SBytes, SDP.Prim.SArray, SDP.Templates.AnyChunks, SDP.Unrolled.Unlist, SDP.Unrolled.STUnlist, SDP.Unrolled.IOUnlist, SDP.ByteList.Ublist, SDP.ByteList.STUblist, SDP.ByteList.IOUblist, SDP.Templates.AnyBorder, SDP.Unrolled.ST, SDP.Unrolled.IO, SDP.Unrolled, SDP.Bytes.ST, SDP.Bytes.IO, SDP.Bytes, SDP.ByteList.ST, SDP.ByteList.IO, SDP.ByteList, SDP.Array.ST, SDP.Array.IO, SDP.Array |
kfoldl | SDP.Map, SDP.Indexed, SDP.IndexedM, SDP.Prim.SBytes, SDP.Prim.SArray, SDP.Templates.AnyChunks, SDP.Unrolled.Unlist, SDP.Unrolled.STUnlist, SDP.Unrolled.IOUnlist, SDP.ByteList.Ublist, SDP.ByteList.STUblist, SDP.ByteList.IOUblist, SDP.Templates.AnyBorder, SDP.Unrolled.ST, SDP.Unrolled.IO, SDP.Unrolled, SDP.Bytes.ST, SDP.Bytes.IO, SDP.Bytes, SDP.ByteList.ST, SDP.ByteList.IO, SDP.ByteList, SDP.Array.ST, SDP.Array.IO, SDP.Array |
kfoldl' | SDP.Map, SDP.Indexed, SDP.IndexedM, SDP.Prim.SBytes, SDP.Prim.SArray, SDP.Templates.AnyChunks, SDP.Unrolled.Unlist, SDP.Unrolled.STUnlist, SDP.Unrolled.IOUnlist, SDP.ByteList.Ublist, SDP.ByteList.STUblist, SDP.ByteList.IOUblist, SDP.Templates.AnyBorder, SDP.Unrolled.ST, SDP.Unrolled.IO, SDP.Unrolled, SDP.Bytes.ST, SDP.Bytes.IO, SDP.Bytes, SDP.ByteList.ST, SDP.ByteList.IO, SDP.ByteList, SDP.Array.ST, SDP.Array.IO, SDP.Array |
kfoldlM | SDP.MapM, SDP.IndexedM, SDP.Prim.SBytes, SDP.Prim.SArray, SDP.Templates.AnyChunks, SDP.Unrolled.STUnlist, SDP.Unrolled.IOUnlist, SDP.ByteList.STUblist, SDP.ByteList.IOUblist, SDP.Templates.AnyBorder, SDP.Unrolled.ST, SDP.Unrolled.IO, SDP.Bytes.ST, SDP.Bytes.IO, SDP.ByteList.ST, SDP.ByteList.IO, SDP.Array.ST, SDP.Array.IO |
kfoldlM' | SDP.MapM, SDP.IndexedM, SDP.Prim.SBytes, SDP.Prim.SArray, SDP.Templates.AnyChunks, SDP.Unrolled.STUnlist, SDP.Unrolled.IOUnlist, SDP.ByteList.STUblist, SDP.ByteList.IOUblist, SDP.Templates.AnyBorder, SDP.Unrolled.ST, SDP.Unrolled.IO, SDP.Bytes.ST, SDP.Bytes.IO, SDP.ByteList.ST, SDP.ByteList.IO, SDP.Array.ST, SDP.Array.IO |
kfoldr | SDP.Map, SDP.Indexed, SDP.IndexedM, SDP.Prim.SBytes, SDP.Prim.SArray, SDP.Templates.AnyChunks, SDP.Unrolled.Unlist, SDP.Unrolled.STUnlist, SDP.Unrolled.IOUnlist, SDP.ByteList.Ublist, SDP.ByteList.STUblist, SDP.ByteList.IOUblist, SDP.Templates.AnyBorder, SDP.Unrolled.ST, SDP.Unrolled.IO, SDP.Unrolled, SDP.Bytes.ST, SDP.Bytes.IO, SDP.Bytes, SDP.ByteList.ST, SDP.ByteList.IO, SDP.ByteList, SDP.Array.ST, SDP.Array.IO, SDP.Array |
kfoldr' | SDP.Map, SDP.Indexed, SDP.IndexedM, SDP.Prim.SBytes, SDP.Prim.SArray, SDP.Templates.AnyChunks, SDP.Unrolled.Unlist, SDP.Unrolled.STUnlist, SDP.Unrolled.IOUnlist, SDP.ByteList.Ublist, SDP.ByteList.STUblist, SDP.ByteList.IOUblist, SDP.Templates.AnyBorder, SDP.Unrolled.ST, SDP.Unrolled.IO, SDP.Unrolled, SDP.Bytes.ST, SDP.Bytes.IO, SDP.Bytes, SDP.ByteList.ST, SDP.ByteList.IO, SDP.ByteList, SDP.Array.ST, SDP.Array.IO, SDP.Array |
kfoldrM | SDP.MapM, SDP.IndexedM, SDP.Prim.SBytes, SDP.Prim.SArray, SDP.Templates.AnyChunks, SDP.Unrolled.STUnlist, SDP.Unrolled.IOUnlist, SDP.ByteList.STUblist, SDP.ByteList.IOUblist, SDP.Templates.AnyBorder, SDP.Unrolled.ST, SDP.Unrolled.IO, SDP.Bytes.ST, SDP.Bytes.IO, SDP.ByteList.ST, SDP.ByteList.IO, SDP.Array.ST, SDP.Array.IO |
kfoldrM' | SDP.MapM, SDP.IndexedM, SDP.Prim.SBytes, SDP.Prim.SArray, SDP.Templates.AnyChunks, SDP.Unrolled.STUnlist, SDP.Unrolled.IOUnlist, SDP.ByteList.STUblist, SDP.ByteList.IOUblist, SDP.Templates.AnyBorder, SDP.Unrolled.ST, SDP.Unrolled.IO, SDP.Bytes.ST, SDP.Bytes.IO, SDP.ByteList.ST, SDP.ByteList.IO, SDP.Array.ST, SDP.Array.IO |