a088c81944
The `Schema` has been overhauled to make `Output` monomorphic. Traversing the `GraphQL` document is handled implicitly while defining the `Schema`. The 4th end-to-end test from `graphql-js` has been ported.
52 lines
1.4 KiB
Haskell
52 lines
1.4 KiB
Haskell
{-# LANGUAGE CPP #-}
|
|
module Data.GraphQL.Schema where
|
|
|
|
#if !MIN_VERSION_base(4,8,0)
|
|
import Control.Applicative ((<$>))
|
|
#endif
|
|
|
|
import Data.Aeson (ToJSON(toJSON))
|
|
import Data.HashMap.Strict (HashMap)
|
|
import Data.Text (Text)
|
|
|
|
data Schema f = Schema (QueryRoot f) -- (Maybe MutationRoot)
|
|
|
|
type QueryRoot f = Resolver f
|
|
|
|
type Resolver f = Input -> f Output
|
|
|
|
data Output = OutputObject (HashMap Text Output)
|
|
| OutputList [Output]
|
|
| OutputScalar Scalar
|
|
| OutputEnum Text
|
|
deriving (Show)
|
|
-- | OutputUnion [Output]
|
|
-- | OutputNonNull (Output)
|
|
|
|
type Argument = (Text, Scalar)
|
|
|
|
data Input = InputField Text [Argument] [Input]
|
|
deriving (Show)
|
|
|
|
-- TODO: Make ScalarInt Int32
|
|
data Scalar = ScalarInt Int
|
|
| ScalarFloat Double
|
|
| ScalarString Text
|
|
| ScalarBoolean Bool
|
|
| ScalarID Text
|
|
deriving (Show)
|
|
|
|
instance ToJSON Scalar where
|
|
toJSON (ScalarInt x) = toJSON x
|
|
toJSON (ScalarFloat x) = toJSON x
|
|
toJSON (ScalarString x) = toJSON x
|
|
toJSON (ScalarBoolean x) = toJSON x
|
|
toJSON (ScalarID x) = toJSON x
|
|
|
|
instance ToJSON Output where
|
|
toJSON (OutputObject x) = toJSON $ toJSON <$> x
|
|
toJSON (OutputList x) = toJSON $ toJSON <$> x
|
|
toJSON (OutputScalar x) = toJSON x
|
|
toJSON (OutputEnum x) = toJSON x
|
|
|