higherkindness/mu-haskell
1
1
Fork 0
mirror of https://github.com/higherkindness/mu-haskell.git synced 2024-09-11 14:36:01 +03:00
Code Issues Projects Releases Wiki Activity

Support nested types in GRpc methods (#266)

Browse Source
This commit is contained in:
Akshay Mankar 2020-11-23 09:16:58 +01:00 committed by GitHub
parent 62f9d155b8
commit c94055c935
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
adapter/protobuf/src/Mu/Quasi/GRpc.hs
View File

@ -86,18 +86,18 @@ pbMethodToType s (P.Method nm vr v rr r _)
argToType P.Single (P.TOther ["google","protobuf","Empty"]) argToType P.Single (P.TOther ["google","protobuf","Empty"])
= [t| '[ ] |] = [t| '[ ] |]
argToType P.Single (P.TOther a) argToType P.Single (P.TOther a)
= [t| '[ 'ArgSingle ('Nothing :: Maybe Symbol) ('SchemaRef $(schemaTy s) $(textToStrLit (last a))) ] |] = [t| '[ 'ArgSingle ('Nothing :: Maybe Symbol) ('SchemaRef $(schemaTy s) $(textToStrLit (T.intercalate "." a))) ] |]
argToType P.Stream (P.TOther a) argToType P.Stream (P.TOther a)
= [t| '[ 'ArgStream ('Nothing :: Maybe Symbol) ('SchemaRef $(schemaTy s) $(textToStrLit (last a))) ] |] = [t| '[ 'ArgStream ('Nothing :: Maybe Symbol) ('SchemaRef $(schemaTy s) $(textToStrLit (T.intercalate "." a))) ] |]
argToType _ _ argToType _ _
= fail "only message types may be used as arguments" = fail "only message types may be used as arguments"
retToType P.Single (P.TOther ["google","protobuf","Empty"]) retToType P.Single (P.TOther ["google","protobuf","Empty"])
= [t| 'RetNothing |] = [t| 'RetNothing |]
retToType P.Single (P.TOther a) retToType P.Single (P.TOther a)
= [t| 'RetSingle ('SchemaRef $(schemaTy s) $(textToStrLit (last a))) |] = [t| 'RetSingle ('SchemaRef $(schemaTy s) $(textToStrLit (T.intercalate "." a))) |]
retToType P.Stream (P.TOther a) retToType P.Stream (P.TOther a)
= [t| 'RetStream ('SchemaRef $(schemaTy s) $(textToStrLit (last a))) |] = [t| 'RetStream ('SchemaRef $(schemaTy s) $(textToStrLit (T.intercalate "." a))) |]
retToType _ _ retToType _ _
= fail "only message types may be used as results" = fail "only message types may be used as results"