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

Crypto.Lol.Applications.Tests

Contents

Description

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 #

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 Source #

twemTests :: forall (t :: Factored -> * -> *) (r :: Factored) (r' :: Factored) (s :: Factored) s' (zp :: *) zq. _ => Proxy '(r, r', s, s', zp, zq) -> Proxy t -> Test Source #