functor-combo-0.0.4: Functor combinators with tries & zippers

Stabilityexperimental
Maintainerconal@conal.net

FunctorCombo.NonstrictMemo

Description

Functor-based memo tries

Synopsis

Documentation

class Functor (STrie k) => HasTrie k whereSource

Domain types with associated memo tries

Associated Types

type STrie k :: * -> *Source

Representation of trie with domain type a

Methods

sTrie :: (k -> v) -> k :-> vSource

Create the trie for the entire domain of a function

sUntrie :: HasLub v => (k :-> v) -> k -> vSource

Convert k trie to k function, i.e., access k field of the trie

Instances

HasTrie Bool 
HasTrie () 
HasTrie a => HasTrie [a] 
HasTrie a => HasTrie (Id a) 
(HasTrie a, HasTrie b) => HasTrie (Either a b) 
(HasTrie a, HasTrie b) => HasTrie (a, b) 
HasTrie x => HasTrie (Const x a) 
(HasTrie a, HasTrie b, HasTrie c) => HasTrie (a, b, c) 
HasTrie (g (f a)) => HasTrie (:. g f a) 
(HasTrie (f a), HasTrie (g a)) => HasTrie (:+: f g a) 
(HasTrie (f a), HasTrie (g a)) => HasTrie (:*: f g a) 
(HasTrie a, HasTrie b, HasTrie c, HasTrie d) => HasTrie (a, b, c, d) 

memo :: HasLub v => HasTrie k => Unop (k -> v)Source

Trie-based function memoizer

memo2 :: HasLub a => (HasTrie s, HasTrie t) => Unop (s -> t -> a)Source

Memoize a binary function, on its first argument and then on its second. Take care to exploit any partial evaluation.

memo3 :: HasLub a => (HasTrie r, HasTrie s, HasTrie t) => Unop (r -> s -> t -> a)Source

Memoize a ternary function on successive arguments. Take care to exploit any partial evaluation.