Data.Function.FastMemo

Straightforward function memoization library; see Examples for example usage

Documentation

newtype AsList t

Constructors

AsList

Fields

• unAsList :: t

Instances

(IsList t, Memoizable (Item t)) => Memoizable (AsList t)

Defined in Data.Function.FastMemo.List

Methods

memoize :: (AsList t -> b) -> AsList t -> b

class Memoizable a where

Minimal complete definition

Nothing

Methods

memoize :: (a -> b) -> a -> b

default memoize :: (Generic a, GMemoize (Rep a)) => (a -> b) -> a -> b

Instances

Memoizable Version

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: (Version -> b) -> Version -> b

Memoizable Void

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: (Void -> b) -> Void -> b

Memoizable Int16

Defined in Data.Function.FastMemo.Int

Methods

memoize :: (Int16 -> b) -> Int16 -> b

Memoizable Int32

Defined in Data.Function.FastMemo.Int

Methods

memoize :: (Int32 -> b) -> Int32 -> b

Memoizable Int64

Defined in Data.Function.FastMemo.Int

Methods

memoize :: (Int64 -> b) -> Int64 -> b

Memoizable Int8

Defined in Data.Function.FastMemo.Int

Methods

memoize :: (Int8 -> b) -> Int8 -> b

Memoizable Word16

Defined in Data.Function.FastMemo.Word

Methods

memoize :: (Word16 -> b) -> Word16 -> b

Memoizable Word32

Defined in Data.Function.FastMemo.Word

Methods

memoize :: (Word32 -> b) -> Word32 -> b

Memoizable Word64

Defined in Data.Function.FastMemo.Word

Methods

memoize :: (Word64 -> b) -> Word64 -> b

Memoizable Word8

Defined in Data.Function.FastMemo.Word

Methods

memoize :: (Word8 -> b) -> Word8 -> b

Memoizable ByteString

Defined in Data.Function.FastMemo.ByteString

Methods

memoize :: (ByteString -> b) -> ByteString -> b

Memoizable ByteString

Defined in Data.Function.FastMemo.ByteString

Methods

memoize :: (ByteString -> b) -> ByteString -> b

Memoizable IntSet

Defined in Data.Function.FastMemo.Containers

Methods

memoize :: (IntSet -> b) -> IntSet -> b

Memoizable Ordering

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: (Ordering -> b) -> Ordering -> b

Memoizable Integer

Defined in Data.Function.FastMemo.Integer

Methods

memoize :: (Integer -> b) -> Integer -> b

Memoizable Natural

Defined in Data.Function.FastMemo.Natural

Methods

memoize :: (Natural -> b) -> Natural -> b

Memoizable ()

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: (() -> b) -> () -> b

Memoizable Bool

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: (Bool -> b) -> Bool -> b

Memoizable Char

Defined in Data.Function.FastMemo.Char

Methods

memoize :: (Char -> b) -> Char -> b

Memoizable Int

Defined in Data.Function.FastMemo.Int

Methods

memoize :: (Int -> b) -> Int -> b

Memoizable Word

Defined in Data.Function.FastMemo.Word

Methods

memoize :: (Word -> b) -> Word -> b

Memoizable a => Memoizable (Complex a)

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: (Complex a -> b) -> Complex a -> b

Memoizable a => Memoizable (Identity a)

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: (Identity a -> b) -> Identity a -> b

(Integral a, Memoizable a) => Memoizable (Ratio a)

Defined in Data.Function.FastMemo.Ratio

Methods

memoize :: (Ratio a -> b) -> Ratio a -> b

Memoizable b => Memoizable (IntMap b)

Defined in Data.Function.FastMemo.Containers

Methods

memoize :: (IntMap b -> b0) -> IntMap b -> b0

Memoizable a => Memoizable (Seq a)

Defined in Data.Function.FastMemo.Containers

Methods

memoize :: (Seq a -> b) -> Seq a -> b

Memoizable a => Memoizable (ViewL a)

Defined in Data.Function.FastMemo.Containers

Methods

memoize :: (ViewL a -> b) -> ViewL a -> b

Memoizable a => Memoizable (ViewR a)

Defined in Data.Function.FastMemo.Containers

Methods

memoize :: (ViewR a -> b) -> ViewR a -> b

(Ord a, Memoizable a) => Memoizable (Set a)

Defined in Data.Function.FastMemo.Containers

Methods

memoize :: (Set a -> b) -> Set a -> b

Memoizable a => Memoizable (Tree a)

Defined in Data.Function.FastMemo.Containers

Methods

memoize :: (Tree a -> b) -> Tree a -> b

(IsList t, Memoizable (Item t)) => Memoizable (AsList t)

Defined in Data.Function.FastMemo.List

Methods

memoize :: (AsList t -> b) -> AsList t -> b

Memoizable a => Memoizable (Vector a)

Defined in Data.Function.FastMemo.Vector

Methods

memoize :: (Vector a -> b) -> Vector a -> b

(Storable a, Memoizable a) => Memoizable (Vector a)

Defined in Data.Function.FastMemo.Vector

Methods

memoize :: (Vector a -> b) -> Vector a -> b

(Unbox a, Memoizable a) => Memoizable (Vector a)

Defined in Data.Function.FastMemo.Vector

Methods

memoize :: (Vector a -> b) -> Vector a -> b

Memoizable a => Memoizable (NonEmpty a)

Defined in Data.Function.FastMemo.List

Methods

memoize :: (NonEmpty a -> b) -> NonEmpty a -> b

Memoizable a => Memoizable (Maybe a)

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: (Maybe a -> b) -> Maybe a -> b

Memoizable a => Memoizable [a]

Defined in Data.Function.FastMemo.List

Methods

memoize :: ([a] -> b) -> [a] -> b

(Memoizable a, Memoizable b) => Memoizable (Either a b)

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: (Either a b -> b0) -> Either a b -> b0

Memoizable (Proxy a)

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: (Proxy a -> b) -> Proxy a -> b

(Ord a, Memoizable a, Memoizable b) => Memoizable (Map a b)

Defined in Data.Function.FastMemo.Containers

Methods

memoize :: (Map a b -> b0) -> Map a b -> b0

(Memoizable a, Memoizable b) => Memoizable (a, b)

Defined in Data.Function.FastMemo.Class

Methods

memoize :: ((a, b) -> b0) -> (a, b) -> b0

(Memoizable a, Memoizable b, Memoizable c) => Memoizable (a, b, c)

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: ((a, b, c) -> b0) -> (a, b, c) -> b0

(Memoizable a, Memoizable b, Memoizable c, Memoizable d) => Memoizable (a, b, c, d)

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: ((a, b, c, d) -> b0) -> (a, b, c, d) -> b0

(Memoizable a, Memoizable b, Memoizable c, Memoizable d, Memoizable e) => Memoizable (a, b, c, d, e)

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: ((a, b, c, d, e) -> b0) -> (a, b, c, d, e) -> b0

(Memoizable a, Memoizable b, Memoizable c, Memoizable d, Memoizable e, Memoizable f) => Memoizable (a, b, c, d, e, f)

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: ((a, b, c, d, e, f) -> b0) -> (a, b, c, d, e, f) -> b0

(Memoizable a, Memoizable b, Memoizable c, Memoizable d, Memoizable e, Memoizable f, Memoizable g) => Memoizable (a, b, c, d, e, f, g)

Defined in Data.Function.FastMemo.Instances

Methods

memoize :: ((a, b, c, d, e, f, g) -> b0) -> (a, b, c, d, e, f, g) -> b0

memoizeFixedLen :: (HasCallStack, Memoizable a) => Int -> ([a] -> b) -> [a] -> b

Memoize a function on a list whose length is predetermined.

If called on a larger list, it will truncate; on a smaller list, it will throw an error

memo1 :: Memoizable a => (a -> b) -> a -> b

memo2 :: (Memoizable a, Memoizable b) => (a -> b -> c) -> a -> b -> c

memo3 :: (Memoizable a, Memoizable b, Memoizable c) => (a -> b -> c -> d) -> a -> b -> c -> d

memo4 :: (Memoizable a, Memoizable b, Memoizable c, Memoizable d) => (a -> b -> c -> d -> e) -> a -> b -> c -> d -> e

memo5 :: (Memoizable a, Memoizable b, Memoizable c, Memoizable d, Memoizable e) => (a -> b -> c -> d -> e -> f) -> a -> b -> c -> d -> e -> f

memo6 :: (Memoizable a, Memoizable b, Memoizable c, Memoizable d, Memoizable e, Memoizable f) => (a -> b -> c -> d -> e -> f -> g) -> a -> b -> c -> d -> e -> f -> g

memo7 :: (Memoizable a, Memoizable b, Memoizable c, Memoizable d, Memoizable e, Memoizable f, Memoizable g) => (a -> b -> c -> d -> e -> f -> g -> h) -> a -> b -> c -> d -> e -> f -> g -> h