Safe Haskell	None
Language	Haskell2010

Crypto.Proto.RLWE.Challenges.Secret

Documentation

data Secret Source #

Constructors

Secret
Fields challengeID :: !Int32 instanceID :: !Int32 m :: !Int32 q :: !Int64 seed :: !ByteString s :: !RqProduct

Instances

Eq Secret Source #
Methods (==) :: Secret -> Secret -> Bool # (/=) :: Secret -> Secret -> Bool #
Data Secret Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Secret -> c Secret # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Secret # toConstr :: Secret -> Constr # dataTypeOf :: Secret -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Secret) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Secret) # gmapT :: (forall b. Data b => b -> b) -> Secret -> Secret # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Secret -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Secret -> r # gmapQ :: (forall d. Data d => d -> u) -> Secret -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Secret -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Secret -> m Secret # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Secret -> m Secret # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Secret -> m Secret #
Ord Secret Source #
Methods compare :: Secret -> Secret -> Ordering # (<) :: Secret -> Secret -> Bool # (<=) :: Secret -> Secret -> Bool # (>) :: Secret -> Secret -> Bool # (>=) :: Secret -> Secret -> Bool # max :: Secret -> Secret -> Secret # min :: Secret -> Secret -> Secret #
Show Secret Source #
Methods showsPrec :: Int -> Secret -> ShowS # show :: Secret -> String # showList :: [Secret] -> ShowS #
Generic Secret Source #
Associated Types type Rep Secret :: * -> * # Methods from :: Secret -> Rep Secret x # to :: Rep Secret x -> Secret #
GPB Secret Source #

Wire Secret Source #
Methods wireSize :: FieldType -> Secret -> WireSize # wirePut :: FieldType -> Secret -> Put # wireGet :: FieldType -> Get Secret # wireGetPacked :: FieldType -> Get (Seq Secret) #
TextMsg Secret Source #
Methods textPut :: Secret -> Output # textGet :: Stream s Identity Char => Parsec s () Secret #
TextType Secret Source #
Methods tellT :: String -> Secret -> Output # getT :: Stream s Identity Char => String -> Parsec s () Secret #
ReflectDescriptor Secret Source #
Methods getMessageInfo :: Secret -> GetMessageInfo # reflectDescriptorInfo :: Secret -> DescriptorInfo #
Mergeable Secret Source #
Methods mergeAppend :: Secret -> Secret -> Secret # mergeConcat :: Foldable t => t Secret -> Secret #
Default Secret Source #
Methods defaultValue :: Secret #
MessageAPI msg' (msg' -> Secret) Secret Source #
Methods getVal :: msg' -> (msg' -> Secret) -> Secret # isSet :: msg' -> (msg' -> Secret) -> Bool #
type Rep Secret Source #
type Rep Secret = D1 (MetaData "Secret" "Crypto.Proto.RLWE.Challenges.Secret" "rlwe-challenges-0.1.0.1-DzRw6BKIXUdAalTkZaYF2j" False) (C1 (MetaCons "Secret" PrefixI True) ((::) ((::) (S1 (MetaSel (Just Symbol "challengeID") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int32)) ((::) (S1 (MetaSel (Just Symbol "instanceID") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int32)) (S1 (MetaSel (Just Symbol "m") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int32)))) ((::) (S1 (MetaSel (Just Symbol "q") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int64)) ((:*:) (S1 (MetaSel (Just Symbol "seed") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ByteString)) (S1 (MetaSel (Just Symbol "s") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 RqProduct))))))