Prospero.Parser.AST

data Document

Constructors

• Document (Array Definition)

data Definition

Constructors

• OperationDefinition Operation
• FragmentDefinition Fragment

type Operation = { directives :: Array Directive, name :: Maybe Name, operationType :: Maybe (SourceToken /\ OperationType), selectionSet :: SelectionSet, variableDefinitions :: Maybe (Wrapped (Array VariableDef)) }

data OperationType

Constructors

• Query
• Mutation
• Subscription

Instances

• Eq OperationType
• Ord OperationType
• Show OperationType

type Fragment = { directives :: Array Directive, keyword :: SourceToken, name :: Name, selectionSet :: SelectionSet, typeCondition :: TypeCondition }

type TypeCondition = { name :: Name, on :: SourceToken }

type SelectionSet = Wrapped (Array Selection)

data Selection

Constructors

• SelectionField FieldNode
• SelectionFragmentSpread FragmentSpread
• SelectionInlineFragment InlineFragment

type FieldNode = { alias :: Maybe (Name /\ SourceToken), arguments :: Maybe (Wrapped (Array Argument)), directives :: Array Directive, name :: Name, selectionSet :: Maybe SelectionSet }

type FragmentSpread = { directives :: Array Directive, name :: Name, spread :: SourceToken }

type InlineFragment = { directives :: Array Directive, selectionSet :: SelectionSet, spread :: SourceToken, typeCondition :: Maybe TypeCondition }

type Argument = { colon :: SourceToken, name :: Name, value :: Value }

data Value

Constructors

• ValueVariable SourceToken Name
• ValueInt SourceToken Int
• ValueFloat SourceToken Number
• ValueString SourceToken String
• ValueBlockString SourceToken String
• ValueBoolean SourceToken Boolean
• ValueNull SourceToken
• ValueEnum Name
• ValueList (Wrapped (Array Value))
• ValueObject (Wrapped (Array ObjectField))

type ObjectField = { colon :: SourceToken, name :: Name, value :: Value }

type VariableDef = { colon :: SourceToken, defaultValue :: Maybe (SourceToken /\ Value), directives :: Array Directive, dollar :: SourceToken, name :: Name, type :: TypeRef }

data TypeRef

Constructors

• TypeNamed Name
• TypeList (Wrapped TypeRef)
• TypeNonNull TypeRef SourceToken

type Directive = { arguments :: Maybe (Wrapped (Array Argument)), at :: SourceToken, name :: Name }