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