infernu-0.0.0.1: Type inference and checker for JavaScript (experimental)

Safe HaskellSafe-Inferred
LanguageHaskell2010

Infernu.Decycle

Description

Synopsis

Documentation

decycleOn :: forall a b res. Ord b => (a -> b) -> (Maybe (a -> res) -> a -> res) -> a -> res Source

A fix for functions that terminates recursive cycles

decycle :: Ord a => (Maybe (a -> res) -> a -> res) -> a -> res Source

decycle2 :: (Ord b, Ord a) => (Maybe (a -> b -> c) -> a -> b -> c) -> a -> b -> c Source

decycle3 :: (Ord b, Ord a, Ord c) => (Maybe (a -> b -> c -> res) -> a -> b -> c -> res) -> a -> b -> c -> res Source