Math.RootLoci.Misc.PTable

Infinite lazy partition tables (used for caching).

We cache almost all computations (which would be otherwise typically executed many times); this really helps performance.

Finite lazy partition tables

newtype PTable a

Constructors

PTable (Map Partition a)

createPTable :: (Partition -> a) -> Int -> PTable a

lookupPTable :: Partition -> PTable a -> a

Infinite lazy partition tables

newtype PSeries a

Constructors

PSeries [PTable a]

createPSeries :: (Partition -> a) -> PSeries a

lookupPSeries :: Partition -> PSeries a -> a

Finite lazy set-partition tables

newtype SetPTable a

Constructors

SetPTable (Map SetPartition a)

createSetPTable :: (SetPartition -> a) -> Int -> SetPTable a

lookupSetPTable :: SetPartition -> SetPTable a -> a

Infinite lazy set-partition tables

newtype SetPSeries a

Constructors

SetPSeries [SetPTable a]

createSetPSeries :: (SetPartition -> a) -> SetPSeries a

lookupSetPSeries :: SetPartition -> SetPSeries a -> a

polymorphic caching

polyCache1

Arguments

:: CacheKey key

=> (forall base. ChernBase base => key -> f base)

polymorphic function to be cached

-> forall base. ChernBase base => key -> f base

polyCache2

Arguments

:: CacheKey key

=> (forall base. ChernBase base => key -> f (g base))

polymorphic function to be cached

-> forall base. ChernBase base => key -> f (g base)

polyCache3

Arguments

:: CacheKey key

=> (forall base. ChernBase base => key -> f (g (h base)))

polymorphic function to be cached

-> forall base. ChernBase base => key -> f (g (h base))

monomorphic caching

class CacheKey key where

Minimal complete definition

monoCache

Methods

monoCache :: (key -> a) -> key -> a

Instances

CacheKey Int

Methods

monoCache :: (Int -> a) -> Int -> a

CacheKey SetPartition

Methods

monoCache :: (SetPartition -> a) -> SetPartition -> a

CacheKey Partition

Methods

monoCache :: (Partition -> a) -> Partition -> a

individual caching functions

pcache :: (Partition -> a) -> Partition -> a

setpcache :: (SetPartition -> a) -> SetPartition -> a

icache :: (Int -> a) -> Int -> a

icache' :: a -> Int -> (Int -> a) -> Int -> a