Safe Haskell	None
Language	Haskell2010

Crypto.Proto.RLWE.Challenges.Challenge.Params

Documentation

data Params Source #

Constructors

Cparams
Fields cparams :: ContParams
Dparams
Fields dparams :: DiscParams
Rparams
Fields rparams :: RLWRParams

Instances

Eq Params Source #
Methods (==) :: Params -> Params -> Bool # (/=) :: Params -> Params -> Bool #
Data Params Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> Params -> ShowS # show :: Params -> String # showList :: [Params] -> ShowS #
Generic Params Source #
Associated Types type Rep Params :: * -> * # Methods from :: Params -> Rep Params x # to :: Rep Params x -> Params #
Mergeable Params Source #
Methods mergeAppend :: Params -> Params -> Params # mergeConcat :: Foldable t => t Params -> Params #
Default Params Source #
Methods defaultValue :: Params #
type Rep Params Source #
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 Source #

get'dparams :: Params -> Maybe DiscParams Source #

get'rparams :: Params -> Maybe RLWRParams Source #