Safe Haskell	Safe
Language	Haskell2010

Language.GraphQL.AST

Description

This module defines an abstract syntax tree for the GraphQL language based on Facebook's GraphQL Specification.

Target AST for Parser.

Synopsis

type Alias = Name
data Argument = Argument Name Value
type Arguments = [Argument]
data Definition
- = DefinitionOperation OperationDefinition
- | DefinitionFragment FragmentDefinition
data Directive = Directive Name [Argument]
type Directives = [Directive]
type Document = NonEmpty Definition
data Field = Field (Maybe Alias) Name Arguments Directives SelectionSetOpt
data FragmentDefinition = FragmentDefinition FragmentName TypeCondition Directives SelectionSet
type FragmentName = Name
data FragmentSpread = FragmentSpread Name Directives
data InlineFragment = InlineFragment (Maybe TypeCondition) Directives SelectionSet
type Name = Text
data NonNullType
- = NonNullTypeNamed Name
- | NonNullTypeList Type
data ObjectField = ObjectField Name Value
data OperationDefinition
- = OperationSelectionSet SelectionSet
- | OperationDefinition OperationType (Maybe Name) VariableDefinitions Directives SelectionSet
data OperationType
- = Query
- | Mutation
data Selection
- = SelectionField Field
- | SelectionFragmentSpread FragmentSpread
- | SelectionInlineFragment InlineFragment
type SelectionSet = NonEmpty Selection
type SelectionSetOpt = [Selection]
data Type
- = TypeNamed Name
- | TypeList Type
- | TypeNonNull NonNullType
type TypeCondition = Name
data Value
- = ValueVariable Name
- | ValueInt Int32
- | ValueFloat Double
- | ValueString Text
- | ValueBoolean Bool
- | ValueNull
- | ValueEnum Name
- | ValueList [Value]
- | ValueObject [ObjectField]
data VariableDefinition = VariableDefinition Name Type (Maybe Value)
type VariableDefinitions = [VariableDefinition]

Documentation

type Alias = Name Source #

data Argument Source #

Constructors

Argument Name Value

Instances

Eq Argument Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: Argument -> Argument -> Bool # (/=) :: Argument -> Argument -> Bool #
Show Argument Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> Argument -> ShowS # show :: Argument -> String # showList :: [Argument] -> ShowS #

type Arguments = [Argument] Source #

data Definition Source #

Constructors

DefinitionOperation OperationDefinition
DefinitionFragment FragmentDefinition

Instances

Eq Definition Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: Definition -> Definition -> Bool # (/=) :: Definition -> Definition -> Bool #
Show Definition Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> Definition -> ShowS # show :: Definition -> String # showList :: [Definition] -> ShowS #

data Directive Source #

Constructors

Directive Name [Argument]

Instances

Eq Directive Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: Directive -> Directive -> Bool # (/=) :: Directive -> Directive -> Bool #
Show Directive Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> Directive -> ShowS # show :: Directive -> String # showList :: [Directive] -> ShowS #

type Directives = [Directive] Source #

type Document = NonEmpty Definition Source #

data Field Source #

Constructors

Field (Maybe Alias) Name Arguments Directives SelectionSetOpt

Instances

Eq Field Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: Field -> Field -> Bool # (/=) :: Field -> Field -> Bool #
Show Field Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> Field -> ShowS # show :: Field -> String # showList :: [Field] -> ShowS #

data FragmentDefinition Source #

Constructors

FragmentDefinition FragmentName TypeCondition Directives SelectionSet

Instances

Eq FragmentDefinition Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: FragmentDefinition -> FragmentDefinition -> Bool # (/=) :: FragmentDefinition -> FragmentDefinition -> Bool #
Show FragmentDefinition Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> FragmentDefinition -> ShowS # show :: FragmentDefinition -> String # showList :: [FragmentDefinition] -> ShowS #

type FragmentName = Name Source #

data FragmentSpread Source #

Constructors

FragmentSpread Name Directives

Instances

Eq FragmentSpread Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: FragmentSpread -> FragmentSpread -> Bool # (/=) :: FragmentSpread -> FragmentSpread -> Bool #
Show FragmentSpread Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> FragmentSpread -> ShowS # show :: FragmentSpread -> String # showList :: [FragmentSpread] -> ShowS #

data InlineFragment Source #

Constructors

InlineFragment (Maybe TypeCondition) Directives SelectionSet

Instances

Eq InlineFragment Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: InlineFragment -> InlineFragment -> Bool # (/=) :: InlineFragment -> InlineFragment -> Bool #
Show InlineFragment Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> InlineFragment -> ShowS # show :: InlineFragment -> String # showList :: [InlineFragment] -> ShowS #

type Name = Text Source #

Name

data NonNullType Source #

Constructors

NonNullTypeNamed Name
NonNullTypeList Type

Instances

Eq NonNullType Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: NonNullType -> NonNullType -> Bool # (/=) :: NonNullType -> NonNullType -> Bool #
Show NonNullType Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> NonNullType -> ShowS # show :: NonNullType -> String # showList :: [NonNullType] -> ShowS #

data ObjectField Source #

Constructors

ObjectField Name Value

Instances

Eq ObjectField Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: ObjectField -> ObjectField -> Bool # (/=) :: ObjectField -> ObjectField -> Bool #
Show ObjectField Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> ObjectField -> ShowS # show :: ObjectField -> String # showList :: [ObjectField] -> ShowS #

data OperationDefinition Source #

Constructors

OperationSelectionSet SelectionSet
OperationDefinition OperationType (Maybe Name) VariableDefinitions Directives SelectionSet

Instances

Eq OperationDefinition Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: OperationDefinition -> OperationDefinition -> Bool # (/=) :: OperationDefinition -> OperationDefinition -> Bool #
Show OperationDefinition Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> OperationDefinition -> ShowS # show :: OperationDefinition -> String # showList :: [OperationDefinition] -> ShowS #

data OperationType Source #

Constructors

Query
Mutation

Instances

Eq OperationType Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: OperationType -> OperationType -> Bool # (/=) :: OperationType -> OperationType -> Bool #
Show OperationType Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> OperationType -> ShowS # show :: OperationType -> String # showList :: [OperationType] -> ShowS #

data Selection Source #

Constructors

SelectionField Field
SelectionFragmentSpread FragmentSpread
SelectionInlineFragment InlineFragment

Instances

Eq Selection Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: Selection -> Selection -> Bool # (/=) :: Selection -> Selection -> Bool #
Show Selection Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> Selection -> ShowS # show :: Selection -> String # showList :: [Selection] -> ShowS #

type SelectionSet = NonEmpty Selection Source #

type SelectionSetOpt = [Selection] Source #

data Type Source #

Constructors

TypeNamed Name
TypeList Type
TypeNonNull NonNullType

Instances

Eq Type Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Show Type Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #

type TypeCondition = Name Source #

data Value Source #

Constructors

ValueVariable Name
ValueInt Int32
ValueFloat Double
ValueString Text
ValueBoolean Bool
ValueNull
ValueEnum Name
ValueList [Value]
ValueObject [ObjectField]

Instances

Eq Value Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Show Value Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #

data VariableDefinition Source #

Constructors

VariableDefinition Name Type (Maybe Value)

Instances

Eq VariableDefinition Source #
Instance details Defined in Language.GraphQL.AST Methods (==) :: VariableDefinition -> VariableDefinition -> Bool # (/=) :: VariableDefinition -> VariableDefinition -> Bool #
Show VariableDefinition Source #
Instance details Defined in Language.GraphQL.AST Methods showsPrec :: Int -> VariableDefinition -> ShowS # show :: VariableDefinition -> String # showList :: [VariableDefinition] -> ShowS #

type VariableDefinitions = [VariableDefinition] Source #