Documentation

lfp :: POrd a => a -> (a -> a) -> a Source #

lfpN :: POrd a => ℕ -> a -> (a -> a) -> a Source #

gfp :: POrd a => a -> (a -> a) -> a Source #

gfpN :: POrd a => ℕ -> a -> (a -> a) -> a Source #