Skip to content

Adds GraphQL Name QuasiQuoter #69

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
jkachmar wants to merge 2 commits into from
Closed

Adds GraphQL Name QuasiQuoter #69

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
f3a02a8
Make litName an untyped TH expression splice for now
jberryman Mar 17, 2022
2269020
Adds GraphQL name quasiquoter
jkachmar Mar 17, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 15 additions & 3 deletions src/Language/GraphQL/Draft/Syntax.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@ module Language.GraphQL.Draft.Syntax
mkName,
unsafeMkName,
litName,
nameQQ,
Description (..),
Value (..),
literal,
Expand Down Expand Up @@ -101,7 +102,8 @@ import {-# SOURCE #-} Language.GraphQL.Draft.Parser
)
import {-# SOURCE #-} Language.GraphQL.Draft.Printer (renderExecutableDoc)
import Language.GraphQL.Draft.Syntax.Internal (liftTypedHashMap)
import Language.Haskell.TH.Syntax (Lift, Q, TExp)
import Language.Haskell.TH.Quote (QuasiQuoter (..))
import Language.Haskell.TH.Syntax (Exp, Lift, Q)
import Language.Haskell.TH.Syntax qualified as TH
import Prettyprinter (Pretty (..))
import Prelude
Expand Down Expand Up @@ -129,8 +131,18 @@ parseName text = maybe (fail errorMessage) pure $ mkName text
where
errorMessage = T.unpack text <> " is not valid GraphQL name"

litName :: Text -> Q (TExp Name)
litName = parseName >=> \name -> [||name||]
-- | Construct a 'Name' value at compile-time.
litName :: Text -> Q Exp
litName = parseName >=> \name -> [|name|]

-- | Construct a 'Name' value at compile-time via quasiquotation.
nameQQ :: QuasiQuoter
nameQQ = QuasiQuoter {quoteExp, quotePat, quoteType, quoteDec}
where
quotePat _ = error "nameQQ does not support quoting patterns"
quoteType _ = error "nameQQ does not support quoting types"
quoteDec _ = error "nameQQ does not support quoting declarations"
quoteExp = litName . T.pack

instance J.FromJSON Name where
parseJSON = J.withText "Name" parseName
Expand Down