lol-0.7.0.0: A library for lattice cryptography.
Crypto.Proto.Lol.RqProduct
data RqProduct Source #
Constructors
Fields
Defined in Crypto.Proto.Lol.RqProduct
Methods
(==) :: RqProduct -> RqProduct -> Bool #
(/=) :: RqProduct -> RqProduct -> Bool #
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RqProduct -> c RqProduct #
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RqProduct #
toConstr :: RqProduct -> Constr #
dataTypeOf :: RqProduct -> DataType #
dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RqProduct) #
dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RqProduct) #
gmapT :: (forall b. Data b => b -> b) -> RqProduct -> RqProduct #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RqProduct -> r #
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RqProduct -> r #
gmapQ :: (forall d. Data d => d -> u) -> RqProduct -> [u] #
gmapQi :: Int -> (forall d. Data d => d -> u) -> RqProduct -> u #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> RqProduct -> m RqProduct #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RqProduct -> m RqProduct #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RqProduct -> m RqProduct #
compare :: RqProduct -> RqProduct -> Ordering #
(<) :: RqProduct -> RqProduct -> Bool #
(<=) :: RqProduct -> RqProduct -> Bool #
(>) :: RqProduct -> RqProduct -> Bool #
(>=) :: RqProduct -> RqProduct -> Bool #
max :: RqProduct -> RqProduct -> RqProduct #
min :: RqProduct -> RqProduct -> RqProduct #
showsPrec :: Int -> RqProduct -> ShowS #
show :: RqProduct -> String #
showList :: [RqProduct] -> ShowS #
Associated Types
type Rep RqProduct :: Type -> Type #
from :: RqProduct -> Rep RqProduct x #
to :: Rep RqProduct x -> RqProduct #
wireSize :: FieldType -> RqProduct -> WireSize #
wirePut :: FieldType -> RqProduct -> Put #
wirePutWithSize :: FieldType -> RqProduct -> PutM WireSize #
wireGet :: FieldType -> Get RqProduct #
wireGetPacked :: FieldType -> Get (Seq RqProduct) #
textPut :: RqProduct -> Output #
textGet :: Stream s Identity Char => Parsec s () RqProduct #
tellT :: String -> RqProduct -> Output #
getT :: Stream s Identity Char => String -> Parsec s () RqProduct #
getMessageInfo :: RqProduct -> GetMessageInfo #
reflectDescriptorInfo :: RqProduct -> DescriptorInfo #
mergeAppend :: RqProduct -> RqProduct -> RqProduct #
mergeConcat :: Foldable t => t RqProduct -> RqProduct #
defaultValue :: RqProduct #
getVal :: msg' -> (msg' -> RqProduct) -> RqProduct #
isSet :: msg' -> (msg' -> RqProduct) -> Bool #