Modulegrapesy-1.1.1Haskell2010

Network.GRPC.Server.Protobuf

gRPC server using Protobuf

Intended for unqualified import.

Compute full Protobuf API

3 declarations

familytype family ProtobufServices (servs :: [Type]) :: [[Type]] where

familytype family ProtobufMethodsOf serv :: [Type] where

familytype family ProtobufMethods serv (methds :: [Symbol]) :: [Type] where

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