Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Morpheus.Types.Internal.AST

Synopsis

data Ref name = Ref {
- refName :: name
- refPosition :: Position
}
data Position = Position {
- line :: Int
- column :: Int
}
type Message = Text
type FieldName = Name 'FIELD
type Description = Text
data Stage
type CONST = 'CONST
type VALID = 'VALID
type RAW = 'RAW
data Value (stage :: Stage) where
- ResolvedVariable :: Ref FieldName -> Variable VALID -> Value CONST
- VariableValue :: Ref FieldName -> Value RAW
- Object :: Object stage -> Value stage
- List :: [Value stage] -> Value stage
- Enum :: TypeName -> Value stage
- Scalar :: ScalarValue -> Value stage
- Null :: Value stage
data ScalarValue
- = Int Int
- | Float Double
- | String Text
- | Boolean Bool
- | Value Value
type Object a = OrdMap FieldName (ObjectEntry a)
replaceValue :: Value -> Value a
decodeScientific :: Scientific -> ScalarValue
type RawValue = Value RAW
type ValidValue = Value VALID
type RawObject = Object RAW
type ValidObject = Object VALID
type ResolvedObject = Object CONST
type ResolvedValue = Value CONST
data Argument (valid :: Stage) = Argument {
- argumentPosition :: Position
- argumentName :: FieldName
- argumentValue :: Value valid
}
type Arguments (s :: Stage) = OrdMap FieldName (Argument s)
type SelectionSet (s :: Stage) = MergeMap (ALLOW_DUPLICATES s) FieldName (Selection s)
data SelectionContent (s :: Stage) where
- SelectionField :: SelectionContent s
- SelectionSet :: SelectionSet s -> SelectionContent s
- UnionSelection :: {..} -> SelectionContent VALID
data Selection (s :: Stage) where
- Selection :: {..} -> Selection s
- InlineFragment :: Fragment RAW -> Selection RAW
- Spread :: Directives RAW -> Ref FragmentName -> Selection RAW
type Fragments (s :: Stage) = OrdMap FragmentName (Fragment s)
data Fragment (stage :: Stage) = Fragment {
- fragmentName :: FragmentName
- fragmentType :: TypeName
- fragmentPosition :: Position
- fragmentSelection :: SelectionSet stage
- fragmentDirectives :: Directives stage
}
data Operation (s :: Stage) = Operation {
- operationPosition :: Position
- operationType :: OperationType
- operationName :: Maybe FieldName
- operationArguments :: VariableDefinitions s
- operationDirectives :: Directives s
- operationSelection :: SelectionSet s
}
data Variable (stage :: Stage) = Variable {
- variablePosition :: Position
- variableName :: FieldName
- variableType :: TypeRef
- variableValue :: VariableContent (CONST_OR_VALID stage)
}
type VariableDefinitions s = OrdMap FieldName (Variable s)
type DefaultValue = Maybe ResolvedValue
getOperationName :: Maybe FieldName -> TypeName
newtype ScalarDefinition = ScalarDefinition {
- validateValue :: Value VALID -> Either Token (Value VALID)
}
type DataEnum s = [DataEnumValue s]
type FieldsDefinition cat s = OrdMap FieldName (FieldDefinition cat s)
newtype ArgumentDefinition s = ArgumentDefinition {
- argument :: FieldDefinition IN s
}
type UnionTypeDefinition k s = OrdMap TypeName (UnionMember k s)
type ArgumentsDefinition s = OrdMap FieldName (ArgumentDefinition s)
data FieldDefinition (cat :: TypeCategory) (s :: Stage) = FieldDefinition {
- fieldDescription :: Maybe Description
- fieldName :: FieldName
- fieldType :: TypeRef
- fieldContent :: Maybe (FieldContent TRUE cat s)
- fieldDirectives :: Directives s
}
type InputFieldsDefinition s = OrdMap FieldName (InputValueDefinition s)
data TypeContent (b :: Bool) (a :: TypeCategory) (s :: Stage) where
- DataScalar :: {..} -> CondTypeContent LEAF a s
- DataEnum :: {..} -> CondTypeContent LEAF a s
- DataInputObject :: {..} -> CondTypeContent INPUT_OBJECT a s
- DataInputUnion :: {..} -> CondTypeContent IN a s
- DataObject :: {..} -> CondTypeContent OBJECT a s
- DataUnion :: {..} -> CondTypeContent OUT a s
- DataInterface :: {..} -> CondTypeContent IMPLEMENTABLE a s
data TypeDefinition (a :: TypeCategory) (s :: Stage) = TypeDefinition {
- typeDescription :: Maybe Description
- typeName :: TypeName
- typeDirectives :: Directives s
- typeContent :: TypeContent TRUE a s
}
data Schema (s :: Stage) = Schema {
- types :: TypeDefinitions s
- query :: TypeDefinition OBJECT s
- mutation :: Maybe (TypeDefinition OBJECT s)
- subscription :: Maybe (TypeDefinition OBJECT s)
- directiveDefinitions :: DirectivesDefinition s
}
data TypeKind
- = KIND_SCALAR
- | KIND_ENUM
- | KIND_OBJECT (Maybe OperationType)
- | KIND_INPUT_OBJECT
- | KIND_UNION
- | KIND_INPUT_UNION
- | KIND_LIST
- | KIND_NON_NULL
- | KIND_INTERFACE
data TypeWrapper
- = TypeList !TypeWrapper !Bool
- | BaseType !Bool
data TypeRef = TypeRef {
- typeConName :: TypeName
- typeWrappers :: TypeWrapper
}
data DataEnumValue s = DataEnumValue {
- enumDescription :: Maybe Description
- enumName :: TypeName
- enumDirectives :: Directives s
}
data OperationType
- = OPERATION_QUERY
- | OPERATION_SUBSCRIPTION
- | OPERATION_MUTATION
type QUERY = 'OPERATION_QUERY
type MUTATION = 'OPERATION_MUTATION
type SUBSCRIPTION = 'OPERATION_SUBSCRIPTION
data Directive (s :: Stage) = Directive {
- directivePosition :: Position
- directiveName :: FieldName
- directiveArgs :: Arguments s
}
data TypeCategory
- = IN
- | OUT
- | LEAF
data VariableContent (stage :: Stage) where
- DefaultValue :: Maybe ResolvedValue -> VariableContent CONST
- ValidVariableValue :: {..} -> VariableContent VALID
type TypeDefinitions s = SafeHashMap TypeName (TypeDefinition ANY s)
initTypeLib :: TypeDefinition OBJECT s -> Schema s
kindOf :: TypeDefinition a s -> TypeKind
toNullable :: Nullable a => a -> a
isNullable :: Nullable a => a -> Bool
class Subtyping t where
- isSubtype :: t -> t -> Bool
isNotSystemTypeName :: TypeName -> Bool
isLeaf :: TypeContent TRUE a s -> Bool
isResolverType :: Strictness t => t -> Bool
mkEnumContent :: LEAF <=! a => [TypeName] -> TypeContent TRUE a s
createScalarType :: LEAF <=! a => TypeName -> TypeDefinition a s
mkUnionContent :: [TypeName] -> TypeContent TRUE OUT s
mkTypeRef :: TypeName -> TypeRef
mkInputUnionFields :: Foldable t => t (UnionMember IN s) -> FieldsDefinition IN s
fieldVisibility :: FieldDefinition cat s -> Bool
lookupDeprecated :: Directives s -> Maybe (Directive s)
lookupDeprecatedReason :: Directive s -> Maybe Description
lookupWith :: Eq k => (a -> k) -> k -> [a] -> Maybe a
data ExecutableDocument = ExecutableDocument {
- inputVariables :: Variables
- operation :: Operation RAW
- fragments :: Fragments RAW
}
type Variables = SafeHashMap FieldName ResolvedValue
unsafeFromFields :: [FieldDefinition cat s] -> FieldsDefinition cat s
data OrdMap k a
data GQLError
type GQLErrors = NonEmpty GQLError
data ObjectEntry (s :: Stage) = ObjectEntry {
- entryName :: FieldName
- entryValue :: Value s
}
data UnionTag = UnionTag {
- unionTagName :: TypeName
- unionTagSelection :: SelectionSet VALID
}
type ANY = 'ANY
type IN = 'IN
type OUT = 'OUT
type OBJECT = 'OBJECT
type IMPLEMENTABLE = 'IMPLEMENTABLE
fromAny :: FromCategory a ANY k => a ANY (s :: Stage) -> Maybe (a k s)
toAny :: ToCategory a k ANY => a (k :: TypeCategory) (s :: Stage) -> a ANY s
type TRUE = 'True
type FALSE = 'False
type TypeName = Name 'TYPE
type Token = Text
class Msg a where
- msg :: a -> GQLError
intercalate :: Name t1 -> [Name t2] -> Name t3
fieldsToArguments :: FieldsDefinition IN s -> ArgumentsDefinition s
type Directives s = OrdMap FieldName (Directive s)
type DirectivesDefinition s = SafeHashMap FieldName (DirectiveDefinition s)
data DirectiveDefinition s = DirectiveDefinition {
- directiveDefinitionName :: FieldName
- directiveDefinitionDescription :: Maybe Description
- directiveDefinitionArgs :: ArgumentsDefinition s
- directiveDefinitionLocations :: [DirectiveLocation]
}
data DirectiveLocation
- = LOCATION_QUERY
- | LOCATION_MUTATION
- | LOCATION_SUBSCRIPTION
- | LOCATION_FIELD
- | LOCATION_FRAGMENT_DEFINITION
- | LOCATION_FRAGMENT_SPREAD
- | LOCATION_INLINE_FRAGMENT
- | LOCATION_SCHEMA
- | LOCATION_SCALAR
- | LOCATION_OBJECT
- | LOCATION_FIELD_DEFINITION
- | LOCATION_ARGUMENT_DEFINITION
- | LOCATION_INTERFACE
- | LOCATION_UNION
- | LOCATION_ENUM
- | LOCATION_ENUM_VALUE
- | LOCATION_INPUT_OBJECT
- | LOCATION_INPUT_FIELD_DEFINITION
data FieldContent (bool :: Bool) (cat :: TypeCategory) (s :: Stage) where
- DefaultInputValue :: {..} -> FieldContent (IN <=? cat) cat s
- FieldArgs :: {..} -> FieldContent (OUT <=? cat) cat s
fieldArguments :: FieldDefinition c s -> ArgumentsDefinition s
mkType :: TypeName -> TypeContent TRUE a s -> TypeDefinition a s
mkObjectField :: ArgumentsDefinition s -> FieldName -> TypeWrapper -> TypeName -> FieldDefinition OUT s
data UnionMember (cat :: TypeCategory) (s :: Stage) = UnionMember {
- memberName :: TypeName
- nullary :: Bool
}
mkUnionMember :: TypeName -> UnionMember cat s
mkNullaryMember :: TypeName -> UnionMember cat s
data RawTypeDefinition
- = RawSchemaDefinition SchemaDefinition
- | RawTypeDefinition (TypeDefinition ANY CONST)
- | RawDirectiveDefinition (DirectiveDefinition CONST)
data RootOperationTypeDefinition = RootOperationTypeDefinition {
- rootOperationType :: OperationType
- rootOperationTypeDefinitionName :: TypeName
}
type UnionSelection (s :: Stage) = MergeMap (ALLOW_DUPLICATES s) TypeName UnionTag
data SchemaDefinition = SchemaDefinition {
- schemaDirectives :: Directives CONST
- unSchemaDefinition :: OrdMap OperationType RootOperationTypeDefinition
}
buildSchema :: (Monad m, MonadError GQLError m) => (Maybe SchemaDefinition, [TypeDefinition ANY s], DirectivesDefinition s) -> m (Schema s)
getOperationDataType :: MonadError GQLError m => Operation s -> Schema VALID -> m (TypeDefinition OBJECT VALID)
newtype Typed (cat :: TypeCategory) (s :: Stage) a = Typed a
typed :: (a c s -> b) -> a c s -> Typed c s b
untyped :: (a -> b) -> Typed c s a -> b
type LEAF = 'LEAF
type INPUT_OBJECT = 'INPUT_OBJECT
class ToCategory a (k :: TypeCategory) (k' :: TypeCategory) where
- toCategory :: a k (s :: Stage) -> a k' s
class FromCategory a (k :: TypeCategory) (k' :: TypeCategory) where
- fromCategory :: a k (s :: Stage) -> Maybe (a k' s)
possibleTypes :: TypeDefinition a s -> Schema s' -> [TypeName]
possibleInterfaceTypes :: TypeName -> Schema s -> [TypeDefinition ANY s]
mkField :: Maybe (FieldContent TRUE cat s) -> FieldName -> TypeRef -> FieldDefinition cat s
defineSchemaWith :: (Monad f, MonadError GQLError f) => [TypeDefinition cat s] -> (Maybe (TypeDefinition OBJECT s), Maybe (TypeDefinition OBJECT s), Maybe (TypeDefinition OBJECT s)) -> f (Schema s)
type (<=!) (a :: TypeCategory) (b :: TypeCategory) = (a <=? b) ~ TRUE
type family ToOBJECT (s :: TypeCategory) :: TypeCategory where ...
constraintInputUnion :: forall stage schemaStage. UnionTypeDefinition IN schemaStage -> Object stage -> Either GQLError (UnionMember IN schemaStage, Value stage)
getInputUnionValue :: forall stage. Object stage -> Either GQLError (TypeName, Value stage)
unitFieldName :: FieldName
unitTypeName :: TypeName
mkBaseType :: TypeWrapper
mkMaybeType :: TypeWrapper
isPossibleInterfaceType :: TypeName -> TypeDefinition c s -> Maybe (TypeDefinition c s)
packName :: NamePacking a => a -> Name t
unpackName :: NamePacking a => Name t -> a
at :: GQLError -> Position -> GQLError
atPositions :: Foldable t => GQLError -> t Position -> GQLError
typeDefinitions :: Schema s -> HashMap TypeName (TypeDefinition ANY s)
type FragmentName = Name 'FRAGMENT
isInternal :: GQLError -> Bool
internal :: GQLError -> GQLError
isCustom :: GQLError -> Bool
custom :: GQLError -> Text -> GQLError
getCustomErrorType :: GQLError -> Maybe Text
splitSystemSelection :: SelectionSet s -> (Maybe (SelectionSet s), Maybe (SelectionSet s))
lookupDataType :: TypeName -> Schema s -> Maybe (TypeDefinition ANY s)
data Name (t :: NAME)
withPath :: GQLError -> [PropName] -> GQLError
withExtensions :: GQLError -> Map Text Value -> GQLError
data PropName
- = PropIndex Int
- | PropName Text
defineDirective :: (Monad m, MonadError GQLError m) => Schema s -> DirectiveDefinition s -> m (Schema s)

Documentation

data Ref name Source #

Document Reference with its Position

Position is used only for error messages. that means:

Ref "a" 1 === Ref "a" 3

Constructors

Ref
Fields refName :: name refPosition :: Position

Instances

Instances details

(Eq name, Hashable name) => KeyOf name (Ref name) Source #
Instance details Defined in Data.Morpheus.Ext.KeyOf Methods keyOf :: Ref name -> name Source #
Show name => Show (Ref name) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> Ref name -> ShowS # show :: Ref name -> String # showList :: [Ref name] -> ShowS #
Eq name => Eq (Ref name) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: Ref name -> Ref name -> Bool # (/=) :: Ref name -> Ref name -> Bool #
Ord name => Ord (Ref name) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods compare :: Ref name -> Ref name -> Ordering # (<) :: Ref name -> Ref name -> Bool # (<=) :: Ref name -> Ref name -> Bool # (>) :: Ref name -> Ref name -> Bool # (>=) :: Ref name -> Ref name -> Bool # max :: Ref name -> Ref name -> Ref name # min :: Ref name -> Ref name -> Ref name #
(Monad m, MonadError GQLError m) => Merge (HistoryT m) UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods merge :: UnionTag -> UnionTag -> HistoryT m UnionTag Source #
(Monad m, MonadError GQLError m, Merge (HistoryT m) (SelectionSet s)) => Merge (HistoryT m) (Selection s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods merge :: Selection s -> Selection s -> HistoryT m (Selection s) Source #
(Monad m, MonadError GQLError m, Merge (HistoryT m) (SelectionSet s)) => Merge (HistoryT m) (SelectionContent s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods merge :: SelectionContent s -> SelectionContent s -> HistoryT m (SelectionContent s) Source #
Lift name => Lift (Ref name :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: Quote m => Ref name -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Ref name -> Code m (Ref name) #

data Position Source #

Constructors

Position
Fields line :: Int column :: Int

Instances

Instances details

FromJSON Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods parseJSON :: Value -> Parser Position # parseJSONList :: Value -> Parser [Position] #
ToJSON Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods toJSON :: Position -> Value # toEncoding :: Position -> Encoding # toJSONList :: [Position] -> Value # toEncodingList :: [Position] -> Encoding #
Generic Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Associated Types type Rep Position :: Type -> Type # Methods from :: Position -> Rep Position x # to :: Rep Position x -> Position #
Show Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
Eq Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Ord Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods compare :: Position -> Position -> Ordering # (<) :: Position -> Position -> Bool # (<=) :: Position -> Position -> Bool # (>) :: Position -> Position -> Bool # (>=) :: Position -> Position -> Bool # max :: Position -> Position -> Position # min :: Position -> Position -> Position #
Hashable Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods hashWithSalt :: Int -> Position -> Int # hash :: Position -> Int #
Lift Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: Quote m => Position -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Position -> Code m Position #
type Rep Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base type Rep Position = D1 ('MetaData "Position" "Data.Morpheus.Types.Internal.AST.Base" "morpheus-graphql-core-0.27.3-7plQmdT9PxpJTKqPgX8pDL" 'False) (C1 ('MetaCons "Position" 'PrefixI 'True) (S1 ('MetaSel ('Just "line") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "column") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

type Message = Text Source #

type FieldName = Name 'FIELD Source #

type Description = Text Source #

data Stage Source #

type CONST = 'CONST Source #

type VALID = 'VALID Source #

type RAW = 'RAW Source #

data Value (stage :: Stage) where Source #

Constructors

ResolvedVariable :: Ref FieldName -> Variable VALID -> Value CONST
VariableValue :: Ref FieldName -> Value RAW
Object :: Object stage -> Value stage
List :: [Value stage] -> Value stage
Enum :: TypeName -> Value stage
Scalar :: ScalarValue -> Value stage
Null :: Value stage

Instances

Instances details

Lift (Value a :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: Quote m => Value a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Value a -> Code m (Value a) #
FromJSON (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods parseJSON :: Value0 -> Parser (Value a) # parseJSONList :: Value0 -> Parser [Value a] #
ToJSON (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods toJSON :: Value a -> Value0 # toEncoding :: Value a -> Encoding # toJSONList :: [Value a] -> Value0 # toEncodingList :: [Value a] -> Encoding #
IsString (Value stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods fromString :: String -> Value stage #
Show (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods showsPrec :: Int -> Value a -> ShowS # show :: Value a -> String # showList :: [Value a] -> ShowS #
Eq (Value s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods (==) :: Value s -> Value s -> Bool # (/=) :: Value s -> Value s -> Bool #
Hashable (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods hashWithSalt :: Int -> Value a -> Int # hash :: Value a -> Int #
RenderGQL (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods renderGQL :: Value a -> Rendering Source #
Msg (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods msg :: Value a -> GQLError Source #

data ScalarValue Source #

Primitive Values for GQLScalar: ScalarValue, ScalarValue, ScalarValue, Boolean. for performance reason type Text represents GraphQl ScalarValue value

Constructors

Int Int
Float Double
String Text
Boolean Bool
Value Value

Instances

Instances details

FromJSON ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods parseJSON :: Value -> Parser ScalarValue # parseJSONList :: Value -> Parser [ScalarValue] #
ToJSON ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods toJSON :: ScalarValue -> Value # toEncoding :: ScalarValue -> Encoding # toJSONList :: [ScalarValue] -> Value # toEncodingList :: [ScalarValue] -> Encoding #
IsString ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods fromString :: String -> ScalarValue #
Generic ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Associated Types type Rep ScalarValue :: Type -> Type # Methods from :: ScalarValue -> Rep ScalarValue x # to :: Rep ScalarValue x -> ScalarValue #
Show ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods showsPrec :: Int -> ScalarValue -> ShowS # show :: ScalarValue -> String # showList :: [ScalarValue] -> ShowS #
Eq ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods (==) :: ScalarValue -> ScalarValue -> Bool # (/=) :: ScalarValue -> ScalarValue -> Bool #
RenderGQL ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods renderGQL :: ScalarValue -> Rendering Source #
Lift ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: Quote m => ScalarValue -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ScalarValue -> Code m ScalarValue #
type Rep ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value type Rep ScalarValue = D1 ('MetaData "ScalarValue" "Data.Morpheus.Types.Internal.AST.Value" "morpheus-graphql-core-0.27.3-7plQmdT9PxpJTKqPgX8pDL" 'False) ((C1 ('MetaCons "Int" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "Float" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))) :+: (C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "Boolean" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "Value" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))))

type Object a = OrdMap FieldName (ObjectEntry a) Source #

replaceValue :: Value -> Value a Source #

decodeScientific :: Scientific -> ScalarValue Source #

type RawValue = Value RAW Source #

type ValidValue = Value VALID Source #

type RawObject = Object RAW Source #

type ValidObject = Object VALID Source #

type ResolvedObject = Object CONST Source #

type ResolvedValue = Value CONST Source #

data Argument (valid :: Stage) Source #

Constructors

Argument
Fields argumentPosition :: Position argumentName :: FieldName argumentValue :: Value valid

Instances

Instances details

NameCollision GQLError (Argument s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods nameCollision :: Argument s -> GQLError Source #
KeyOf FieldName (Argument stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: Argument stage -> FieldName Source #
Generic (Argument valid) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Associated Types type Rep (Argument valid) :: Type -> Type # Methods from :: Argument valid -> Rep (Argument valid) x # to :: Rep (Argument valid) x -> Argument valid #
Show (Argument valid) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods showsPrec :: Int -> Argument valid -> ShowS # show :: Argument valid -> String # showList :: [Argument valid] -> ShowS #
Eq (Argument valid) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods (==) :: Argument valid -> Argument valid -> Bool # (/=) :: Argument valid -> Argument valid -> Bool #
Hashable (Argument valid) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods hashWithSalt :: Int -> Argument valid -> Int # hash :: Argument valid -> Int #
RenderGQL (Argument s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: Argument s -> Rendering Source #
Lift (Argument valid :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: Quote m => Argument valid -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Argument valid -> Code m (Argument valid) #
type Rep (Argument valid) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields type Rep (Argument valid) = D1 ('MetaData "Argument" "Data.Morpheus.Types.Internal.AST.Fields" "morpheus-graphql-core-0.27.3-7plQmdT9PxpJTKqPgX8pDL" 'False) (C1 ('MetaCons "Argument" 'PrefixI 'True) (S1 ('MetaSel ('Just "argumentPosition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :: (S1 ('MetaSel ('Just "argumentName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FieldName) :: S1 ('MetaSel ('Just "argumentValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Value valid)))))

type Arguments (s :: Stage) = OrdMap FieldName (Argument s) Source #

type SelectionSet (s :: Stage) = MergeMap (ALLOW_DUPLICATES s) FieldName (Selection s) Source #

data SelectionContent (s :: Stage) where Source #

Constructors

SelectionField :: SelectionContent s
SelectionSet :: SelectionSet s -> SelectionContent s
UnionSelection
Fields :: { defaultSelection :: Maybe (SelectionSet VALID) , conditionalSelections :: UnionSelection VALID } -> SelectionContent VALID

Instances

Instances details

Lift (SelectionContent a :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: Quote m => SelectionContent a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SelectionContent a -> Code m (SelectionContent a) #
Show (SelectionContent a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods showsPrec :: Int -> SelectionContent a -> ShowS # show :: SelectionContent a -> String # showList :: [SelectionContent a] -> ShowS #
Eq (SelectionContent a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods (==) :: SelectionContent a -> SelectionContent a -> Bool # (/=) :: SelectionContent a -> SelectionContent a -> Bool #
Hashable (SelectionContent s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods hashWithSalt :: Int -> SelectionContent s -> Int # hash :: SelectionContent s -> Int #
RenderGQL (SelectionContent VALID) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods renderGQL :: SelectionContent VALID -> Rendering Source #
(Monad m, MonadError GQLError m, Merge (HistoryT m) (SelectionSet s)) => Merge (HistoryT m) (SelectionContent s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods merge :: SelectionContent s -> SelectionContent s -> HistoryT m (SelectionContent s) Source #

data Selection (s :: Stage) where Source #

Constructors

Selection
Fields :: { selectionPosition :: Position , selectionAlias :: Maybe FieldName , selectionName :: FieldName , selectionArguments :: Arguments s , selectionDirectives :: Directives s , selectionContent :: SelectionContent s , selectionOrigin :: Maybe FragmentName } -> Selection s
InlineFragment :: Fragment RAW -> Selection RAW
Spread :: Directives RAW -> Ref FragmentName -> Selection RAW

Instances

Instances details

KeyOf FieldName (Selection s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods keyOf :: Selection s -> FieldName Source #
Lift (Selection a :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: Quote m => Selection a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Selection a -> Code m (Selection a) #
Show (Selection a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods showsPrec :: Int -> Selection a -> ShowS # show :: Selection a -> String # showList :: [Selection a] -> ShowS #
Eq (Selection a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods (==) :: Selection a -> Selection a -> Bool # (/=) :: Selection a -> Selection a -> Bool #
Hashable (Selection s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods hashWithSalt :: Int -> Selection s -> Int # hash :: Selection s -> Int #
RenderGQL (Selection VALID) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods renderGQL :: Selection VALID -> Rendering Source #
SelectionTree (Selection VALID) Source #
Instance details Defined in Data.Morpheus.Types.SelectionTree Associated Types type ChildNode (Selection VALID) Source # Methods isLeaf :: Selection VALID -> Bool Source # getName :: IsString name => Selection VALID -> name Source # getChildrenList :: Selection VALID -> [ChildNode (Selection VALID)] Source # getChildren :: Selection VALID -> [ChildNode (Selection VALID)] Source # getChild :: ToString name => name -> Selection VALID -> Maybe (ChildNode (Selection VALID)) Source # hasChild :: ToString name => name -> Selection VALID -> Bool Source # getArguments :: IsString name => Selection VALID -> [(name, Value)] Source # getArgument :: ToString name => name -> Selection VALID -> Maybe Value Source #
(Monad m, MonadError GQLError m, Merge (HistoryT m) (SelectionSet s)) => Merge (HistoryT m) (Selection s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods merge :: Selection s -> Selection s -> HistoryT m (Selection s) Source #
type ChildNode (Selection VALID) Source #
Instance details Defined in Data.Morpheus.Types.SelectionTree type ChildNode (Selection VALID) = Selection VALID

type Fragments (s :: Stage) = OrdMap FragmentName (Fragment s) Source #

data Fragment (stage :: Stage) Source #

Constructors

Fragment
Fields fragmentName :: FragmentName fragmentType :: TypeName fragmentPosition :: Position fragmentSelection :: SelectionSet stage fragmentDirectives :: Directives stage

Instances

Instances details

NameCollision GQLError (Fragment s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods nameCollision :: Fragment s -> GQLError Source #
KeyOf FragmentName (Fragment s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods keyOf :: Fragment s -> FragmentName Source #
Generic (Fragment stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Associated Types type Rep (Fragment stage) :: Type -> Type # Methods from :: Fragment stage -> Rep (Fragment stage) x # to :: Rep (Fragment stage) x -> Fragment stage #
Show (Fragment stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods showsPrec :: Int -> Fragment stage -> ShowS # show :: Fragment stage -> String # showList :: [Fragment stage] -> ShowS #
Eq (Fragment stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods (==) :: Fragment stage -> Fragment stage -> Bool # (/=) :: Fragment stage -> Fragment stage -> Bool #
Hashable (Fragment stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods hashWithSalt :: Int -> Fragment stage -> Int # hash :: Fragment stage -> Int #
Lift (Fragment stage :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: Quote m => Fragment stage -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Fragment stage -> Code m (Fragment stage) #
type Rep (Fragment stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection type Rep (Fragment stage) = D1 ('MetaData "Fragment" "Data.Morpheus.Types.Internal.AST.Selection" "morpheus-graphql-core-0.27.3-7plQmdT9PxpJTKqPgX8pDL" 'False) (C1 ('MetaCons "Fragment" 'PrefixI 'True) ((S1 ('MetaSel ('Just "fragmentName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FragmentName) :: S1 ('MetaSel ('Just "fragmentType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeName)) :: (S1 ('MetaSel ('Just "fragmentPosition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :: (S1 ('MetaSel ('Just "fragmentSelection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SelectionSet stage)) :: S1 ('MetaSel ('Just "fragmentDirectives") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Directives stage))))))

data Operation (s :: Stage) Source #

Constructors

Operation
Fields operationPosition :: Position operationType :: OperationType operationName :: Maybe FieldName operationArguments :: VariableDefinitions s operationDirectives :: Directives s operationSelection :: SelectionSet s

Instances

Instances details

Show (Operation s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods showsPrec :: Int -> Operation s -> ShowS # show :: Operation s -> String # showList :: [Operation s] -> ShowS #
RenderGQL (Operation VALID) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods renderGQL :: Operation VALID -> Rendering Source #
SelectionTree (Operation VALID) Source #
Instance details Defined in Data.Morpheus.Types.SelectionTree Associated Types type ChildNode (Operation VALID) Source # Methods isLeaf :: Operation VALID -> Bool Source # getName :: IsString name => Operation VALID -> name Source # getChildrenList :: Operation VALID -> [ChildNode (Operation VALID)] Source # getChildren :: Operation VALID -> [ChildNode (Operation VALID)] Source # getChild :: ToString name => name -> Operation VALID -> Maybe (ChildNode (Operation VALID)) Source # hasChild :: ToString name => name -> Operation VALID -> Bool Source # getArguments :: IsString name => Operation VALID -> [(name, Value)] Source # getArgument :: ToString name => name -> Operation VALID -> Maybe Value Source #
Lift (Operation s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: Quote m => Operation s -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Operation s -> Code m (Operation s) #
type ChildNode (Operation VALID) Source #
Instance details Defined in Data.Morpheus.Types.SelectionTree type ChildNode (Operation VALID) = Selection VALID

data Variable (stage :: Stage) Source #

Constructors

Variable
Fields variablePosition :: Position variableName :: FieldName variableType :: TypeRef variableValue :: VariableContent (CONST_OR_VALID stage)

Instances

Instances details

NameCollision GQLError (Variable s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods nameCollision :: Variable s -> GQLError Source #
KeyOf FieldName (Variable s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods keyOf :: Variable s -> FieldName Source #
Show (Variable stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods showsPrec :: Int -> Variable stage -> ShowS # show :: Variable stage -> String # showList :: [Variable stage] -> ShowS #
Eq (Variable stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods (==) :: Variable stage -> Variable stage -> Bool # (/=) :: Variable stage -> Variable stage -> Bool #
Lift (Variable stage :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: Quote m => Variable stage -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Variable stage -> Code m (Variable stage) #

type VariableDefinitions s = OrdMap FieldName (Variable s) Source #

type DefaultValue = Maybe ResolvedValue Source #

getOperationName :: Maybe FieldName -> TypeName Source #

newtype ScalarDefinition Source #

Constructors

ScalarDefinition
Fields validateValue :: Value VALID -> Either Token (Value VALID)

Instances

Instances details

Show ScalarDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> ScalarDefinition -> ShowS # show :: ScalarDefinition -> String # showList :: [ScalarDefinition] -> ShowS #
Eq ScalarDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods (==) :: ScalarDefinition -> ScalarDefinition -> Bool # (/=) :: ScalarDefinition -> ScalarDefinition -> Bool #
Lift ScalarDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: Quote m => ScalarDefinition -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ScalarDefinition -> Code m ScalarDefinition #

type DataEnum s = [DataEnumValue s] Source #

type FieldsDefinition cat s = OrdMap FieldName (FieldDefinition cat s) Source #

newtype ArgumentDefinition s Source #

Constructors

ArgumentDefinition
Fields argument :: FieldDefinition IN s

Instances

Instances details

NameCollision GQLError (ArgumentDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods nameCollision :: ArgumentDefinition s -> GQLError Source #
KeyOf FieldName (ArgumentDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: ArgumentDefinition s -> FieldName Source #
Show (ArgumentDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods showsPrec :: Int -> ArgumentDefinition s -> ShowS # show :: ArgumentDefinition s -> String # showList :: [ArgumentDefinition s] -> ShowS #
Eq (ArgumentDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods (==) :: ArgumentDefinition s -> ArgumentDefinition s -> Bool # (/=) :: ArgumentDefinition s -> ArgumentDefinition s -> Bool #
RenderGQL (ArgumentDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: ArgumentDefinition s -> Rendering Source #
RenderGQL (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: ArgumentsDefinition s -> Rendering Source #
Lift (ArgumentDefinition s :: TYPE LiftedRep) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: Quote m => ArgumentDefinition s -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ArgumentDefinition s -> Code m (ArgumentDefinition s) #

type UnionTypeDefinition k s = OrdMap TypeName (UnionMember k s) Source #

type ArgumentsDefinition s = OrdMap FieldName (ArgumentDefinition s) Source #

data FieldDefinition (cat :: TypeCategory) (s :: Stage) Source #

Constructors

FieldDefinition
Fields fieldDescription :: Maybe Description fieldName :: FieldName fieldType :: TypeRef fieldContent :: Maybe (FieldContent TRUE cat s) fieldDirectives :: Directives s

Instances

Instances details

ToCategory FieldDefinition a ANY Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods toCategory :: forall (s :: Stage). FieldDefinition a s -> FieldDefinition ANY s Source #
NameCollision GQLError (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods nameCollision :: FieldDefinition cat s -> GQLError Source #
KeyOf FieldName (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: FieldDefinition cat s -> FieldName Source #
Lift (FieldDefinition cat s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: Quote m => FieldDefinition cat s -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => FieldDefinition cat s -> Code m (FieldDefinition cat s) #
Show (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods showsPrec :: Int -> FieldDefinition cat s -> ShowS # show :: FieldDefinition cat s -> String # showList :: [FieldDefinition cat s] -> ShowS #
Eq (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods (==) :: FieldDefinition cat s -> FieldDefinition cat s -> Bool # (/=) :: FieldDefinition cat s -> FieldDefinition cat s -> Bool #
RenderGQL (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: FieldDefinition cat s -> Rendering Source #
RenderGQL (FieldsDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: FieldsDefinition cat s -> Rendering Source #

type InputFieldsDefinition s = OrdMap FieldName (InputValueDefinition s) Source #

data TypeContent (b :: Bool) (a :: TypeCategory) (s :: Stage) where Source #

Constructors

DataScalar
Fields :: { dataScalar :: ScalarDefinition } -> CondTypeContent LEAF a s
DataEnum
Fields :: { enumMembers :: DataEnum s } -> CondTypeContent LEAF a s
DataInputObject
Fields :: { inputObjectFields :: FieldsDefinition IN s } -> CondTypeContent INPUT_OBJECT a s
DataInputUnion
Fields :: { inputUnionMembers :: UnionTypeDefinition IN s } -> CondTypeContent IN a s
DataObject
Fields :: { objectImplements :: [TypeName] , objectFields :: FieldsDefinition OUT s } -> CondTypeContent OBJECT a s
DataUnion
Fields :: { unionMembers :: UnionTypeDefinition OUT s } -> CondTypeContent OUT a s
DataInterface
Fields :: { interfaceFields :: FieldsDefinition OUT s } -> CondTypeContent IMPLEMENTABLE a s

Instances

Instances details

Lift (TypeContent a b s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: Quote m => TypeContent a b s -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => TypeContent a b s -> Code m (TypeContent a b s) #
FromCategory (TypeContent TRUE) ANY IMPLEMENTABLE Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: forall (s :: Stage). TypeContent TRUE ANY s -> Maybe (TypeContent TRUE IMPLEMENTABLE s) Source #
FromCategory (TypeContent TRUE) ANY IN Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: forall (s :: Stage). TypeContent TRUE ANY s -> Maybe (TypeContent TRUE IN s) Source #
FromCategory (TypeContent TRUE) ANY OBJECT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: forall (s :: Stage). TypeContent TRUE ANY s -> Maybe (TypeContent TRUE OBJECT s) Source #
FromCategory (TypeContent TRUE) ANY OUT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: forall (s :: Stage). TypeContent TRUE ANY s -> Maybe (TypeContent TRUE OUT s) Source #
ToCategory (TypeContent TRUE) INPUT_OBJECT IN Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toCategory :: forall (s :: Stage). TypeContent TRUE INPUT_OBJECT s -> TypeContent TRUE IN s Source #
ToCategory (TypeContent TRUE) OBJECT IMPLEMENTABLE Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toCategory :: forall (s :: Stage). TypeContent TRUE OBJECT s -> TypeContent TRUE IMPLEMENTABLE s Source #
ToCategory (TypeContent TRUE) a ANY Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toCategory :: forall (s :: Stage). TypeContent TRUE a s -> TypeContent TRUE ANY s Source #
Show (TypeContent a b s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> TypeContent a b s -> ShowS # show :: TypeContent a b s -> String # showList :: [TypeContent a b s] -> ShowS #
Eq (TypeContent a b s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods (==) :: TypeContent a b s -> TypeContent a b s -> Bool # (/=) :: TypeContent a b s -> TypeContent a b s -> Bool #

data TypeDefinition (a :: TypeCategory) (s :: Stage) Source #

Constructors

TypeDefinition
Fields typeDescription :: Maybe Description typeName :: TypeName typeDirectives :: Directives s typeContent :: TypeContent TRUE a s

Instances

Instances details

FromCategory (TypeContent TRUE) cat cat' => FromCategory TypeDefinition cat cat' Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: forall (s :: Stage). TypeDefinition cat s -> Maybe (TypeDefinition cat' s) Source #
ToCategory (TypeContent TRUE) cat cat' => ToCategory TypeDefinition cat cat' Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toCategory :: forall (s :: Stage). TypeDefinition cat s -> TypeDefinition cat' s Source #
NameCollision GQLError (TypeDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods nameCollision :: TypeDefinition cat s -> GQLError Source #
KeyOf TypeName (TypeDefinition a s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods keyOf :: TypeDefinition a s -> TypeName Source #
Lift (TypeDefinition a s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: Quote m => TypeDefinition a s -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => TypeDefinition a s -> Code m (TypeDefinition a s) #
Show (TypeDefinition a s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> TypeDefinition a s -> ShowS # show :: TypeDefinition a s -> String # showList :: [TypeDefinition a s] -> ShowS #
Eq (TypeDefinition a s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods (==) :: TypeDefinition a s -> TypeDefinition a s -> Bool # (/=) :: TypeDefinition a s -> TypeDefinition a s -> Bool #
Ord (TypeDefinition k s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods compare :: TypeDefinition k s -> TypeDefinition k s -> Ordering # (<) :: TypeDefinition k s -> TypeDefinition k s -> Bool # (<=) :: TypeDefinition k s -> TypeDefinition k s -> Bool # (>) :: TypeDefinition k s -> TypeDefinition k s -> Bool # (>=) :: TypeDefinition k s -> TypeDefinition k s -> Bool # max :: TypeDefinition k s -> TypeDefinition k s -> TypeDefinition k s # min :: TypeDefinition k s -> TypeDefinition k s -> TypeDefinition k s #
RenderGQL (TypeDefinition a s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: TypeDefinition a s -> Rendering Source #

data Schema (s :: Stage) Source #

Constructors

Schema
Fields types :: TypeDefinitions s query :: TypeDefinition OBJECT s mutation :: Maybe (TypeDefinition OBJECT s) subscription :: Maybe (TypeDefinition OBJECT s) directiveDefinitions :: DirectivesDefinition s

Instances

Instances details

(Monad m, MonadError GQLError m) => Merge m (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods merge :: Schema s -> Schema s -> m (Schema s) Source #
Show (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> Schema s -> ShowS # show :: Schema s -> String # showList :: [Schema s] -> ShowS #
RenderGQL (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: Schema s -> Rendering Source #
Lift (Schema s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: Quote m => Schema s -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Schema s -> Code m (Schema s) #

data TypeKind Source #

Constructors

KIND_SCALAR
KIND_ENUM
KIND_OBJECT (Maybe OperationType)
KIND_INPUT_OBJECT
KIND_UNION
KIND_INPUT_UNION
KIND_LIST
KIND_NON_NULL
KIND_INTERFACE

Instances

Instances details

Show TypeKind Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods showsPrec :: Int -> TypeKind -> ShowS # show :: TypeKind -> String # showList :: [TypeKind] -> ShowS #
Eq TypeKind Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods (==) :: TypeKind -> TypeKind -> Bool # (/=) :: TypeKind -> TypeKind -> Bool #
RenderGQL TypeKind Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods renderGQL :: TypeKind -> Rendering Source #
Lift TypeKind Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods lift :: Quote m => TypeKind -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => TypeKind -> Code m TypeKind #

data TypeWrapper Source #

Constructors

TypeList !TypeWrapper !Bool
BaseType !Bool

Instances

Instances details

Show TypeWrapper Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods showsPrec :: Int -> TypeWrapper -> ShowS # show :: TypeWrapper -> String # showList :: [TypeWrapper] -> ShowS #
Eq TypeWrapper Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods (==) :: TypeWrapper -> TypeWrapper -> Bool # (/=) :: TypeWrapper -> TypeWrapper -> Bool #
Subtyping TypeWrapper Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods isSubtype :: TypeWrapper -> TypeWrapper -> Bool Source #
Lift TypeWrapper Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods lift :: Quote m => TypeWrapper -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => TypeWrapper -> Code m TypeWrapper #

data TypeRef Source #

Constructors

TypeRef
Fields typeConName :: TypeName typeWrappers :: TypeWrapper

Instances

Instances details

Show TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods showsPrec :: Int -> TypeRef -> ShowS # show :: TypeRef -> String # showList :: [TypeRef] -> ShowS #
Eq TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods (==) :: TypeRef -> TypeRef -> Bool # (/=) :: TypeRef -> TypeRef -> Bool #
RenderGQL TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods renderGQL :: TypeRef -> Rendering Source #
Msg TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods msg :: TypeRef -> GQLError Source #
Subtyping TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods isSubtype :: TypeRef -> TypeRef -> Bool Source #
Lift TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods lift :: Quote m => TypeRef -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => TypeRef -> Code m TypeRef #

data DataEnumValue s Source #

Constructors

DataEnumValue
Fields enumDescription :: Maybe Description enumName :: TypeName enumDirectives :: Directives s

Instances

Instances details

Show (DataEnumValue s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> DataEnumValue s -> ShowS # show :: DataEnumValue s -> String # showList :: [DataEnumValue s] -> ShowS #
Eq (DataEnumValue s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods (==) :: DataEnumValue s -> DataEnumValue s -> Bool # (/=) :: DataEnumValue s -> DataEnumValue s -> Bool #
RenderGQL (DataEnumValue s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: DataEnumValue s -> Rendering Source #
Lift (DataEnumValue s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: Quote m => DataEnumValue s -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => DataEnumValue s -> Code m (DataEnumValue s) #

data OperationType Source #

Constructors

OPERATION_QUERY
OPERATION_SUBSCRIPTION
OPERATION_MUTATION

Instances

Instances details

Generic OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OperationType Associated Types type Rep OperationType :: Type -> Type # Methods from :: OperationType -> Rep OperationType x # to :: Rep OperationType x -> OperationType #
Show OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OperationType Methods showsPrec :: Int -> OperationType -> ShowS # show :: OperationType -> String # showList :: [OperationType] -> ShowS #
Eq OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OperationType Methods (==) :: OperationType -> OperationType -> Bool # (/=) :: OperationType -> OperationType -> Bool #
Hashable OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OperationType Methods hashWithSalt :: Int -> OperationType -> Int # hash :: OperationType -> Int #
RenderGQL OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OperationType Methods renderGQL :: OperationType -> Rendering Source #
Msg OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OperationType Methods msg :: OperationType -> GQLError Source #
KeyOf OperationType RootOperationTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods keyOf :: RootOperationTypeDefinition -> OperationType Source #
Lift OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OperationType Methods lift :: Quote m => OperationType -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => OperationType -> Code m OperationType #
type Rep OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OperationType type Rep OperationType = D1 ('MetaData "OperationType" "Data.Morpheus.Types.Internal.AST.OperationType" "morpheus-graphql-core-0.27.3-7plQmdT9PxpJTKqPgX8pDL" 'False) (C1 ('MetaCons "OPERATION_QUERY" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OPERATION_SUBSCRIPTION" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OPERATION_MUTATION" 'PrefixI 'False) (U1 :: Type -> Type)))

type QUERY = 'OPERATION_QUERY Source #

type MUTATION = 'OPERATION_MUTATION Source #

type SUBSCRIPTION = 'OPERATION_SUBSCRIPTION Source #

data Directive (s :: Stage) Source #

Constructors

Directive
Fields directivePosition :: Position directiveName :: FieldName directiveArgs :: Arguments s

Instances

Instances details

NameCollision GQLError (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods nameCollision :: Directive s -> GQLError Source #
KeyOf FieldName (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: Directive s -> FieldName Source #
Generic (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Associated Types type Rep (Directive s) :: Type -> Type # Methods from :: Directive s -> Rep (Directive s) x # to :: Rep (Directive s) x -> Directive s #
Show (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods showsPrec :: Int -> Directive s -> ShowS # show :: Directive s -> String # showList :: [Directive s] -> ShowS #
Eq (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods (==) :: Directive s -> Directive s -> Bool # (/=) :: Directive s -> Directive s -> Bool #
Hashable (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods hashWithSalt :: Int -> Directive s -> Int # hash :: Directive s -> Int #
RenderGQL (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: Directive s -> Rendering Source #
RenderGQL (Directives s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: Directives s -> Rendering Source #
Lift (Directive s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: Quote m => Directive s -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Directive s -> Code m (Directive s) #
type Rep (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields type Rep (Directive s) = D1 ('MetaData "Directive" "Data.Morpheus.Types.Internal.AST.Fields" "morpheus-graphql-core-0.27.3-7plQmdT9PxpJTKqPgX8pDL" 'False) (C1 ('MetaCons "Directive" 'PrefixI 'True) (S1 ('MetaSel ('Just "directivePosition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Position) :: (S1 ('MetaSel ('Just "directiveName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FieldName) :: S1 ('MetaSel ('Just "directiveArgs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Arguments s)))))

data TypeCategory Source #

Constructors

IN
OUT
LEAF

Instances

Instances details

Show TypeCategory Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory Methods showsPrec :: Int -> TypeCategory -> ShowS # show :: TypeCategory -> String # showList :: [TypeCategory] -> ShowS #
Eq TypeCategory Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory Methods (==) :: TypeCategory -> TypeCategory -> Bool # (/=) :: TypeCategory -> TypeCategory -> Bool #
Ord TypeCategory Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory Methods compare :: TypeCategory -> TypeCategory -> Ordering # (<) :: TypeCategory -> TypeCategory -> Bool # (<=) :: TypeCategory -> TypeCategory -> Bool # (>) :: TypeCategory -> TypeCategory -> Bool # (>=) :: TypeCategory -> TypeCategory -> Bool # max :: TypeCategory -> TypeCategory -> TypeCategory # min :: TypeCategory -> TypeCategory -> TypeCategory #

data VariableContent (stage :: Stage) where Source #

Constructors

DefaultValue :: Maybe ResolvedValue -> VariableContent CONST
ValidVariableValue
Fields :: { validVarContent :: ValidValue } -> VariableContent VALID

Instances

Instances details

Lift (VariableContent a :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: Quote m => VariableContent a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => VariableContent a -> Code m (VariableContent a) #
Show (VariableContent a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods showsPrec :: Int -> VariableContent a -> ShowS # show :: VariableContent a -> String # showList :: [VariableContent a] -> ShowS #
Eq (VariableContent a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods (==) :: VariableContent a -> VariableContent a -> Bool # (/=) :: VariableContent a -> VariableContent a -> Bool #

type TypeDefinitions s = SafeHashMap TypeName (TypeDefinition ANY s) Source #

initTypeLib :: TypeDefinition OBJECT s -> Schema s Source #

kindOf :: TypeDefinition a s -> TypeKind Source #

toNullable :: Nullable a => a -> a Source #

isNullable :: Nullable a => a -> Bool Source #

class Subtyping t where Source #

Methods

isSubtype :: t -> t -> Bool Source #

Instances

Instances details

Subtyping TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods isSubtype :: TypeRef -> TypeRef -> Bool Source #
Subtyping TypeWrapper Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods isSubtype :: TypeWrapper -> TypeWrapper -> Bool Source #

isNotSystemTypeName :: TypeName -> Bool Source #

isLeaf :: TypeContent TRUE a s -> Bool Source #

isResolverType :: Strictness t => t -> Bool Source #

mkEnumContent :: LEAF <=! a => [TypeName] -> TypeContent TRUE a s Source #

createScalarType :: LEAF <=! a => TypeName -> TypeDefinition a s Source #

mkUnionContent :: [TypeName] -> TypeContent TRUE OUT s Source #

mkTypeRef :: TypeName -> TypeRef Source #

mkInputUnionFields :: Foldable t => t (UnionMember IN s) -> FieldsDefinition IN s Source #

fieldVisibility :: FieldDefinition cat s -> Bool Source #

lookupDeprecated :: Directives s -> Maybe (Directive s) Source #

lookupDeprecatedReason :: Directive s -> Maybe Description Source #

lookupWith :: Eq k => (a -> k) -> k -> [a] -> Maybe a Source #

data ExecutableDocument Source #

Constructors

ExecutableDocument
Fields inputVariables :: Variables operation :: Operation RAW fragments :: Fragments RAW

Instances

Instances details

Show ExecutableDocument Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST Methods showsPrec :: Int -> ExecutableDocument -> ShowS # show :: ExecutableDocument -> String # showList :: [ExecutableDocument] -> ShowS #
Lift ExecutableDocument Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST Methods lift :: Quote m => ExecutableDocument -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ExecutableDocument -> Code m ExecutableDocument #

type Variables = SafeHashMap FieldName ResolvedValue Source #

unsafeFromFields :: [FieldDefinition cat s] -> FieldsDefinition cat s Source #

data OrdMap k a Source #

Instances

Instances details

(Eq k, Hashable k) => IsMap k (OrdMap k) Source #
Instance details Defined in Data.Mergeable.OrdMap Methods unsafeFromList :: [(k, a)] -> OrdMap k a Source # singleton :: k -> a -> OrdMap k a Source # lookup :: k -> OrdMap k a -> Maybe a Source # member :: k -> OrdMap k a -> Bool Source # toAssoc :: OrdMap k a -> [(k, a)] Source #
(NameCollision e a, Eq k, Hashable k, Monad m, MonadError e m) => Merge m (OrdMap k a) Source #
Instance details Defined in Data.Mergeable.OrdMap Methods merge :: OrdMap k a -> OrdMap k a -> m (OrdMap k a) Source #
(Lift a, Lift k, Eq k, Hashable k) => Lift (OrdMap k a :: Type) Source #
Instance details Defined in Data.Mergeable.OrdMap Methods lift :: Quote m => OrdMap k a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => OrdMap k a -> Code m (OrdMap k a) #
(Eq k, Hashable k) => Foldable (OrdMap k) Source #
Instance details Defined in Data.Mergeable.OrdMap Methods fold :: Monoid m => OrdMap k m -> m # foldMap :: Monoid m => (a -> m) -> OrdMap k a -> m # foldMap' :: Monoid m => (a -> m) -> OrdMap k a -> m # foldr :: (a -> b -> b) -> b -> OrdMap k a -> b # foldr' :: (a -> b -> b) -> b -> OrdMap k a -> b # foldl :: (b -> a -> b) -> b -> OrdMap k a -> b # foldl' :: (b -> a -> b) -> b -> OrdMap k a -> b # foldr1 :: (a -> a -> a) -> OrdMap k a -> a # foldl1 :: (a -> a -> a) -> OrdMap k a -> a # toList :: OrdMap k a -> [a] # null :: OrdMap k a -> Bool # length :: OrdMap k a -> Int # elem :: Eq a => a -> OrdMap k a -> Bool # maximum :: Ord a => OrdMap k a -> a # minimum :: Ord a => OrdMap k a -> a # sum :: Num a => OrdMap k a -> a # product :: Num a => OrdMap k a -> a #
Hashable k => Traversable (OrdMap k) Source #
Instance details Defined in Data.Mergeable.OrdMap Methods traverse :: Applicative f => (a -> f b) -> OrdMap k a -> f (OrdMap k b) # sequenceA :: Applicative f => OrdMap k (f a) -> f (OrdMap k a) # mapM :: Monad m => (a -> m b) -> OrdMap k a -> m (OrdMap k b) # sequence :: Monad m => OrdMap k (m a) -> m (OrdMap k a) #
Functor (OrdMap k) Source #
Instance details Defined in Data.Mergeable.OrdMap Methods fmap :: (a -> b) -> OrdMap k a -> OrdMap k b # (<$) :: a -> OrdMap k b -> OrdMap k a #
RenderGQL (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: ArgumentsDefinition s -> Rendering Source #
RenderGQL (Directives s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: Directives s -> Rendering Source #
Generic (OrdMap k a) Source #
Instance details Defined in Data.Mergeable.OrdMap Associated Types type Rep (OrdMap k a) :: Type -> Type # Methods from :: OrdMap k a -> Rep (OrdMap k a) x # to :: Rep (OrdMap k a) x -> OrdMap k a #
(Show k, Show a) => Show (OrdMap k a) Source #
Instance details Defined in Data.Mergeable.OrdMap Methods showsPrec :: Int -> OrdMap k a -> ShowS # show :: OrdMap k a -> String # showList :: [OrdMap k a] -> ShowS #
(Eq k, Eq a) => Eq (OrdMap k a) Source #
Instance details Defined in Data.Mergeable.OrdMap Methods (==) :: OrdMap k a -> OrdMap k a -> Bool # (/=) :: OrdMap k a -> OrdMap k a -> Bool #
(Hashable k, Hashable a) => Hashable (OrdMap k a) Source #
Instance details Defined in Data.Mergeable.OrdMap Methods hashWithSalt :: Int -> OrdMap k a -> Int # hash :: OrdMap k a -> Int #
Empty (OrdMap k a) Source #
Instance details Defined in Data.Mergeable.OrdMap Methods empty :: OrdMap k a Source #
RenderGQL (FieldsDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: FieldsDefinition cat s -> Rendering Source #
type Rep (OrdMap k a) Source #
Instance details Defined in Data.Mergeable.OrdMap type Rep (OrdMap k a) = D1 ('MetaData "OrdMap" "Data.Mergeable.OrdMap" "morpheus-graphql-core-0.27.3-7plQmdT9PxpJTKqPgX8pDL" 'False) (C1 ('MetaCons "OrdMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "order") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [k]) :*: S1 ('MetaSel ('Just "entries") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashMap k a))))

data GQLError Source #

Instances

Instances details

FromJSON GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods parseJSON :: Value -> Parser GQLError # parseJSONList :: Value -> Parser [GQLError] #
ToJSON GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods toJSON :: GQLError -> Value # toEncoding :: GQLError -> Encoding # toJSONList :: [GQLError] -> Value # toEncodingList :: [GQLError] -> Encoding #
IsString GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods fromString :: String -> GQLError #
Semigroup GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods (<>) :: GQLError -> GQLError -> GQLError # sconcat :: NonEmpty GQLError -> GQLError # stimes :: Integral b => b -> GQLError -> GQLError #
Generic GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Associated Types type Rep GQLError :: Type -> Type # Methods from :: GQLError -> Rep GQLError x # to :: Rep GQLError x -> GQLError #
Show GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods showsPrec :: Int -> GQLError -> ShowS # show :: GQLError -> String # showList :: [GQLError] -> ShowS #
Eq GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods (==) :: GQLError -> GQLError -> Bool # (/=) :: GQLError -> GQLError -> Bool #
Ord GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods compare :: GQLError -> GQLError -> Ordering # (<) :: GQLError -> GQLError -> Bool # (<=) :: GQLError -> GQLError -> Bool # (>) :: GQLError -> GQLError -> Bool # (>=) :: GQLError -> GQLError -> Bool # max :: GQLError -> GQLError -> GQLError # min :: GQLError -> GQLError -> GQLError #
Msg GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods msg :: GQLError -> GQLError Source #
NameCollision GQLError RootOperationTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods nameCollision :: RootOperationTypeDefinition -> GQLError Source #
NameCollision GQLError SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods nameCollision :: SchemaDefinition -> GQLError Source #
NameCollision GQLError (Argument s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods nameCollision :: Argument s -> GQLError Source #
NameCollision GQLError (ArgumentDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods nameCollision :: ArgumentDefinition s -> GQLError Source #
NameCollision GQLError (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods nameCollision :: Directive s -> GQLError Source #
NameCollision GQLError (DirectiveDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods nameCollision :: DirectiveDefinition s -> GQLError Source #
NameCollision GQLError (Fragment s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods nameCollision :: Fragment s -> GQLError Source #
NameCollision GQLError (ObjectEntry s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods nameCollision :: ObjectEntry s -> GQLError Source #
NameCollision GQLError (Variable s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods nameCollision :: Variable s -> GQLError Source #
NameCollision GQLError (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods nameCollision :: FieldDefinition cat s -> GQLError Source #
NameCollision GQLError (TypeDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods nameCollision :: TypeDefinition cat s -> GQLError Source #
NameCollision GQLError (UnionMember c s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Union Methods nameCollision :: UnionMember c s -> GQLError Source #
Monad m => MonadError GQLError (ResultT event m) Source #
Instance details Defined in Data.Morpheus.Ext.Result Methods throwError :: GQLError -> ResultT event m a # catchError :: ResultT event m a -> (GQLError -> ResultT event m a) -> ResultT event m a #
type Rep GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error type Rep GQLError

type GQLErrors = NonEmpty GQLError Source #

data ObjectEntry (s :: Stage) Source #

Constructors

ObjectEntry
Fields entryName :: FieldName entryValue :: Value s

Instances

Instances details

NameCollision GQLError (ObjectEntry s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods nameCollision :: ObjectEntry s -> GQLError Source #
KeyOf FieldName (ObjectEntry s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods keyOf :: ObjectEntry s -> FieldName Source #
Lift (ObjectEntry a :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: Quote m => ObjectEntry a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ObjectEntry a -> Code m (ObjectEntry a) #
Show (ObjectEntry s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods showsPrec :: Int -> ObjectEntry s -> ShowS # show :: ObjectEntry s -> String # showList :: [ObjectEntry s] -> ShowS #
Eq (ObjectEntry s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods (==) :: ObjectEntry s -> ObjectEntry s -> Bool # (/=) :: ObjectEntry s -> ObjectEntry s -> Bool #
Hashable (ObjectEntry s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods hashWithSalt :: Int -> ObjectEntry s -> Int # hash :: ObjectEntry s -> Int #
RenderGQL (ObjectEntry a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods renderGQL :: ObjectEntry a -> Rendering Source #

data UnionTag Source #

Constructors

UnionTag
Fields unionTagName :: TypeName unionTagSelection :: SelectionSet VALID

Instances

Instances details

Generic UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Associated Types type Rep UnionTag :: Type -> Type # Methods from :: UnionTag -> Rep UnionTag x # to :: Rep UnionTag x -> UnionTag #
Show UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods showsPrec :: Int -> UnionTag -> ShowS # show :: UnionTag -> String # showList :: [UnionTag] -> ShowS #
Eq UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods (==) :: UnionTag -> UnionTag -> Bool # (/=) :: UnionTag -> UnionTag -> Bool #
Hashable UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods hashWithSalt :: Int -> UnionTag -> Int # hash :: UnionTag -> Int #
RenderGQL UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods renderGQL :: UnionTag -> Rendering Source #
KeyOf TypeName UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods keyOf :: UnionTag -> TypeName Source #
(Monad m, MonadError GQLError m) => Merge (HistoryT m) UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods merge :: UnionTag -> UnionTag -> HistoryT m UnionTag Source #
Lift UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: Quote m => UnionTag -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => UnionTag -> Code m UnionTag #
type Rep UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection type Rep UnionTag = D1 ('MetaData "UnionTag" "Data.Morpheus.Types.Internal.AST.Selection" "morpheus-graphql-core-0.27.3-7plQmdT9PxpJTKqPgX8pDL" 'False) (C1 ('MetaCons "UnionTag" 'PrefixI 'True) (S1 ('MetaSel ('Just "unionTagName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeName) :*: S1 ('MetaSel ('Just "unionTagSelection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SelectionSet VALID))))

type ANY = 'ANY Source #

type IN = 'IN Source #

type OUT = 'OUT Source #

type OBJECT = 'OBJECT Source #

type IMPLEMENTABLE = 'IMPLEMENTABLE Source #

fromAny :: FromCategory a ANY k => a ANY (s :: Stage) -> Maybe (a k s) Source #

toAny :: ToCategory a k ANY => a (k :: TypeCategory) (s :: Stage) -> a ANY s Source #

type TRUE = 'True Source #

type FALSE = 'False Source #

type TypeName = Name 'TYPE Source #

type Token = Text Source #

class Msg a where Source #

Methods

msg :: a -> GQLError Source #

Instances

Instances details

Msg Value Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods msg :: Value -> GQLError Source #
Msg ByteString Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods msg :: ByteString -> GQLError Source #
Msg DirectiveLocation Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods msg :: DirectiveLocation -> GQLError Source #
Msg GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods msg :: GQLError -> GQLError Source #
Msg OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OperationType Methods msg :: OperationType -> GQLError Source #
Msg TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods msg :: TypeRef -> GQLError Source #
Msg Text Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods msg :: Text -> GQLError Source #
Msg String Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods msg :: String -> GQLError Source #
Msg Int Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods msg :: Int -> GQLError Source #
Msg (Name t) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Methods msg :: Name t -> GQLError Source #
Msg (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods msg :: Value a -> GQLError Source #
Msg (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Union Methods msg :: UnionMember cat s -> GQLError Source #

intercalate :: Name t1 -> [Name t2] -> Name t3 Source #

fieldsToArguments :: FieldsDefinition IN s -> ArgumentsDefinition s Source #

type Directives s = OrdMap FieldName (Directive s) Source #

type DirectivesDefinition s = SafeHashMap FieldName (DirectiveDefinition s) Source #

data DirectiveDefinition s Source #

Constructors

DirectiveDefinition
Fields directiveDefinitionName :: FieldName directiveDefinitionDescription :: Maybe Description directiveDefinitionArgs :: ArgumentsDefinition s directiveDefinitionLocations :: [DirectiveLocation]

Instances

Instances details

NameCollision GQLError (DirectiveDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods nameCollision :: DirectiveDefinition s -> GQLError Source #
KeyOf FieldName (DirectiveDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: DirectiveDefinition s -> FieldName Source #
Show (DirectiveDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods showsPrec :: Int -> DirectiveDefinition s -> ShowS # show :: DirectiveDefinition s -> String # showList :: [DirectiveDefinition s] -> ShowS #
Eq (DirectiveDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods (==) :: DirectiveDefinition s -> DirectiveDefinition s -> Bool # (/=) :: DirectiveDefinition s -> DirectiveDefinition s -> Bool #
RenderGQL (DirectiveDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: DirectiveDefinition s -> Rendering Source #
Lift (DirectiveDefinition s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: Quote m => DirectiveDefinition s -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => DirectiveDefinition s -> Code m (DirectiveDefinition s) #

data DirectiveLocation Source #

Constructors

LOCATION_QUERY
LOCATION_MUTATION
LOCATION_SUBSCRIPTION
LOCATION_FIELD
LOCATION_FRAGMENT_DEFINITION
LOCATION_FRAGMENT_SPREAD
LOCATION_INLINE_FRAGMENT
LOCATION_SCHEMA
LOCATION_SCALAR
LOCATION_OBJECT
LOCATION_FIELD_DEFINITION
LOCATION_ARGUMENT_DEFINITION
LOCATION_INTERFACE
LOCATION_UNION
LOCATION_ENUM
LOCATION_ENUM_VALUE
LOCATION_INPUT_OBJECT
LOCATION_INPUT_FIELD_DEFINITION

Instances

Instances details

Show DirectiveLocation Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods showsPrec :: Int -> DirectiveLocation -> ShowS # show :: DirectiveLocation -> String # showList :: [DirectiveLocation] -> ShowS #
Eq DirectiveLocation Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods (==) :: DirectiveLocation -> DirectiveLocation -> Bool # (/=) :: DirectiveLocation -> DirectiveLocation -> Bool #
RenderGQL DirectiveLocation Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods renderGQL :: DirectiveLocation -> Rendering Source #
Msg DirectiveLocation Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods msg :: DirectiveLocation -> GQLError Source #
Lift DirectiveLocation Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods lift :: Quote m => DirectiveLocation -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => DirectiveLocation -> Code m DirectiveLocation #

data FieldContent (bool :: Bool) (cat :: TypeCategory) (s :: Stage) where Source #

Constructors

DefaultInputValue
Fields :: { defaultInputValue :: Value s } -> FieldContent (IN <=? cat) cat s
FieldArgs
Fields :: { fieldArgsDef :: ArgumentsDefinition s } -> FieldContent (OUT <=? cat) cat s

Instances

Instances details

Lift (FieldContent bool cat s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: Quote m => FieldContent bool cat s -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => FieldContent bool cat s -> Code m (FieldContent bool cat s) #
ToCategory (FieldContent TRUE) a ANY Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods toCategory :: forall (s :: Stage). FieldContent TRUE a s -> FieldContent TRUE ANY s Source #
Show (FieldContent bool cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods showsPrec :: Int -> FieldContent bool cat s -> ShowS # show :: FieldContent bool cat s -> String # showList :: [FieldContent bool cat s] -> ShowS #
Eq (FieldContent bool cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods (==) :: FieldContent bool cat s -> FieldContent bool cat s -> Bool # (/=) :: FieldContent bool cat s -> FieldContent bool cat s -> Bool #

fieldArguments :: FieldDefinition c s -> ArgumentsDefinition s Source #

mkType :: TypeName -> TypeContent TRUE a s -> TypeDefinition a s Source #

mkObjectField :: ArgumentsDefinition s -> FieldName -> TypeWrapper -> TypeName -> FieldDefinition OUT s Source #

data UnionMember (cat :: TypeCategory) (s :: Stage) Source #

Constructors

UnionMember
Fields memberName :: TypeName nullary :: Bool

Instances

Instances details

NameCollision GQLError (UnionMember c s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Union Methods nameCollision :: UnionMember c s -> GQLError Source #
KeyOf TypeName (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Union Methods keyOf :: UnionMember cat s -> TypeName Source #
Lift (UnionMember cat s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Union Methods lift :: Quote m => UnionMember cat s -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => UnionMember cat s -> Code m (UnionMember cat s) #
Show (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Union Methods showsPrec :: Int -> UnionMember cat s -> ShowS # show :: UnionMember cat s -> String # showList :: [UnionMember cat s] -> ShowS #
Eq (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Union Methods (==) :: UnionMember cat s -> UnionMember cat s -> Bool # (/=) :: UnionMember cat s -> UnionMember cat s -> Bool #
RenderGQL (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Union Methods renderGQL :: UnionMember cat s -> Rendering Source #
Msg (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Union Methods msg :: UnionMember cat s -> GQLError Source #

mkUnionMember :: TypeName -> UnionMember cat s Source #

mkNullaryMember :: TypeName -> UnionMember cat s Source #

data RawTypeDefinition Source #

Constructors

RawSchemaDefinition SchemaDefinition
RawTypeDefinition (TypeDefinition ANY CONST)
RawDirectiveDefinition (DirectiveDefinition CONST)

Instances

Instances details

Show RawTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> RawTypeDefinition -> ShowS # show :: RawTypeDefinition -> String # showList :: [RawTypeDefinition] -> ShowS #

data RootOperationTypeDefinition Source #

Constructors

RootOperationTypeDefinition
Fields rootOperationType :: OperationType rootOperationTypeDefinitionName :: TypeName

Instances

Instances details

Show RootOperationTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> RootOperationTypeDefinition -> ShowS # show :: RootOperationTypeDefinition -> String # showList :: [RootOperationTypeDefinition] -> ShowS #
Eq RootOperationTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods (==) :: RootOperationTypeDefinition -> RootOperationTypeDefinition -> Bool # (/=) :: RootOperationTypeDefinition -> RootOperationTypeDefinition -> Bool #
RenderGQL RootOperationTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: RootOperationTypeDefinition -> Rendering Source #
NameCollision GQLError RootOperationTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods nameCollision :: RootOperationTypeDefinition -> GQLError Source #
KeyOf OperationType RootOperationTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods keyOf :: RootOperationTypeDefinition -> OperationType Source #

type UnionSelection (s :: Stage) = MergeMap (ALLOW_DUPLICATES s) TypeName UnionTag Source #

data SchemaDefinition Source #

Constructors

SchemaDefinition
Fields schemaDirectives :: Directives CONST unSchemaDefinition :: OrdMap OperationType RootOperationTypeDefinition

Instances

Instances details

Show SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> SchemaDefinition -> ShowS # show :: SchemaDefinition -> String # showList :: [SchemaDefinition] -> ShowS #
RenderGQL SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: SchemaDefinition -> Rendering Source #
NameCollision GQLError SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods nameCollision :: SchemaDefinition -> GQLError Source #
KeyOf TypeName SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods keyOf :: SchemaDefinition -> TypeName Source #

buildSchema :: (Monad m, MonadError GQLError m) => (Maybe SchemaDefinition, [TypeDefinition ANY s], DirectivesDefinition s) -> m (Schema s) Source #

getOperationDataType :: MonadError GQLError m => Operation s -> Schema VALID -> m (TypeDefinition OBJECT VALID) Source #

newtype Typed (cat :: TypeCategory) (s :: Stage) a Source #

used for preserving type information from untyped values see function typed

Constructors

Typed a

typed :: (a c s -> b) -> a c s -> Typed c s b Source #

untyped :: (a -> b) -> Typed c s a -> b Source #

type LEAF = 'LEAF Source #

type INPUT_OBJECT = 'INPUT_OBJECT Source #

class ToCategory a (k :: TypeCategory) (k' :: TypeCategory) where Source #

Methods

toCategory :: a k (s :: Stage) -> a k' s Source #

Instances

Instances details

ToCategory FieldDefinition a ANY Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods toCategory :: forall (s :: Stage). FieldDefinition a s -> FieldDefinition ANY s Source #
ToCategory (TypeContent TRUE) cat cat' => ToCategory TypeDefinition cat cat' Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toCategory :: forall (s :: Stage). TypeDefinition cat s -> TypeDefinition cat' s Source #
ToCategory (FieldContent TRUE) a ANY Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods toCategory :: forall (s :: Stage). FieldContent TRUE a s -> FieldContent TRUE ANY s Source #
ToCategory (TypeContent TRUE) INPUT_OBJECT IN Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toCategory :: forall (s :: Stage). TypeContent TRUE INPUT_OBJECT s -> TypeContent TRUE IN s Source #
ToCategory (TypeContent TRUE) OBJECT IMPLEMENTABLE Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toCategory :: forall (s :: Stage). TypeContent TRUE OBJECT s -> TypeContent TRUE IMPLEMENTABLE s Source #
ToCategory (TypeContent TRUE) a ANY Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toCategory :: forall (s :: Stage). TypeContent TRUE a s -> TypeContent TRUE ANY s Source #

class FromCategory a (k :: TypeCategory) (k' :: TypeCategory) where Source #

Methods

fromCategory :: a k (s :: Stage) -> Maybe (a k' s) Source #

Instances

Instances details

FromCategory (TypeContent TRUE) cat cat' => FromCategory TypeDefinition cat cat' Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: forall (s :: Stage). TypeDefinition cat s -> Maybe (TypeDefinition cat' s) Source #
FromCategory (TypeContent TRUE) ANY IMPLEMENTABLE Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: forall (s :: Stage). TypeContent TRUE ANY s -> Maybe (TypeContent TRUE IMPLEMENTABLE s) Source #
FromCategory (TypeContent TRUE) ANY IN Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: forall (s :: Stage). TypeContent TRUE ANY s -> Maybe (TypeContent TRUE IN s) Source #
FromCategory (TypeContent TRUE) ANY OBJECT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: forall (s :: Stage). TypeContent TRUE ANY s -> Maybe (TypeContent TRUE OBJECT s) Source #
FromCategory (TypeContent TRUE) ANY OUT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: forall (s :: Stage). TypeContent TRUE ANY s -> Maybe (TypeContent TRUE OUT s) Source #

possibleTypes :: TypeDefinition a s -> Schema s' -> [TypeName] Source #

possibleInterfaceTypes :: TypeName -> Schema s -> [TypeDefinition ANY s] Source #

mkField :: Maybe (FieldContent TRUE cat s) -> FieldName -> TypeRef -> FieldDefinition cat s Source #

defineSchemaWith :: (Monad f, MonadError GQLError f) => [TypeDefinition cat s] -> (Maybe (TypeDefinition OBJECT s), Maybe (TypeDefinition OBJECT s), Maybe (TypeDefinition OBJECT s)) -> f (Schema s) Source #

type (<=!) (a :: TypeCategory) (b :: TypeCategory) = (a <=? b) ~ TRUE Source #

type family ToOBJECT (s :: TypeCategory) :: TypeCategory where ... Source #

Equations

ToOBJECT OUT = OBJECT
ToOBJECT IN = INPUT_OBJECT

constraintInputUnion :: forall stage schemaStage. UnionTypeDefinition IN schemaStage -> Object stage -> Either GQLError (UnionMember IN schemaStage, Value stage) Source #

getInputUnionValue :: forall stage. Object stage -> Either GQLError (TypeName, Value stage) Source #

unitFieldName :: FieldName Source #

unitTypeName :: TypeName Source #

mkBaseType :: TypeWrapper Source #

mkMaybeType :: TypeWrapper Source #

isPossibleInterfaceType :: TypeName -> TypeDefinition c s -> Maybe (TypeDefinition c s) Source #

packName :: NamePacking a => a -> Name t Source #

unpackName :: NamePacking a => Name t -> a Source #

at :: GQLError -> Position -> GQLError Source #

atPositions :: Foldable t => GQLError -> t Position -> GQLError Source #

typeDefinitions :: Schema s -> HashMap TypeName (TypeDefinition ANY s) Source #

type FragmentName = Name 'FRAGMENT Source #

isInternal :: GQLError -> Bool Source #

internal :: GQLError -> GQLError Source #

isCustom :: GQLError -> Bool Source #

custom :: GQLError -> Text -> GQLError Source #

getCustomErrorType :: GQLError -> Maybe Text Source #

splitSystemSelection :: SelectionSet s -> (Maybe (SelectionSet s), Maybe (SelectionSet s)) Source #

lookupDataType :: TypeName -> Schema s -> Maybe (TypeDefinition ANY s) Source #

data Name (t :: NAME) Source #

Instances

Instances details

KeyOf TypeName UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods keyOf :: UnionTag -> TypeName Source #
KeyOf TypeName SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods keyOf :: SchemaDefinition -> TypeName Source #
KeyOf FieldName (Argument stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: Argument stage -> FieldName Source #
KeyOf FieldName (ArgumentDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: ArgumentDefinition s -> FieldName Source #
KeyOf FieldName (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: Directive s -> FieldName Source #
KeyOf FieldName (DirectiveDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: DirectiveDefinition s -> FieldName Source #
KeyOf FieldName (Selection s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods keyOf :: Selection s -> FieldName Source #
KeyOf FieldName (ObjectEntry s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods keyOf :: ObjectEntry s -> FieldName Source #
KeyOf FieldName (Variable s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods keyOf :: Variable s -> FieldName Source #
KeyOf FragmentName (Fragment s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods keyOf :: Fragment s -> FragmentName Source #
Lift (Name t :: TYPE LiftedRep) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Methods lift :: Quote m => Name t -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Name t -> Code m (Name t) #
KeyOf FieldName (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: FieldDefinition cat s -> FieldName Source #
KeyOf TypeName (TypeDefinition a s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods keyOf :: TypeDefinition a s -> TypeName Source #
KeyOf TypeName (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Union Methods keyOf :: UnionMember cat s -> TypeName Source #
FromJSON (Name t) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Methods parseJSON :: Value -> Parser (Name t) # parseJSONList :: Value -> Parser [Name t] #
ToJSON (Name t) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Methods toJSON :: Name t -> Value # toEncoding :: Name t -> Encoding # toJSONList :: [Name t] -> Value # toEncodingList :: [Name t] -> Encoding #
IsString (Name t) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Methods fromString :: String -> Name t #
Semigroup (Name t) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Methods (<>) :: Name t -> Name t -> Name t # sconcat :: NonEmpty (Name t) -> Name t # stimes :: Integral b => b -> Name t -> Name t #
Generic (Name t) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Associated Types type Rep (Name t) :: Type -> Type # Methods from :: Name t -> Rep (Name t) x # to :: Rep (Name t) x -> Name t #
Show (Name t) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Methods showsPrec :: Int -> Name t -> ShowS # show :: Name t -> String # showList :: [Name t] -> ShowS #
Eq (Name t) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Methods (==) :: Name t -> Name t -> Bool # (/=) :: Name t -> Name t -> Bool #
Ord (Name t) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Methods compare :: Name t -> Name t -> Ordering # (<) :: Name t -> Name t -> Bool # (<=) :: Name t -> Name t -> Bool # (>) :: Name t -> Name t -> Bool # (>=) :: Name t -> Name t -> Bool # max :: Name t -> Name t -> Name t # min :: Name t -> Name t -> Name t #
Hashable (Name t) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Methods hashWithSalt :: Int -> Name t -> Int # hash :: Name t -> Int #
RenderGQL (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: ArgumentsDefinition s -> Rendering Source #
RenderGQL (Directives s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: Directives s -> Rendering Source #
RenderGQL (Name a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Methods renderGQL :: Name a -> Rendering Source #
Msg (Name t) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Methods msg :: Name t -> GQLError Source #
ToString (Name t) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Methods toString :: Name t -> String #
(Monad m, MonadError GQLError m) => Merge (HistoryT m) UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods merge :: UnionTag -> UnionTag -> HistoryT m UnionTag Source #
(Monad m, MonadError GQLError m, Merge (HistoryT m) (SelectionSet s)) => Merge (HistoryT m) (Selection s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods merge :: Selection s -> Selection s -> HistoryT m (Selection s) Source #
(Monad m, MonadError GQLError m, Merge (HistoryT m) (SelectionSet s)) => Merge (HistoryT m) (SelectionContent s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods merge :: SelectionContent s -> SelectionContent s -> HistoryT m (SelectionContent s) Source #
RenderGQL (FieldsDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: FieldsDefinition cat s -> Rendering Source #
type Rep (Name t) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name type Rep (Name t) = D1 ('MetaData "Name" "Data.Morpheus.Types.Internal.AST.Name" "morpheus-graphql-core-0.27.3-7plQmdT9PxpJTKqPgX8pDL" 'True) (C1 ('MetaCons "Name" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unpackName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

withPath :: GQLError -> [PropName] -> GQLError Source #

withExtensions :: GQLError -> Map Text Value -> GQLError Source #

data PropName Source #

Constructors

PropIndex Int
PropName Text

Instances

Instances details

FromJSON PropName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods parseJSON :: Value -> Parser PropName # parseJSONList :: Value -> Parser [PropName] #
ToJSON PropName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods toJSON :: PropName -> Value # toEncoding :: PropName -> Encoding # toJSONList :: [PropName] -> Value # toEncodingList :: [PropName] -> Encoding #
IsString PropName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods fromString :: String -> PropName #
Generic PropName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Associated Types type Rep PropName :: Type -> Type # Methods from :: PropName -> Rep PropName x # to :: Rep PropName x -> PropName #
Show PropName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods showsPrec :: Int -> PropName -> ShowS # show :: PropName -> String # showList :: [PropName] -> ShowS #
Eq PropName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods (==) :: PropName -> PropName -> Bool # (/=) :: PropName -> PropName -> Bool #
type Rep PropName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error type Rep PropName = D1 ('MetaData "PropName" "Data.Morpheus.Types.Internal.AST.Error" "morpheus-graphql-core-0.27.3-7plQmdT9PxpJTKqPgX8pDL" 'False) (C1 ('MetaCons "PropIndex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "PropName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

defineDirective :: (Monad m, MonadError GQLError m) => Schema s -> DirectiveDefinition s -> m (Schema s) Source #