Utility.Fixpoint

Documentation

fix :: (Show a, Eq a) => Int -> (a -> a) -> a -> a

fixUnbounded :: Eq a => (a -> a) -> a -> a

fixMaybe :: Eq a => (a -> Maybe a) -> a -> Maybe a