Safe Haskell	None
Language	Haskell2010

Crypto.Proto.RLWE.Challenges.Secret1

Documentation

data Secret1 Source #

Constructors

Secret1
Fields challengeID :: !Int32 instanceID :: !Int32 m :: !Int32 q :: !Int64 seed :: !ByteString s :: !Rq1

Instances

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

Wire Secret1 Source #
Methods wireSize :: FieldType -> Secret1 -> WireSize # wirePut :: FieldType -> Secret1 -> Put # wireGet :: FieldType -> Get Secret1 # wireGetPacked :: FieldType -> Get (Seq Secret1) #
TextMsg Secret1 Source #
Methods textPut :: Secret1 -> Output # textGet :: Stream s Identity Char => Parsec s () Secret1 #
TextType Secret1 Source #
Methods tellT :: String -> Secret1 -> Output # getT :: Stream s Identity Char => String -> Parsec s () Secret1 #
ReflectDescriptor Secret1 Source #
Methods getMessageInfo :: Secret1 -> GetMessageInfo # reflectDescriptorInfo :: Secret1 -> DescriptorInfo #
Mergeable Secret1 Source #
Methods mergeAppend :: Secret1 -> Secret1 -> Secret1 # mergeConcat :: Foldable t => t Secret1 -> Secret1 #
Default Secret1 Source #
Methods defaultValue :: Secret1 #
MessageAPI msg' (msg' -> Secret1) Secret1 Source #
Methods getVal :: msg' -> (msg' -> Secret1) -> Secret1 # isSet :: msg' -> (msg' -> Secret1) -> Bool #
type Rep Secret1 Source #
type Rep Secret1 = D1 (MetaData "Secret1" "Crypto.Proto.RLWE.Challenges.Secret1" "rlwe-challenges-0.1.0.1-DzRw6BKIXUdAalTkZaYF2j" False) (C1 (MetaCons "Secret1" 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 DecidedStrict) (Rec0 Rq1))))))