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