Crypto.Lol.Utils.ShowType

Class for pretty-printing type parameters to tests and benchmarks

Documentation

data ArgType (a :: k)

Wrapper type for printing test/benchmark names.

Instances

Show (ArgType (InternalList xs)) => Show (ArgType xs)

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType xs -> ShowS

show :: ArgType xs -> String

showList :: [ArgType xs] -> ShowS

Show (ArgType Double)

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType Double -> ShowS

show :: ArgType Double -> String

showList :: [ArgType Double] -> ShowS

Show (ArgType Int64)

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType Int64 -> ShowS

show :: ArgType Int64 -> String

showList :: [ArgType Int64] -> ShowS

(Show (ArgType a), Show (ArgType b)) => Show (ArgType (a, b))

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType (a, b) -> ShowS

show :: ArgType (a, b) -> String

showList :: [ArgType (a, b)] -> ShowS

Show (ArgType (Complex Double))

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType (Complex Double) -> ShowS

show :: ArgType (Complex Double) -> String

showList :: [ArgType (Complex Double)] -> ShowS

Reflects b Integer => Show (ArgType (BaseBGad b))

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType (BaseBGad b) -> ShowS

show :: ArgType (BaseBGad b) -> String

showList :: [ArgType (BaseBGad b)] -> ShowS

Show (ArgType TrivGad)

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType TrivGad -> ShowS

show :: ArgType TrivGad -> String

showList :: [ArgType TrivGad] -> ShowS

(Mod (ZqBasic q z), Show z) => Show (ArgType (ZqBasic q z))

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType (ZqBasic q z) -> ShowS

show :: ArgType (ZqBasic q z) -> String

showList :: [ArgType (ZqBasic q z)] -> ShowS

KnownNat n => Show (ArgType n)

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType n -> ShowS

show :: ArgType n -> String

showList :: [ArgType n] -> ShowS

(Show (ArgType a), Show (ArgType b)) => Show (ArgType ((,) a b))

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType (a, b) -> ShowS

show :: ArgType (a, b) -> String

showList :: [ArgType (a, b)] -> ShowS

(Show (ArgType a), Show (ArgType ((,) b c))) => Show (ArgType ((,,) a b c))

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType (a, b, c) -> ShowS

show :: ArgType (a, b, c) -> String

showList :: [ArgType (a, b, c)] -> ShowS

(Show (ArgType a), Show (ArgType ((,,) b c d))) => Show (ArgType ((,,,) a b c d))

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType (a, b, c, d) -> ShowS

show :: ArgType (a, b, c, d) -> String

showList :: [ArgType (a, b, c, d)] -> ShowS

(Show (ArgType a), Show (ArgType ((,,,) b c d e))) => Show (ArgType ((,,,,) a b c d e))

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType (a, b, c, d, e) -> ShowS

show :: ArgType (a, b, c, d, e) -> String

showList :: [ArgType (a, b, c, d, e)] -> ShowS

(Show (ArgType a), Show (ArgType ((,,,,) b c d e f))) => Show (ArgType ((,,,,,) a b c d e f))

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType (a, b, c, d, e, f) -> ShowS

show :: ArgType (a, b, c, d, e, f) -> String

showList :: [ArgType (a, b, c, d, e, f)] -> ShowS

(Show (ArgType a), Show (ArgType ((,,,,,) b c d e f g))) => Show (ArgType ((,,,,,,) a b c d e f g))

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType (a, b, c, d, e, f, g) -> ShowS

show :: ArgType (a, b, c, d, e, f, g) -> String

showList :: [ArgType (a, b, c, d, e, f, g)] -> ShowS

(Show (ArgType a), Show (ArgType ((,,,,,,) b c d e f g h))) => Show (ArgType ((,,,,,,,) a b c d e f g h))

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType (a, b, c, d, e, f, g, h) -> ShowS

show :: ArgType (a, b, c, d, e, f, g, h) -> String

showList :: [ArgType (a, b, c, d, e, f, g, h)] -> ShowS

Fact m => Show (ArgType m)

Defined in Crypto.Lol.Utils.ShowType

Methods

showsPrec :: Int -> ArgType m -> ShowS

show :: ArgType m -> String

showList :: [ArgType m] -> ShowS

showType :: forall a. Show (ArgType a) => Proxy a -> String

Print a showable type argument.

type ShowType a = Show (ArgType a)

Constraint synonym for printing test parameters.

type family Zq (a :: k) :: * where ...

Converts ** syntax into nested pair representation.

Equations

Zq (a ** b) = (Zq a, Zq b)

Zq q = ZqBasic q Int64

data a ** b infixr 9

Convenient syntax for multiplication of moduli in a Zq.