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