Documentation
memo :: (a -> b) -> a -> bSource
Memoize a unary function.
memo2 :: (a -> b -> c) -> a -> b -> cSource
Curried memoization to share partial evaluation
memo3 :: (a -> b -> c -> d) -> a -> b -> c -> dSource
Curried memoization to share partial evaluation
type (-->) f g = forall a. f a -> g aSource
Polymorphic memoizable function
memoPoly :: (f --> g) -> f --> gSource
Memoize a function with support for a certain form of polymorphic
recursion.