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