Safe Haskell	None
Language	Haskell2010

Crypto.Proto.RLWE.Challenges.Challenge

Documentation

data Challenge Source #

Constructors

Challenge
Fields challengeID :: !Int32 numInstances :: !Int32 beaconEpoch :: !Int64 beaconOffset :: !Int32 params :: Maybe Params

Instances

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

Wire Challenge Source #
Methods wireSize :: FieldType -> Challenge -> WireSize # wirePut :: FieldType -> Challenge -> Put # wireGet :: FieldType -> Get Challenge # wireGetPacked :: FieldType -> Get (Seq Challenge) #
TextMsg Challenge Source #
Methods textPut :: Challenge -> Output # textGet :: Stream s Identity Char => Parsec s () Challenge #
TextType Challenge Source #
Methods tellT :: String -> Challenge -> Output # getT :: Stream s Identity Char => String -> Parsec s () Challenge #
ReflectDescriptor Challenge Source #
Methods getMessageInfo :: Challenge -> GetMessageInfo # reflectDescriptorInfo :: Challenge -> DescriptorInfo #
Mergeable Challenge Source #
Methods mergeAppend :: Challenge -> Challenge -> Challenge # mergeConcat :: Foldable t => t Challenge -> Challenge #
Default Challenge Source #
Methods defaultValue :: Challenge #
MessageAPI msg' (msg' -> Challenge) Challenge Source #
Methods getVal :: msg' -> (msg' -> Challenge) -> Challenge # isSet :: msg' -> (msg' -> Challenge) -> Bool #
type Rep Challenge Source #
type Rep Challenge = D1 (MetaData "Challenge" "Crypto.Proto.RLWE.Challenges.Challenge" "rlwe-challenges-0.0.0.1-DAMYqIZRKpmsBu5KI2rHT" False) (C1 (MetaCons "Challenge" PrefixI True) ((::) ((::) (S1 (MetaSel (Just Symbol "challengeID") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int32)) (S1 (MetaSel (Just Symbol "numInstances") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int32))) ((::) (S1 (MetaSel (Just Symbol "beaconEpoch") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int64)) ((::) (S1 (MetaSel (Just Symbol "beaconOffset") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int32)) (S1 (MetaSel (Just Symbol "params") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Params)))))))