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

Add needed kind signatures (#201)

Browse Source
This commit is contained in:
Alejandro Serrano 2020-06-18 14:33:53 +02:00 committed by GitHub
parent c0b8024ecd
commit c92f97d0ec
3 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
adapter/avro/src/Mu/Quasi/Avro.hs
View File

@ -1,4 +1,5 @@
{-# language DataKinds #-}
{-# language KindSignatures #-}
{-# language LambdaCase #-}
{-# language NamedFieldPuns #-}
{-# language OverloadedStrings #-}
@ -39,6 +40,7 @@ import Data.Time
import Data.Time.Millis
import Data.UUID
import qualified Data.Vector as V
import GHC.TypeLits
import Language.Avro.Parser
import qualified Language.Avro.Types as A
import Language.Haskell.TH
@ -93,7 +95,7 @@ avdlToDecls schemaName serviceName protocol
(S.toList $ A.messages protocol)) ] |]
pure [schemaDec, serviceDec]
where
pkgType Nothing = [t| 'Nothing |]
pkgType Nothing = [t| ('Nothing :: Maybe Symbol) |]
pkgType (Just (A.Namespace p))
= [t| 'Just $(textToStrLit (T.intercalate "." p)) |]
@ -182,7 +184,7 @@ avroMethodToType schemaName m
where
argToType :: A.Argument -> Q Type
argToType (A.Argument (A.NamedType a) _)
= [t| 'ArgSingle 'Nothing ('SchemaRef $(conT schemaName) $(textToStrLit (A.baseName a))) |]
= [t| 'ArgSingle ('Nothing :: Maybe Symbol) ('SchemaRef $(conT schemaName) $(textToStrLit (A.baseName a))) |]
argToType (A.Argument _ _)
= fail "only named types may be used as arguments"

1
adapter/avro/src/Mu/Quasi/Avro/Example.hs
View File

@ -1,5 +1,6 @@
{-# language CPP #-}
{-# language DataKinds #-}
{-# language KindSignatures #-}
{-# language QuasiQuotes #-}
{-# language TemplateHaskell #-}

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

@ -75,7 +75,7 @@ pbServiceDeclToType pkg schema (P.Service nm _ methods)
'[ 'Service $(textToStrLit nm)
$(typesToList <$> mapM (pbMethodToType schema) methods) ] |]
where
pkgType Nothing = [t| 'Nothing |]
pkgType Nothing = [t| ('Nothing :: Maybe Symbol) |]
pkgType (Just p) = [t| 'Just $(textToStrLit (T.intercalate "." p)) |]
pbMethodToType :: Name -> P.Method -> Q Type