Add directives to all schema definition forms

Author: leebyron

spec/Appendix B -- Grammar Summary.md

@@ -180,7 +180,7 @@ TypeSystemDefinition :
   - TypeExtensionDefinition
   - DirectiveDefinition
 
-SchemaDefinition : schema { OperationTypeDefinition+ }
+SchemaDefinition : schema Directives? { OperationTypeDefinition+ }
 
 OperationTypeDefinition : OperationType : NamedType
 
@@ -192,33 +192,33 @@ TypeDefinition :
   - EnumTypeDefinition
   - InputObjectTypeDefinition
 
-ScalarTypeDefinition : scalar Name
+ScalarTypeDefinition : scalar Name Directives?
 
-ObjectTypeDefinition : type Name ImplementsInterfaces? { FieldDefinition+ }
+ObjectTypeDefinition : type Name ImplementsInterfaces? Directives? { FieldDefinition+ }
 
 ImplementsInterfaces : implements NamedType+
 
-FieldDefinition : Name ArgumentsDefinition? : Type
+FieldDefinition : Name ArgumentsDefinition? : Type Directives?
 
 ArgumentsDefinition : ( InputValueDefinition+ )
 
-InputValueDefinition : Name : Type DefaultValue?
+InputValueDefinition : Name : Type DefaultValue? Directives?
 
-InterfaceTypeDefinition : interface Name { FieldDefinition+ }
+InterfaceTypeDefinition : interface Name Directives? { FieldDefinition+ }
 
-UnionTypeDefinition : union Name = UnionMembers
+UnionTypeDefinition : union Name Directives? = UnionMembers
 
 UnionMembers :
   - NamedType
   - UnionMembers | NamedType
 
-EnumTypeDefinition : enum Name { EnumValueDefinition+ }
+EnumTypeDefinition : enum Name Directives? { EnumValueDefinition+ }
 
-EnumValueDefinition : EnumValue
+EnumValueDefinition : EnumValue Directives?
 
 EnumValue : Name
 
-InputObjectTypeDefinition : input Name { InputValueDefinition+ }
+InputObjectTypeDefinition : input Name Directives? { InputValueDefinition+ }
 
 TypeExtensionDefinition : extend ObjectTypeDefinition
 

spec/Section 2 -- Language.md

@@ -1071,15 +1071,15 @@ scalar DateTime
 
 #### Object
 
-ObjectTypeDefinition : type Name ImplementsInterfaces? { FieldDefinition+ }
+ObjectTypeDefinition : type Name ImplementsInterfaces? Directives? { FieldDefinition+ }
 
 ImplementsInterfaces : implements NamedType+
 
-FieldDefinition : Name ArgumentsDefinition? : Type
+FieldDefinition : Name ArgumentsDefinition? : Type Directives?
 
 ArgumentsDefinition : ( InputValueDefinition+ )
 
-InputValueDefinition : Name : Type DefaultValue?
+InputValueDefinition : Name : Type DefaultValue? Directives?
 
 Object types represent a list of named fields, each of which yield a value of a
 specific type. Each field itself may accept a list of named arguments.
@@ -1099,7 +1099,7 @@ type TodoItem implements Node {
 
 #### Interface
 
-InterfaceTypeDefinition : interface Name { FieldDefinition+ }
+InterfaceTypeDefinition : interface Name Directives? { FieldDefinition+ }
 
 Interface types, similarly to Object types represent a list of named fields.
 Interface types are used as the type of a field when one of many possible Object
@@ -1117,7 +1117,7 @@ interface Node {
 
 #### Union
 
-UnionTypeDefinition : union Name = UnionMembers
+UnionTypeDefinition : union Name Directives? = UnionMembers
 
 UnionMembers :
   - NamedType
@@ -1137,9 +1137,9 @@ union Actor = User | Business
 
 #### Enum
 
-EnumTypeDefinition : enum Name { EnumValueDefinition+ }
+EnumTypeDefinition : enum Name Directives? { EnumValueDefinition+ }
 
-EnumValueDefinition : EnumValue
+EnumValueDefinition : EnumValue Directives?
 
 EnumValue : Name
 
@@ -1159,7 +1159,7 @@ enum Direction {
 
 #### Input Object
 
-InputObjectTypeDefinition : input Name { InputValueDefinition+ }
+InputObjectTypeDefinition : input Name Directives? { InputValueDefinition+ }
 
 Input Object types represent complex input values which may be provided as an
 field argument. Input Object types cannot be the return type of an Object or