speculation-0.8.2.0: A framework for safe, programmable, speculative parallelism

Control.Morphism.Speculation

Synopsis

hylo :: (Functor f, Eq a) => (Int -> a) -> (f b -> b) -> (a -> f a) -> a -> bSource

hylo g phi psi is a hylomorphism using a speculative anamorphism, where g n estimates the seed after n iterations of psi.

hylo g phi psi

hylo

g n

psi