Data.Function.ArrayMemoize

Documentation

quantizedMemo :: (Show a, ArrayMemoizable b, Discretize a) => (a, a) -> a -> (a -> b) -> a -> b

quantizedMemoFix :: (ArrayMemoizable b, Discretize a, Show a) => (a, a) -> a -> ((a -> b) -> a -> b) -> a -> b

quantizedMemoFixMutual :: (ArrayMemoizable b, ArrayMemoizable d, Discretize a, Discretize c, Show a, Show c) => (a, a) -> a -> (c, c) -> c -> ((a -> b) -> (c -> d) -> a -> b) -> ((a -> b) -> (c -> d) -> c -> d) -> a -> b

discreteMemo :: (ArrayMemoizable b, Discretize a) => (a, a) -> a -> (a -> b) -> Discrete a -> b

discreteMemoFix :: (ArrayMemoizable b, Discretize a) => (a, a) -> a -> ((a -> b) -> a -> b) -> Discrete a -> b

arrayMemo :: (Ix a, ArrayMemoizable b) => (a, a) -> (a -> b) -> a -> b

arrayMemoFix :: (Ix a, ArrayMemoizable b) => (a, a) -> ((a -> b) -> a -> b) -> a -> b

arrayMemoFixMutual :: (ArrayMemoizable b, ArrayMemoizable d, Ix a, Ix c) => (a, a) -> (c, c) -> ((a -> b) -> (c -> d) -> a -> b) -> ((a -> b) -> (c -> d) -> c -> d) -> a -> b

uarrayMemoFixIO :: (Ix a, UArrayMemoizable b) => (a, a) -> ((a -> IO b) -> a -> IO b) -> a -> IO b

class ArrayMemoizable a where

Methods

newArray_ :: Ix i => (i, i) -> ST s (STArray s i a)

writeArray :: Ix i => STArray s i a -> i -> a -> ST s ()

Instances

ArrayMemoizable Double

ArrayMemoizable Float

ArrayMemoizable Int

class IArray UArray a => UArrayMemoizable a where

Methods

newUArray_ :: Ix i => (i, i) -> IO (IOUArray i a)

writeUArray :: Ix i => IOUArray i a -> i -> a -> IO ()

readUArray :: Ix i => IOUArray i a -> i -> IO a

freeze :: Ix i => IOUArray i a -> IO (UArray i a)

Instances

UArrayMemoizable Double

UArrayMemoizable Float

UArrayMemoizable Int

class (Ix (Discrete t), Enum (Discrete t)) => Discretize t where

Associated Types

type Discrete t

Methods

discretize :: t -> t -> Discrete t

continuize :: t -> Discrete t -> t

Instances

Discretize Double

Discretize Float

(Discretize a, Discretize b) => Discretize (a, b)

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

discrete :: Discretize a => (a -> b) -> a -> Discrete a -> b