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