Copyright | (c) Eric Crockett 2011-2017 Chris Peikert 2011-2017 |
---|---|
License | GPL-3 |
Maintainer | ecrockett0@gmail.com |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
Tensor-polymorphic tests for cryptographic applications.
Synopsis
- defaultAppsTests :: (forall m r. (Fact m, Show r, Eq r) => (Show (t m r), Eq (t m r)), _) => Proxy t -> Proxy gad -> [Test]
- decTest :: forall (t :: Factored -> * -> *) (m :: Factored) (m' :: Factored) (zp :: *) (zq :: *). _ => Proxy '(m, m', zp, zq) -> Proxy t -> Test
- ksTests :: forall (t :: Factored -> * -> *) (m :: Factored) (m' :: Factored) (zp :: *) zq gad. _ => Proxy '(m, m', zp, zq) -> Proxy gad -> Proxy t -> Test
- modSwPTTest :: forall (t :: Factored -> * -> *) (m :: Factored) (m' :: Factored) (zp :: *) zp' zq. _ => Proxy '(m, m', zp, zp', zq) -> Proxy t -> Test
- bgvTests :: forall (t :: Factored -> * -> *) (m :: Factored) (m' :: Factored) (zp :: *) (zq :: *). _ => Proxy '(m, m', zp, zq) -> Proxy t -> Test
- tunnelTests :: forall (t :: Factored -> * -> *) (r :: Factored) (r' :: Factored) s (s' :: Factored) (zp :: *) zq gad. _ => Proxy '(r, r', s, s', zp, zq) -> Proxy gad -> Proxy t -> Test
- twemTests :: forall (t :: Factored -> * -> *) (r :: Factored) (r' :: Factored) (s :: Factored) s' (zp :: *) zq. _ => Proxy '(r, r', s, s', zp, zq) -> Proxy t -> Test
Default tests and parameters
defaultAppsTests :: (forall m r. (Fact m, Show r, Eq r) => (Show (t m r), Eq (t m r)), _) => Proxy t -> Proxy gad -> [Test] Source #
Tests for various types of functions in SymmBGV
decTest :: forall (t :: Factored -> * -> *) (m :: Factored) (m' :: Factored) (zp :: *) (zq :: *). _ => Proxy '(m, m', zp, zq) -> Proxy t -> Test Source #
ksTests :: forall (t :: Factored -> * -> *) (m :: Factored) (m' :: Factored) (zp :: *) zq gad. _ => Proxy '(m, m', zp, zq) -> Proxy gad -> Proxy t -> Test Source #
modSwPTTest :: forall (t :: Factored -> * -> *) (m :: Factored) (m' :: Factored) (zp :: *) zp' zq. _ => Proxy '(m, m', zp, zp', zq) -> Proxy t -> Test Source #
bgvTests :: forall (t :: Factored -> * -> *) (m :: Factored) (m' :: Factored) (zp :: *) (zq :: *). _ => Proxy '(m, m', zp, zq) -> Proxy t -> Test Source #