about summary refs log blame commit diff
path: root/users/aspen/xanthous/test/Xanthous/Data/MemoSpec.hs
blob: ad81f1984d8f3a96d2f13ff2ddeebf45ed55d947 (plain) (tree)


















                                                                                
--------------------------------------------------------------------------------
module Xanthous.Data.MemoSpec (main, test) where
--------------------------------------------------------------------------------
import Test.Prelude
import Test.QuickCheck.Instances.Text ()
--------------------------------------------------------------------------------
import Xanthous.Data.Memo
--------------------------------------------------------------------------------

main :: IO ()
main = defaultMain test

test :: TestTree
test = testGroup "Xanthous.Data.MemoSpec"
  [ testGroup "getMemoized"
    [ testProperty "when key matches" $ \k v ->
        getMemoized @Int @Int k (memoizeWith k v) === Just v
    ]
  ]