Crypto.Proto.RLWE.Challenges.Challenge.Params

Documentation

data Params

Constructors

Cparams

Fields

• cparams :: ContParams

Dparams

Fields

• dparams :: DiscParams

Rparams

Fields

• rparams :: RLWRParams

Instances

Eq Params

Methods

(==) :: Params -> Params -> Bool

(/=) :: Params -> Params -> Bool

Data Params

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Params -> c Params

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Params

toConstr :: Params -> Constr

dataTypeOf :: Params -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Params)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Params)

gmapT :: (forall b. Data b => b -> b) -> Params -> Params

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Params -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Params -> r

gmapQ :: (forall d. Data d => d -> u) -> Params -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Params -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Params -> m Params

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Params -> m Params

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Params -> m Params

Ord Params

Methods

compare :: Params -> Params -> Ordering

(<) :: Params -> Params -> Bool

(<=) :: Params -> Params -> Bool

(>) :: Params -> Params -> Bool

(>=) :: Params -> Params -> Bool

max :: Params -> Params -> Params

min :: Params -> Params -> Params

Show Params

Methods

showsPrec :: Int -> Params -> ShowS

show :: Params -> String

showList :: [Params] -> ShowS

Generic Params

Associated Types

type Rep Params :: * -> *

Methods

from :: Params -> Rep Params x

to :: Rep Params x -> Params

Mergeable Params

Methods

mergeAppend :: Params -> Params -> Params

mergeConcat :: Foldable t => t Params -> Params

Default Params

Methods

defaultValue :: Params

type Rep Params

type Rep Params = D1 (MetaData "Params" "Crypto.Proto.RLWE.Challenges.Challenge.Params" "rlwe-challenges-0.1.0.1-DzRw6BKIXUdAalTkZaYF2j" False) ((:+:) (C1 (MetaCons "Cparams" PrefixI True) (S1 (MetaSel (Just Symbol "cparams") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ContParams))) ((:+:) (C1 (MetaCons "Dparams" PrefixI True) (S1 (MetaSel (Just Symbol "dparams") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DiscParams))) (C1 (MetaCons "Rparams" PrefixI True) (S1 (MetaSel (Just Symbol "rparams") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RLWRParams)))))

get'cparams :: Params -> Maybe ContParams

get'dparams :: Params -> Maybe DiscParams

get'rparams :: Params -> Maybe RLWRParams