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