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

Data.Speculation.Morphism

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