grapesy
Safe HaskellNone
LanguageHaskell2010

Network.GRPC.Server.Protobuf

Description

gRPC server using Protobuf

Intended for unqualified import.

Synopsis

Compute full Protobuf API

type family ProtobufServices (servs :: [Type]) :: [[Type]] where ... Source #

Equations

ProtobufServices ('[] :: [Type]) = '[] :: [[Type]] 
ProtobufServices (serv ': servs) = ProtobufMethodsOf serv ': ProtobufServices servs 

type family ProtobufMethodsOf serv :: [Type] where ... Source #

Equations

ProtobufMethodsOf serv = ProtobufMethods serv (ServiceMethods serv) 

type family ProtobufMethods serv (methds :: [Symbol]) :: [Type] where ... Source #

Equations

ProtobufMethods serv ('[] :: [Symbol]) = '[] :: [Type] 
ProtobufMethods serv (meth ': meths) = Protobuf serv meth ': ProtobufMethods serv meths