{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeInType #-}
module Data.GraphQL.Query
( GraphQLQuery(..)
, query
) where
import Data.Aeson (Value)
import Data.Aeson.Schema (IsSchema, Schema)
import Data.Text (Text)
import qualified Data.Text as Text
import Language.Haskell.TH.Quote (QuasiQuoter(..))
import Language.Haskell.TH.Syntax (lift)
class IsSchema (ResultSchema query) => GraphQLQuery query where
type ResultSchema query :: Schema
getQueryName :: query -> Text
getQueryText :: query -> Text
getArgs :: query -> Value
query :: QuasiQuoter
query = QuasiQuoter
{ quoteExp = liftText . Text.strip . Text.pack
, quotePat = error "Cannot use the 'query' QuasiQuoter for patterns"
, quoteType = error "Cannot use the 'query' QuasiQuoter for types"
, quoteDec = error "Cannot use the 'query' QuasiQuoter for declarations"
}
where
liftText s = [| Text.pack $(lift $ Text.unpack s) |]