Safe Haskell	None
Language	Haskell2010

GraphQL.Internal.Syntax.AST

Synopsis

Documentation

data Name Source #

A name in GraphQL.

https://facebook.github.io/graphql/#sec-Names

Instances

Eq Name Source #
Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
Methods compare :: Name -> Name -> Ordering # (<) :: Name -> Name -> Bool # (<=) :: Name -> Name -> Bool # (>) :: Name -> Name -> Bool # (>=) :: Name -> Name -> Bool # max :: Name -> Name -> Name # min :: Name -> Name -> Name #
Show Name Source #
Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
IsString Name Source #
Methods fromString :: String -> Name #
Arbitrary Name Source #
Methods arbitrary :: Gen Name # shrink :: Name -> [Name] #
ToJSON Name Source #
Methods toJSON :: Name -> Value # toEncoding :: Name -> Encoding # toJSONList :: [Name] -> Value # toEncodingList :: [Name] -> Encoding #

nameParser :: Parser Name Source #

Parser for Name.

newtype NameError Source #

An invalid name.

Constructors

NameError Text

Instances

Eq NameError Source #
Methods (==) :: NameError -> NameError -> Bool # (/=) :: NameError -> NameError -> Bool #
Show NameError Source #
Methods showsPrec :: Int -> NameError -> ShowS # show :: NameError -> String # showList :: [NameError] -> ShowS #
GraphQLError NameError Source #
Methods formatError :: NameError -> Text Source # toError :: NameError -> Error Source #

unsafeMakeName :: HasCallStack => Text -> Name Source #

Create a Name, panicking if the given text is invalid.

Prefer makeName to this in all cases.

>>> unsafeMakeName "foo"
Name {unName = "foo"}

makeName :: Text -> Either NameError Name Source #

Create a Name.

Names must match the regex [_A-Za-z][_0-9A-Za-z]*. If the given text does not match, return Nothing.

>>> makeName "foo"
Right (Name {unName = "foo"})
>>> makeName "9-bar"
Left (NameError "9-bar")

newtype QueryDocument Source #

A QueryDocument is something a user might send us.

https://facebook.github.io/graphql/#sec-Language.Query-Document

Constructors

QueryDocument
Fields getDefinitions :: [Definition]

Instances

Eq QueryDocument Source #
Methods (==) :: QueryDocument -> QueryDocument -> Bool # (/=) :: QueryDocument -> QueryDocument -> Bool #
Show QueryDocument Source #
Methods showsPrec :: Int -> QueryDocument -> ShowS # show :: QueryDocument -> String # showList :: [QueryDocument] -> ShowS #

newtype SchemaDocument Source #

A SchemaDocument is a document that defines a GraphQL schema.

https://facebook.github.io/graphql/#sec-Type-System

Constructors

SchemaDocument [TypeDefinition]

Instances

Eq SchemaDocument Source #
Methods (==) :: SchemaDocument -> SchemaDocument -> Bool # (/=) :: SchemaDocument -> SchemaDocument -> Bool #
Show SchemaDocument Source #
Methods showsPrec :: Int -> SchemaDocument -> ShowS # show :: SchemaDocument -> String # showList :: [SchemaDocument] -> ShowS #

data Definition Source #

Constructors

DefinitionOperation OperationDefinition
DefinitionFragment FragmentDefinition

Instances

Eq Definition Source #
Methods (==) :: Definition -> Definition -> Bool # (/=) :: Definition -> Definition -> Bool #
Show Definition Source #
Methods showsPrec :: Int -> Definition -> ShowS # show :: Definition -> String # showList :: [Definition] -> ShowS #

data OperationDefinition Source #

Constructors

Query Node
Mutation Node
AnonymousQuery SelectionSet

Instances

Eq OperationDefinition Source #
Methods (==) :: OperationDefinition -> OperationDefinition -> Bool # (/=) :: OperationDefinition -> OperationDefinition -> Bool #
Show OperationDefinition Source #
Methods showsPrec :: Int -> OperationDefinition -> ShowS # show :: OperationDefinition -> String # showList :: [OperationDefinition] -> ShowS #

data Node Source #

Constructors

Node Name [VariableDefinition] [Directive] SelectionSet

Instances

Eq Node Source #
Methods (==) :: Node -> Node -> Bool # (/=) :: Node -> Node -> Bool #
Show Node Source #
Methods showsPrec :: Int -> Node -> ShowS # show :: Node -> String # showList :: [Node] -> ShowS #

getNodeName :: Node -> Name Source #

data VariableDefinition Source #

Constructors

VariableDefinition Variable Type (Maybe DefaultValue)

Instances

Eq VariableDefinition Source #
Methods (==) :: VariableDefinition -> VariableDefinition -> Bool # (/=) :: VariableDefinition -> VariableDefinition -> Bool #
Show VariableDefinition Source #
Methods showsPrec :: Int -> VariableDefinition -> ShowS # show :: VariableDefinition -> String # showList :: [VariableDefinition] -> ShowS #

newtype Variable Source #

Constructors

Variable Name

Instances

Eq Variable Source #
Methods (==) :: Variable -> Variable -> Bool # (/=) :: Variable -> Variable -> Bool #
Ord Variable Source #
Methods compare :: Variable -> Variable -> Ordering # (<) :: Variable -> Variable -> Bool # (<=) :: Variable -> Variable -> Bool # (>) :: Variable -> Variable -> Bool # (>=) :: Variable -> Variable -> Bool # max :: Variable -> Variable -> Variable # min :: Variable -> Variable -> Variable #
Show Variable Source #
Methods showsPrec :: Int -> Variable -> ShowS # show :: Variable -> String # showList :: [Variable] -> ShowS #
Arbitrary Variable Source #
Methods arbitrary :: Gen Variable # shrink :: Variable -> [Variable] #

type SelectionSet = [Selection] Source #

data Selection Source #

Constructors

SelectionField Field
SelectionFragmentSpread FragmentSpread
SelectionInlineFragment InlineFragment

Instances

Eq Selection Source #
Methods (==) :: Selection -> Selection -> Bool # (/=) :: Selection -> Selection -> Bool #
Show Selection Source #
Methods showsPrec :: Int -> Selection -> ShowS # show :: Selection -> String # showList :: [Selection] -> ShowS #

data Field Source #

Constructors

Field (Maybe Alias) Name [Argument] [Directive] SelectionSet

Instances

Eq Field Source #
Methods (==) :: Field -> Field -> Bool # (/=) :: Field -> Field -> Bool #
Show Field Source #
Methods showsPrec :: Int -> Field -> ShowS # show :: Field -> String # showList :: [Field] -> ShowS #

type Alias = Name Source #

data Argument Source #

Constructors

Argument Name Value

Instances

Eq Argument Source #
Methods (==) :: Argument -> Argument -> Bool # (/=) :: Argument -> Argument -> Bool #
Show Argument Source #
Methods showsPrec :: Int -> Argument -> ShowS # show :: Argument -> String # showList :: [Argument] -> ShowS #

data FragmentSpread Source #

Constructors

FragmentSpread Name [Directive]

Instances

Eq FragmentSpread Source #
Methods (==) :: FragmentSpread -> FragmentSpread -> Bool # (/=) :: FragmentSpread -> FragmentSpread -> Bool #
Show FragmentSpread Source #
Methods showsPrec :: Int -> FragmentSpread -> ShowS # show :: FragmentSpread -> String # showList :: [FragmentSpread] -> ShowS #

data InlineFragment Source #

Constructors

InlineFragment (Maybe TypeCondition) [Directive] SelectionSet

Instances

Eq InlineFragment Source #
Methods (==) :: InlineFragment -> InlineFragment -> Bool # (/=) :: InlineFragment -> InlineFragment -> Bool #
Show InlineFragment Source #
Methods showsPrec :: Int -> InlineFragment -> ShowS # show :: InlineFragment -> String # showList :: [InlineFragment] -> ShowS #

data FragmentDefinition Source #

Constructors

FragmentDefinition Name TypeCondition [Directive] SelectionSet

Instances

Eq FragmentDefinition Source #
Methods (==) :: FragmentDefinition -> FragmentDefinition -> Bool # (/=) :: FragmentDefinition -> FragmentDefinition -> Bool #
Show FragmentDefinition Source #
Methods showsPrec :: Int -> FragmentDefinition -> ShowS # show :: FragmentDefinition -> String # showList :: [FragmentDefinition] -> ShowS #

type TypeCondition = NamedType Source #

data Value Source #

Constructors

ValueVariable Variable
ValueInt Int32
ValueFloat Double
ValueBoolean Bool
ValueString StringValue
ValueEnum Name
ValueList ListValue
ValueObject ObjectValue
ValueNull

Instances

Eq Value Source #
Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Show Value Source #
Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
Arbitrary Value Source #
Methods arbitrary :: Gen Value # shrink :: Value -> [Value] #

newtype StringValue Source #

Constructors

StringValue Text

Instances

Eq StringValue Source #
Methods (==) :: StringValue -> StringValue -> Bool # (/=) :: StringValue -> StringValue -> Bool #
Show StringValue Source #
Methods showsPrec :: Int -> StringValue -> ShowS # show :: StringValue -> String # showList :: [StringValue] -> ShowS #
Arbitrary StringValue Source #
Methods arbitrary :: Gen StringValue # shrink :: StringValue -> [StringValue] #

newtype ListValue Source #

Constructors

ListValue [Value]

Instances

Eq ListValue Source #
Methods (==) :: ListValue -> ListValue -> Bool # (/=) :: ListValue -> ListValue -> Bool #
Show ListValue Source #
Methods showsPrec :: Int -> ListValue -> ShowS # show :: ListValue -> String # showList :: [ListValue] -> ShowS #
Arbitrary ListValue Source #
Methods arbitrary :: Gen ListValue # shrink :: ListValue -> [ListValue] #

newtype ObjectValue Source #

Constructors

ObjectValue [ObjectField]

Instances

Eq ObjectValue Source #
Methods (==) :: ObjectValue -> ObjectValue -> Bool # (/=) :: ObjectValue -> ObjectValue -> Bool #
Show ObjectValue Source #
Methods showsPrec :: Int -> ObjectValue -> ShowS # show :: ObjectValue -> String # showList :: [ObjectValue] -> ShowS #
Arbitrary ObjectValue Source #
Methods arbitrary :: Gen ObjectValue # shrink :: ObjectValue -> [ObjectValue] #

data ObjectField Source #

Constructors

ObjectField Name Value

Instances

Eq ObjectField Source #
Methods (==) :: ObjectField -> ObjectField -> Bool # (/=) :: ObjectField -> ObjectField -> Bool #
Show ObjectField Source #
Methods showsPrec :: Int -> ObjectField -> ShowS # show :: ObjectField -> String # showList :: [ObjectField] -> ShowS #
Arbitrary ObjectField Source #
Methods arbitrary :: Gen ObjectField # shrink :: ObjectField -> [ObjectField] #

type DefaultValue = Value Source #

data Directive Source #

Constructors

Directive Name [Argument]

Instances

Eq Directive Source #
Methods (==) :: Directive -> Directive -> Bool # (/=) :: Directive -> Directive -> Bool #
Show Directive Source #
Methods showsPrec :: Int -> Directive -> ShowS # show :: Directive -> String # showList :: [Directive] -> ShowS #

data Type Source #

Constructors

TypeNamed NamedType
TypeList ListType
TypeNonNull NonNullType

Instances

Eq Type Source #
Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Ord Type Source #
Methods compare :: Type -> Type -> Ordering # (<) :: Type -> Type -> Bool # (<=) :: Type -> Type -> Bool # (>) :: Type -> Type -> Bool # (>=) :: Type -> Type -> Bool # max :: Type -> Type -> Type # min :: Type -> Type -> Type #
Show Type Source #
Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #

newtype NamedType Source #

Constructors

NamedType Name

Instances

Eq NamedType Source #
Methods (==) :: NamedType -> NamedType -> Bool # (/=) :: NamedType -> NamedType -> Bool #
Ord NamedType Source #
Methods compare :: NamedType -> NamedType -> Ordering # (<) :: NamedType -> NamedType -> Bool # (<=) :: NamedType -> NamedType -> Bool # (>) :: NamedType -> NamedType -> Bool # (>=) :: NamedType -> NamedType -> Bool # max :: NamedType -> NamedType -> NamedType # min :: NamedType -> NamedType -> NamedType #
Show NamedType Source #
Methods showsPrec :: Int -> NamedType -> ShowS # show :: NamedType -> String # showList :: [NamedType] -> ShowS #

newtype ListType Source #

Constructors

ListType Type

Instances

Eq ListType Source #
Methods (==) :: ListType -> ListType -> Bool # (/=) :: ListType -> ListType -> Bool #
Ord ListType Source #
Methods compare :: ListType -> ListType -> Ordering # (<) :: ListType -> ListType -> Bool # (<=) :: ListType -> ListType -> Bool # (>) :: ListType -> ListType -> Bool # (>=) :: ListType -> ListType -> Bool # max :: ListType -> ListType -> ListType # min :: ListType -> ListType -> ListType #
Show ListType Source #
Methods showsPrec :: Int -> ListType -> ShowS # show :: ListType -> String # showList :: [ListType] -> ShowS #

data NonNullType Source #

Constructors

NonNullTypeNamed NamedType
NonNullTypeList ListType

Instances

Eq NonNullType Source #
Methods (==) :: NonNullType -> NonNullType -> Bool # (/=) :: NonNullType -> NonNullType -> Bool #
Ord NonNullType Source #
Methods compare :: NonNullType -> NonNullType -> Ordering # (<) :: NonNullType -> NonNullType -> Bool # (<=) :: NonNullType -> NonNullType -> Bool # (>) :: NonNullType -> NonNullType -> Bool # (>=) :: NonNullType -> NonNullType -> Bool # max :: NonNullType -> NonNullType -> NonNullType # min :: NonNullType -> NonNullType -> NonNullType #
Show NonNullType Source #
Methods showsPrec :: Int -> NonNullType -> ShowS # show :: NonNullType -> String # showList :: [NonNullType] -> ShowS #

data TypeDefinition Source #

Constructors

TypeDefinitionObject ObjectTypeDefinition
TypeDefinitionInterface InterfaceTypeDefinition
TypeDefinitionUnion UnionTypeDefinition
TypeDefinitionScalar ScalarTypeDefinition
TypeDefinitionEnum EnumTypeDefinition
TypeDefinitionInputObject InputObjectTypeDefinition
TypeDefinitionTypeExtension TypeExtensionDefinition

Instances

Eq TypeDefinition Source #
Methods (==) :: TypeDefinition -> TypeDefinition -> Bool # (/=) :: TypeDefinition -> TypeDefinition -> Bool #
Show TypeDefinition Source #
Methods showsPrec :: Int -> TypeDefinition -> ShowS # show :: TypeDefinition -> String # showList :: [TypeDefinition] -> ShowS #

data ObjectTypeDefinition Source #

Constructors

ObjectTypeDefinition Name Interfaces [FieldDefinition]

Instances

Eq ObjectTypeDefinition Source #
Methods (==) :: ObjectTypeDefinition -> ObjectTypeDefinition -> Bool # (/=) :: ObjectTypeDefinition -> ObjectTypeDefinition -> Bool #
Show ObjectTypeDefinition Source #
Methods showsPrec :: Int -> ObjectTypeDefinition -> ShowS # show :: ObjectTypeDefinition -> String # showList :: [ObjectTypeDefinition] -> ShowS #

type Interfaces = [NamedType] Source #

data FieldDefinition Source #

Constructors

FieldDefinition Name ArgumentsDefinition Type

Instances

Eq FieldDefinition Source #
Methods (==) :: FieldDefinition -> FieldDefinition -> Bool # (/=) :: FieldDefinition -> FieldDefinition -> Bool #
Show FieldDefinition Source #
Methods showsPrec :: Int -> FieldDefinition -> ShowS # show :: FieldDefinition -> String # showList :: [FieldDefinition] -> ShowS #

type ArgumentsDefinition = [InputValueDefinition] Source #

data InputValueDefinition Source #

Constructors

InputValueDefinition Name Type (Maybe DefaultValue)

Instances

Eq InputValueDefinition Source #
Methods (==) :: InputValueDefinition -> InputValueDefinition -> Bool # (/=) :: InputValueDefinition -> InputValueDefinition -> Bool #
Show InputValueDefinition Source #
Methods showsPrec :: Int -> InputValueDefinition -> ShowS # show :: InputValueDefinition -> String # showList :: [InputValueDefinition] -> ShowS #

data InterfaceTypeDefinition Source #

Constructors

InterfaceTypeDefinition Name [FieldDefinition]

Instances

Eq InterfaceTypeDefinition Source #
Methods (==) :: InterfaceTypeDefinition -> InterfaceTypeDefinition -> Bool # (/=) :: InterfaceTypeDefinition -> InterfaceTypeDefinition -> Bool #
Show InterfaceTypeDefinition Source #
Methods showsPrec :: Int -> InterfaceTypeDefinition -> ShowS # show :: InterfaceTypeDefinition -> String # showList :: [InterfaceTypeDefinition] -> ShowS #

data UnionTypeDefinition Source #

Constructors

UnionTypeDefinition Name [NamedType]

Instances

Eq UnionTypeDefinition Source #
Methods (==) :: UnionTypeDefinition -> UnionTypeDefinition -> Bool # (/=) :: UnionTypeDefinition -> UnionTypeDefinition -> Bool #
Show UnionTypeDefinition Source #
Methods showsPrec :: Int -> UnionTypeDefinition -> ShowS # show :: UnionTypeDefinition -> String # showList :: [UnionTypeDefinition] -> ShowS #

newtype ScalarTypeDefinition Source #

Constructors

ScalarTypeDefinition Name

Instances

Eq ScalarTypeDefinition Source #
Methods (==) :: ScalarTypeDefinition -> ScalarTypeDefinition -> Bool # (/=) :: ScalarTypeDefinition -> ScalarTypeDefinition -> Bool #
Show ScalarTypeDefinition Source #
Methods showsPrec :: Int -> ScalarTypeDefinition -> ShowS # show :: ScalarTypeDefinition -> String # showList :: [ScalarTypeDefinition] -> ShowS #

data EnumTypeDefinition Source #

Constructors

EnumTypeDefinition Name [EnumValueDefinition]

Instances

Eq EnumTypeDefinition Source #
Methods (==) :: EnumTypeDefinition -> EnumTypeDefinition -> Bool # (/=) :: EnumTypeDefinition -> EnumTypeDefinition -> Bool #
Show EnumTypeDefinition Source #
Methods showsPrec :: Int -> EnumTypeDefinition -> ShowS # show :: EnumTypeDefinition -> String # showList :: [EnumTypeDefinition] -> ShowS #

newtype EnumValueDefinition Source #

Constructors

EnumValueDefinition Name

Instances

Eq EnumValueDefinition Source #
Methods (==) :: EnumValueDefinition -> EnumValueDefinition -> Bool # (/=) :: EnumValueDefinition -> EnumValueDefinition -> Bool #
Show EnumValueDefinition Source #
Methods showsPrec :: Int -> EnumValueDefinition -> ShowS # show :: EnumValueDefinition -> String # showList :: [EnumValueDefinition] -> ShowS #

data InputObjectTypeDefinition Source #

Constructors

InputObjectTypeDefinition Name [InputValueDefinition]

Instances

Eq InputObjectTypeDefinition Source #
Methods (==) :: InputObjectTypeDefinition -> InputObjectTypeDefinition -> Bool # (/=) :: InputObjectTypeDefinition -> InputObjectTypeDefinition -> Bool #
Show InputObjectTypeDefinition Source #
Methods showsPrec :: Int -> InputObjectTypeDefinition -> ShowS # show :: InputObjectTypeDefinition -> String # showList :: [InputObjectTypeDefinition] -> ShowS #

newtype TypeExtensionDefinition Source #

Constructors

TypeExtensionDefinition ObjectTypeDefinition

Instances

Eq TypeExtensionDefinition Source #
Methods (==) :: TypeExtensionDefinition -> TypeExtensionDefinition -> Bool # (/=) :: TypeExtensionDefinition -> TypeExtensionDefinition -> Bool #
Show TypeExtensionDefinition Source #
Methods showsPrec :: Int -> TypeExtensionDefinition -> ShowS # show :: TypeExtensionDefinition -> String # showList :: [TypeExtensionDefinition] -> ShowS #