Hoogle Search
Within LTS Haskell 24.45 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
sbv Documentation.SBV.Examples.Crypto.Prince From Appendix A of the spec. We have:
>>> testVectors True
-
set-cover Math.SetCover.Exact You may use this to post-process a set of Assigns in order to speedup the solver considerably. You must process the whole set of Assigns at once, i.e. do not process only parts of the assignment list. The output of bitVectorFromSetAssigns should go into the solver as is.
readStorableVector :: FormatPtr ReadMode -> Int -> IO (Vector Int32)soxlib Sound.SoxLib Multi-channel data is interleaved. size must be divisible by the number of channels.
readStorableVectorLazy :: FormatPtr ReadMode -> ChunkSize -> IO (Vector Int32)soxlib Sound.SoxLib Read complete file lazily into chunky storable vector. The chunkSize must be divisible by the number of channels.
storableVectorLazyFromByteString :: ReaderInfo -> ByteString -> ChunkSize -> Maybe (Vector Int32)soxlib Sound.SoxLib It reads lazily to lazy storable vector. That is, the whole ByteString is kept as long as we process the lazy storable vector.
writeStorableVector :: FormatPtr WriteMode -> Vector Int32 -> IO ()soxlib Sound.SoxLib Multi-channel data is interleaved. size must be divisible by the number of channels. Caution: Writing large chunks (e.g. more than 8192 samples) may crash the FLAC backend.
writeStorableVectorLazy :: FormatPtr WriteMode -> Vector Int32 -> IO ()soxlib Sound.SoxLib The chunkSize must be divisible by the number of channels.
evaluateVectorHead :: NormalForm signal => signal -> t -> tsynthesizer-midi Synthesizer.MIDI.Generic We have to evaluate the head value at each drop in order to avoid growing thunks that lead to a space leak.
evaluateVectorHead :: NormalForm signal => signal -> t -> tsynthesizer-midi Synthesizer.MIDI.Storable We have to evaluate the head value at each drop in order to avoid growing thunks that lead to a space leak.
package
uniqueness-periods-vector-stats A very basic descriptive statistics. A very basic descriptive statistics. Functions use a tail recursion approach to compute the values and are strict by an accumulator.