Data/GraphQL/Schema.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

module Data.GraphQL.Schema where

import Data.Maybe (catMaybes)
import Text.Show.Functions ()

import Data.Text (Text)
import Data.Aeson (ToJSON(toJSON))

-- TODO: Support side-effects

data Schema = Schema QueryRoot -- (Maybe  MutationRoot)

type QueryRoot = Resolver

type Resolver = Input -> Output

data Output = OutputResolver Resolver
            | OutputList [Output]
            | OutputScalar Scalar
         -- | OutputUnion [Output]
         -- | OutputEnum [Scalar]
         -- | OutputNonNull (Output)
            | OutputError
              deriving (Show)

data Input = InputScalar Scalar
           | InputField Text
           | InputList [Input]
             deriving (Show)

field :: Input -> Maybe Text
field (InputField x) = Just x
field _ = Nothing

fields :: [Input] -> [Text]
fields = catMaybes . fmap field

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