Control.Morphism.Speculation

Documentation

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

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