Safe Haskell	None
Language	Haskell2010

Data.Morpheus.Types.Internal.AST

Synopsis

data Ref = Ref {
- refName :: FieldName
- refPosition :: Position
}
data Position = Position {
- line :: Int
- column :: Int
}
data Message
anonymousRef :: FieldName -> Ref
newtype FieldName = FieldName {
- readName :: Text
}
type Description = Text
data Stage
type CONST = CONST
type VALID = VALID
type RAW = RAW
data Value (stage :: Stage) where
- ResolvedVariable :: Ref -> Variable VALID -> Value CONST
- VariableValue :: Ref -> 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 Float
- | String Text
- | Boolean Bool
type Object a = OrdMap FieldName (ObjectEntry a)
class GQLValue a where
- gqlNull :: a
- gqlScalar :: ScalarValue -> a
- gqlBoolean :: Bool -> a
- gqlString :: Text -> a
- gqlList :: [a] -> a
- gqlObject :: [(FieldName, a)] -> a
replaceValue :: Value -> Value a
decodeScientific :: Scientific -> ScalarValue
convertToJSONName :: FieldName -> FieldName
convertToHaskellName :: FieldName -> FieldName
type RawValue = Value RAW
type ValidValue = Value VALID
type RawObject = Object RAW
type ValidObject = Object VALID
type ResolvedObject = Object CONST
type ResolvedValue = Value CONST
splitDuplicates :: Eq a => [a] -> ([a], [a])
removeDuplicates :: Eq a => [a] -> [a]
data Argument (valid :: Stage) = Argument {
- argumentName :: FieldName
- argumentPosition :: Position
- argumentValue :: Value valid
}
type Arguments (s :: Stage) = OrdMap FieldName (Argument s)
type SelectionSet (s :: Stage) = MergeSet s (Selection s)
data SelectionContent (s :: Stage) where
- SelectionField :: SelectionContent s
- SelectionSet :: SelectionSet s -> SelectionContent s
- UnionSelection :: UnionSelection VALID -> SelectionContent VALID
data Selection (s :: Stage) where
- Selection :: {..} -> Selection s
- InlineFragment :: Fragment RAW -> Selection RAW
- Spread :: Directives RAW -> Ref -> Selection RAW
type Fragments (s :: Stage) = OrdMap FieldName (Fragment s)
data Fragment (stage :: Stage) = Fragment {
- fragmentName :: FieldName
- fragmentType :: TypeName
- fragmentPosition :: Position
- fragmentSelection :: SelectionSet stage
- fragmentDirectives :: Directives stage
}
data Operation (s :: Stage) = Operation {
- operationName :: Maybe FieldName
- operationType :: OperationType
- operationArguments :: VariableDefinitions s
- operationSelection :: SelectionSet s
- operationPosition :: Position
- operationDirectives :: Directives s
}
data Variable (stage :: Stage) = Variable {
- variableName :: FieldName
- variableType :: TypeRef
- variablePosition :: Position
- 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 = Fields (FieldDefinition cat s)
type ArgumentDefinition = FieldDefinition IN
type DataUnion s = [UnionMember OUT s]
data ArgumentsDefinition s = ArgumentsDefinition {
- argumentsTypename :: Maybe TypeName
- arguments :: OrdMap FieldName (ArgumentDefinition s)
}
data FieldDefinition (cat :: TypeCategory) (s :: Stage) = FieldDefinition {
- fieldName :: FieldName
- fieldDescription :: Maybe Description
- fieldType :: TypeRef
- fieldDirectives :: [Directive s]
- fieldContent :: Maybe (FieldContent TRUE cat s)
}
type InputFieldsDefinition s = Fields (InputValueDefinition s)
data TypeContent (b :: Bool) (a :: TypeCategory) (s :: Stage) where
- DataScalar :: {..} -> TypeContent (ELEM LEAF a) a s
- DataEnum :: {..} -> TypeContent (ELEM LEAF a) a s
- DataInputObject :: {..} -> TypeContent (ELEM IN a) a s
- DataInputUnion :: {..} -> TypeContent (ELEM IN a) a s
- DataObject :: {..} -> TypeContent (ELEM OBJECT a) a s
- DataUnion :: {..} -> TypeContent (ELEM OUT a) a s
- DataInterface :: {..} -> TypeContent (ELEM IMPLEMENTABLE a) a s
data TypeDefinition (a :: TypeCategory) (s :: Stage) = TypeDefinition {
- typeName :: TypeName
- typeFingerprint :: DataFingerprint
- typeDescription :: Maybe Description
- typeDirectives :: Directives s
- typeContent :: TypeContent TRUE a s
}
data Schema (s :: Stage) = Schema {
- types :: TypeLib s
- query :: TypeDefinition OBJECT s
- mutation :: Maybe (TypeDefinition OBJECT s)
- subscription :: Maybe (TypeDefinition OBJECT s)
- directiveDefinitions :: [DirectiveDefinition s]
}
data DataTypeWrapper
- = ListType
- | NonNullType
data TypeKind
- = KindScalar
- | KindObject (Maybe OperationType)
- | KindUnion
- | KindEnum
- | KindInputObject
- | KindList
- | KindNonNull
- | KindInputUnion
- | KindInterface
data DataFingerprint = DataFingerprint TypeName [String]
data TypeWrapper
- = TypeList
- | TypeMaybe
data TypeRef = TypeRef {
- typeConName :: TypeName
- typeArgs :: Maybe TypeName
- typeWrappers :: [TypeWrapper]
}
data DataEnumValue s = DataEnumValue {
- enumName :: TypeName
- enumDescription :: Maybe Description
- enumDirectives :: [Directive s]
}
data OperationType
- = Query
- | Subscription
- | Mutation
type QUERY = Query
type MUTATION = Mutation
type SUBSCRIPTION = Subscription
data Directive (s :: Stage) = Directive {
- directiveName :: FieldName
- directivePosition :: Position
- directiveArgs :: Arguments s
}
data ConsD cat s = ConsD {
- cName :: TypeName
- cFields :: [FieldDefinition cat s]
}
data TypeCategory
type DataInputUnion s = [UnionMember IN s]
data VariableContent (stage :: Stage) where
- DefaultValue :: Maybe ResolvedValue -> VariableContent CONST
- ValidVariableValue :: {..} -> VariableContent VALID
type TypeLib s = SafeHashMap TypeName (TypeDefinition ANY s)
initTypeLib :: TypeDefinition OBJECT s -> Schema s
kindOf :: TypeDefinition a s -> TypeKind
toNullable :: Nullable a => a -> a
toListField :: FieldDefinition cat s -> FieldDefinition cat s
isObject :: TypeKind -> Bool
isInput :: TypeKind -> Bool
toHSWrappers :: [DataTypeWrapper] -> [TypeWrapper]
isNullable :: Nullable a => a -> Bool
toGQLWrapper :: [TypeWrapper] -> [DataTypeWrapper]
isWeaker :: [TypeWrapper] -> [TypeWrapper] -> Bool
isSubscription :: TypeKind -> Bool
isOutputObject :: TypeKind -> Bool
isNotSystemTypeName :: TypeName -> Bool
isEntNode :: TypeContent TRUE a s -> Bool
mkEnumContent :: ELEM LEAF a ~ TRUE => [TypeName] -> TypeContent TRUE a s
createScalarType :: ELEM LEAF a ~ TRUE => TypeName -> TypeDefinition a s
mkUnionContent :: [TypeName] -> TypeContent TRUE OUT s
mkTypeRef :: TypeName -> TypeRef
mkInputUnionFields :: TypeName -> [UnionMember IN s] -> FieldsDefinition IN s
fieldVisibility :: FieldDefinition cat s -> Bool
insertType :: (Monad m, Failure ValidationErrors m) => TypeDefinition cat s -> UpdateT m (Schema s)
lookupDeprecated :: [Directive s] -> Maybe (Directive s)
lookupDeprecatedReason :: Directive s -> Maybe Description
lookupWith :: Eq k => (a -> k) -> k -> [a] -> Maybe a
hsTypeName :: TypeName -> TypeName
data GQLQuery = GQLQuery {
- fragments :: Fragments RAW
- operation :: Operation RAW
- inputVariables :: [(FieldName, ResolvedValue)]
}
type Variables = HashMap FieldName ResolvedValue
unsafeFromFields :: [FieldDefinition cat s] -> FieldsDefinition cat s
data OrdMap k a
data GQLError = GQLError {
- message :: Message
- locations :: [Position]
}
type GQLErrors = [GQLError]
data ObjectEntry (s :: Stage) = ObjectEntry {
- entryName :: FieldName
- entryValue :: Value s
}
data UnionTag = UnionTag {
- unionTagName :: TypeName
- unionTagSelection :: SelectionSet VALID
}
__inputname :: FieldName
updateSchema :: (Monad m, Failure ValidationErrors m) => TypeName -> DataFingerprint -> [UpdateT m (Schema s)] -> (a -> TypeDefinition cat s) -> a -> UpdateT m (Schema s)
internalFingerprint :: TypeName -> [String] -> DataFingerprint
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
newtype TypeName = TypeName {
- readTypeName :: Text
}
type Token = Text
class Msg a where
- msg :: a -> Message
- msgSepBy :: Text -> [a] -> Message
intercalateName :: FieldName -> [FieldName] -> FieldName
toFieldName :: TypeName -> FieldName
data TypeNameRef = TypeNameRef {
- typeNameRef :: TypeName
- typeNamePosition :: Position
}
isEnum :: [ConsD cat s] -> Bool
newtype Fields def = Fields {
- unFields :: OrdMap FieldName def
}
fieldsToArguments :: FieldsDefinition IN s -> ArgumentsDefinition s
mkCons :: TypeName -> FieldsDefinition cat s -> ConsD cat s
mkConsEnum :: DataEnumValue s -> ConsD cat s
type Directives s = [Directive s]
type DirectiveDefinitions s = [DirectiveDefinition s]
data DirectiveDefinition s = DirectiveDefinition {
- directiveDefinitionName :: FieldName
- directiveDefinitionDescription :: Maybe Description
- directiveDefinitionLocations :: [DirectiveLocation]
- directiveDefinitionArgs :: ArgumentsDefinition s
}
data DirectiveLocation
- = QUERY
- | MUTATION
- | SUBSCRIPTION
- | FIELD
- | FRAGMENT_DEFINITION
- | FRAGMENT_SPREAD
- | INLINE_FRAGMENT
- | SCHEMA
- | SCALAR
- | OBJECT
- | FIELD_DEFINITION
- | ARGUMENT_DEFINITION
- | INTERFACE
- | UNION
- | ENUM
- | ENUM_VALUE
- | INPUT_OBJECT
- | INPUT_FIELD_DEFINITION
data FieldContent (bool :: Bool) (cat :: TypeCategory) (s :: Stage) where
- DefaultInputValue :: {..} -> FieldContent (ELEM IN cat) cat s
- FieldArgs :: {..} -> FieldContent (ELEM OUT cat) cat s
fieldContentArgs :: FieldContent b cat s -> ArgumentsDefinition s
mkInputValue :: FieldName -> [TypeWrapper] -> TypeName -> FieldDefinition cat s
mkType :: TypeName -> TypeContent TRUE a s -> TypeDefinition a s
data TypeNameTH = TypeNameTH {
- namespace :: [FieldName]
- typename :: TypeName
}
isOutput :: TypeKind -> Bool
mkObjectField :: ArgumentsDefinition s -> FieldName -> [TypeWrapper] -> TypeName -> FieldDefinition OUT s
data UnionMember (cat :: TypeCategory) (s :: Stage) = UnionMember {
- memberName :: TypeName
- visibility :: Bool
}
mkUnionMember :: 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) = MergeSet s UnionTag
data SchemaDefinition = SchemaDefinition {
- schemaDirectives :: Directives CONST
- unSchemaDefinition :: OrdMap OperationType RootOperationTypeDefinition
}
buildSchema :: (Monad m, Failure ValidationErrors m) => (Maybe SchemaDefinition, [TypeDefinition ANY s], [DirectiveDefinition s]) -> m (Schema s)
newtype InternalError = InternalError {
- readInternalError :: Text
}
data ValidationError = ValidationError {
- validationMessage :: Message
- validationLocations :: [Position]
}
msgInternal :: Msg a => a -> InternalError
getOperationDataType :: Failure ValidationError 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
msgValidation :: Msg a => a -> ValidationError
withPosition :: Maybe Position -> ValidationError -> ValidationError
type ValidationErrors = [ValidationError]
toGQLError :: ValidationError -> GQLError
type family ELEM (elemKind :: TypeCategory) (setOfKind :: TypeCategory) :: Bool
type LEAF = LEAF
type REQURE_IMPLEMENTABLE cat = ELEM cat IMPLEMENTABLE ~ TRUE
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]

Documentation

data Ref Source #

Constructors

Ref
Fields refName :: FieldName refPosition :: Position

Instances

Eq Ref Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: Ref -> Ref -> Bool # (/=) :: Ref -> Ref -> Bool #
Ord Ref Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods compare :: Ref -> Ref -> Ordering # (<) :: Ref -> Ref -> Bool # (<=) :: Ref -> Ref -> Bool # (>) :: Ref -> Ref -> Bool # (>=) :: Ref -> Ref -> Bool # max :: Ref -> Ref -> Ref # min :: Ref -> Ref -> Ref #
Show Ref Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> Ref -> ShowS # show :: Ref -> String # showList :: [Ref] -> ShowS #
Lift Ref Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: Ref -> Q Exp #
KeyOf FieldName Ref Source #
Instance details Defined in Data.Morpheus.Internal.Utils Methods keyOf :: Ref -> FieldName Source #

data Position Source #

Constructors

Position
Fields line :: Int column :: Int

Instances

Eq Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Show Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
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 #
Lift Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: Position -> Q Exp #
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 #
FromJSON Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods parseJSON :: Value -> Parser Position # parseJSONList :: Value -> Parser [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.14.0-DVAWEySgEHXLULGJqXC6uS" False) (C1 (MetaCons "Position" PrefixI True) (S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "column") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data Message Source #

Instances

Eq Message Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: Message -> Message -> Bool # (/=) :: Message -> Message -> Bool #
Ord Message Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods compare :: Message -> Message -> Ordering # (<) :: Message -> Message -> Bool # (<=) :: Message -> Message -> Bool # (>) :: Message -> Message -> Bool # (>=) :: Message -> Message -> Bool # max :: Message -> Message -> Message # min :: Message -> Message -> Message #
Show Message Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> Message -> ShowS # show :: Message -> String # showList :: [Message] -> ShowS #
IsString Message Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods fromString :: String -> Message #
Generic Message Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Associated Types type Rep Message :: Type -> Type # Methods from :: Message -> Rep Message x # to :: Rep Message x -> Message #
Semigroup Message Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (<>) :: Message -> Message -> Message # sconcat :: NonEmpty Message -> Message # stimes :: Integral b => b -> Message -> Message #
Lift Message Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: Message -> Q Exp #
Hashable Message Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods hashWithSalt :: Int -> Message -> Int # hash :: Message -> Int #
ToJSON Message Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods toJSON :: Message -> Value # toEncoding :: Message -> Encoding # toJSONList :: [Message] -> Value # toEncodingList :: [Message] -> Encoding #
FromJSON Message Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods parseJSON :: Value -> Parser Message # parseJSONList :: Value -> Parser [Message] #
Msg Message Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: Message -> Message Source # msgSepBy :: Text -> [Message] -> Message Source #
(LiftOperation o, Monad m) => Failure Message (Resolver o e m) Source #
Instance details Defined in Data.Morpheus.Types.Internal.Resolving.Resolver Methods failure :: Message -> Resolver o e m v Source #
type Rep Message Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base type Rep Message = D1 (MetaData "Message" "Data.Morpheus.Types.Internal.AST.Base" "morpheus-graphql-core-0.14.0-DVAWEySgEHXLULGJqXC6uS" True) (C1 (MetaCons "Message" PrefixI True) (S1 (MetaSel (Just "readMessage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

anonymousRef :: FieldName -> Ref Source #

newtype FieldName Source #

Constructors

FieldName
Fields readName :: Text

Instances

Eq FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: FieldName -> FieldName -> Bool # (/=) :: FieldName -> FieldName -> Bool #
Ord FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods compare :: FieldName -> FieldName -> Ordering # (<) :: FieldName -> FieldName -> Bool # (<=) :: FieldName -> FieldName -> Bool # (>) :: FieldName -> FieldName -> Bool # (>=) :: FieldName -> FieldName -> Bool # max :: FieldName -> FieldName -> FieldName # min :: FieldName -> FieldName -> FieldName #
Show FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> FieldName -> ShowS # show :: FieldName -> String # showList :: [FieldName] -> ShowS #
IsString FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods fromString :: String -> FieldName #
Generic FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Associated Types type Rep FieldName :: Type -> Type # Methods from :: FieldName -> Rep FieldName x # to :: Rep FieldName x -> FieldName #
Semigroup FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (<>) :: FieldName -> FieldName -> FieldName # sconcat :: NonEmpty FieldName -> FieldName # stimes :: Integral b => b -> FieldName -> FieldName #
Lift FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: FieldName -> Q Exp #
Hashable FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods hashWithSalt :: Int -> FieldName -> Int # hash :: FieldName -> Int #
ToJSON FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods toJSON :: FieldName -> Value # toEncoding :: FieldName -> Encoding # toJSONList :: [FieldName] -> Value # toEncodingList :: [FieldName] -> Encoding #
FromJSON FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods parseJSON :: Value -> Parser FieldName # parseJSONList :: Value -> Parser [FieldName] #
RenderGQL FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods render :: FieldName -> Rendering Source #
Msg FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: FieldName -> Message Source # msgSepBy :: Text -> [FieldName] -> Message Source #
ToName FieldName Source #
Instance details Defined in Data.Morpheus.Internal.TH Methods toName :: FieldName -> Name Source #
KeyOf FieldName Ref Source #
Instance details Defined in Data.Morpheus.Internal.Utils Methods keyOf :: Ref -> 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 FieldName (DirectiveDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: DirectiveDefinition 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 (Argument stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: Argument stage -> 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 (Fragment s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods keyOf :: Fragment s -> FieldName Source #
Selectable FieldName (ArgumentDefinition s) (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods selectOr :: d -> (ArgumentDefinition s -> d) -> FieldName -> ArgumentsDefinition s -> d Source #
Selectable FieldName (ArgumentDefinition s) (DirectiveDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods selectOr :: d -> (ArgumentDefinition s -> d) -> FieldName -> DirectiveDefinition s -> d Source #
Selectable FieldName (ArgumentDefinition s) (FieldDefinition OUT s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods selectOr :: d -> (ArgumentDefinition s -> d) -> FieldName -> FieldDefinition OUT s -> d Source #
KeyOf FieldName (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: FieldDefinition cat s -> FieldName Source #
Selectable FieldName (FieldDefinition cat s) (Fields (FieldDefinition cat s)) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods selectOr :: d -> (FieldDefinition cat s -> d) -> FieldName -> Fields (FieldDefinition cat s) -> d Source #
type Rep FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base type Rep FieldName = D1 (MetaData "FieldName" "Data.Morpheus.Types.Internal.AST.Base" "morpheus-graphql-core-0.14.0-DVAWEySgEHXLULGJqXC6uS" True) (C1 (MetaCons "FieldName" PrefixI True) (S1 (MetaSel (Just "readName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

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 -> Variable VALID -> Value CONST
VariableValue :: Ref -> Value RAW
Object :: Object stage -> Value stage
List :: [Value stage] -> Value stage
Enum :: TypeName -> Value stage
Scalar :: ScalarValue -> Value stage
Null :: Value stage

Instances

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 #
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 #
Lift (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: Value a -> Q Exp #
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 #
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] #
RenderGQL (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods render :: Value a -> Rendering Source #
Msg (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods msg :: Value a -> Message Source # msgSepBy :: Text -> [Value a] -> Message Source #
GQLValue (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods gqlNull :: Value a Source # gqlScalar :: ScalarValue -> Value a Source # gqlBoolean :: Bool -> Value a Source # gqlString :: Text -> Value a Source # gqlList :: [Value a] -> Value a Source # gqlObject :: [(FieldName, Value a)] -> Value a Source #

data ScalarValue Source #

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

Constructors

Int Int
Float Float
String Text
Boolean Bool

Instances

Eq ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods (==) :: ScalarValue -> ScalarValue -> Bool # (/=) :: ScalarValue -> ScalarValue -> Bool #
Show ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods showsPrec :: Int -> ScalarValue -> ShowS # show :: ScalarValue -> String # showList :: [ScalarValue] -> ShowS #
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 #
Lift ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: ScalarValue -> Q Exp #
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 #
FromJSON ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods parseJSON :: Value -> Parser ScalarValue # parseJSONList :: Value -> Parser [ScalarValue] #
RenderGQL ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods render :: ScalarValue -> Rendering Source #
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.14.0-DVAWEySgEHXLULGJqXC6uS" 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 Float))) :+: (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))))

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

class GQLValue a where Source #

Methods

gqlNull :: a Source #

gqlScalar :: ScalarValue -> a Source #

gqlBoolean :: Bool -> a Source #

gqlString :: Text -> a Source #

gqlList :: [a] -> a Source #

gqlObject :: [(FieldName, a)] -> a Source #

Instances

GQLValue (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods gqlNull :: Value a Source # gqlScalar :: ScalarValue -> Value a Source # gqlBoolean :: Bool -> Value a Source # gqlString :: Text -> Value a Source # gqlList :: [Value a] -> Value a Source # gqlObject :: [(FieldName, Value a)] -> Value a Source #

replaceValue :: Value -> Value a Source #

decodeScientific :: Scientific -> ScalarValue Source #

convertToJSONName :: FieldName -> FieldName Source #

convertToHaskellName :: FieldName -> FieldName 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 #

splitDuplicates :: Eq a => [a] -> ([a], [a]) Source #

removeDuplicates :: Eq a => [a] -> [a] Source #

data Argument (valid :: Stage) Source #

Constructors

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

Instances

KeyOf FieldName (Argument stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: Argument stage -> FieldName Source #
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 #
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 #
Lift (Argument valid) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: Argument valid -> Q Exp #
RenderGQL (Argument s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods render :: Argument s -> Rendering Source #

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

type SelectionSet (s :: Stage) = MergeSet s (Selection s) Source #

data SelectionContent (s :: Stage) where Source #

Constructors

SelectionField :: SelectionContent s
SelectionSet :: SelectionSet s -> SelectionContent s
UnionSelection :: UnionSelection VALID -> SelectionContent VALID

Instances

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 #
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 #
Lift (SelectionContent a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: SelectionContent a -> Q Exp #
RenderGQL (SelectionContent VALID) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods render :: SelectionContent VALID -> Rendering Source #
Merge (SelectionSet s) => Merge (SelectionContent s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> SelectionContent s -> SelectionContent s -> m (SelectionContent s) Source #

data Selection (s :: Stage) where Source #

Constructors

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

Instances

KeyOf FieldName (Selection s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods keyOf :: Selection s -> FieldName Source #
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 #
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 #
Lift (Selection a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: Selection a -> Q Exp #
RenderGQL (Selection VALID) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods render :: Selection VALID -> Rendering Source #
Merge (SelectionSet a) => Merge (Selection a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> Selection a -> Selection a -> m (Selection a) Source #
SelectionTree (Selection VALID) Source #
Instance details Defined in Data.Morpheus.Types.SelectionTree Methods isLeaf :: Selection VALID -> Bool Source # getChildrenList :: Selection VALID -> [Selection VALID] Source # getName :: IsString name => Selection VALID -> name Source #

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

data Fragment (stage :: Stage) Source #

Constructors

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

Instances

KeyOf FieldName (Fragment s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods keyOf :: Fragment s -> FieldName Source #
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 #
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 #
Lift (Fragment stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: Fragment stage -> Q Exp #

data Operation (s :: Stage) Source #

Constructors

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

Instances

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 #
Lift (Operation s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: Operation s -> Q Exp #
RenderGQL (Operation VALID) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods render :: Operation VALID -> Rendering Source #

data Variable (stage :: Stage) Source #

Constructors

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

Instances

KeyOf FieldName (Variable s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods keyOf :: Variable s -> FieldName Source #
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 #
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 #
Lift (Variable stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: Variable stage -> Q Exp #

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

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

type DataEnum s = [DataEnumValue s] Source #

type FieldsDefinition cat s = Fields (FieldDefinition cat s) Source #

type ArgumentDefinition = FieldDefinition IN Source #

type DataUnion s = [UnionMember OUT s] Source #

data ArgumentsDefinition s Source #

Constructors

ArgumentsDefinition
Fields argumentsTypename :: Maybe TypeName arguments :: OrdMap FieldName (ArgumentDefinition s)

Instances

Selectable FieldName (ArgumentDefinition s) (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods selectOr :: d -> (ArgumentDefinition s -> d) -> FieldName -> ArgumentsDefinition s -> d Source #
Show (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods showsPrec :: Int -> ArgumentsDefinition s -> ShowS # show :: ArgumentsDefinition s -> String # showList :: [ArgumentsDefinition s] -> ShowS #
Lift (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: ArgumentsDefinition s -> Q Exp #
RenderGQL (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods render :: ArgumentsDefinition s -> Rendering Source #
Listable (ArgumentDefinition s) (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods elems :: ArgumentsDefinition s -> [ArgumentDefinition s] Source # fromElems :: (Monad m, Failure ValidationErrors m) => [ArgumentDefinition s] -> m (ArgumentsDefinition s) Source #
Collection (ArgumentDefinition s) (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods empty :: ArgumentsDefinition s Source # singleton :: ArgumentDefinition s -> ArgumentsDefinition s Source #

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

Constructors

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

Instances

ToCategory FieldDefinition a ANY Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods toCategory :: FieldDefinition a s -> FieldDefinition ANY s Source #
Selectable FieldName (ArgumentDefinition s) (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods selectOr :: d -> (ArgumentDefinition s -> d) -> FieldName -> ArgumentsDefinition s -> d Source #
Selectable FieldName (ArgumentDefinition s) (DirectiveDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods selectOr :: d -> (ArgumentDefinition s -> d) -> FieldName -> DirectiveDefinition s -> d Source #
Selectable FieldName (ArgumentDefinition s) (FieldDefinition OUT s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods selectOr :: d -> (ArgumentDefinition s -> d) -> FieldName -> FieldDefinition OUT s -> d Source #
KeyOf FieldName (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: FieldDefinition cat s -> FieldName Source #
Selectable FieldName (FieldDefinition cat s) (Fields (FieldDefinition cat s)) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods selectOr :: d -> (FieldDefinition cat s -> d) -> FieldName -> Fields (FieldDefinition cat s) -> d Source #
Listable (ArgumentDefinition s) (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods elems :: ArgumentsDefinition s -> [ArgumentDefinition s] Source # fromElems :: (Monad m, Failure ValidationErrors m) => [ArgumentDefinition s] -> m (ArgumentsDefinition s) Source #
Collection (ArgumentDefinition s) (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods empty :: ArgumentsDefinition s Source # singleton :: ArgumentDefinition s -> ArgumentsDefinition s Source #
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 #
Lift (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: FieldDefinition cat s -> Q Exp #
RenderGQL (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods render :: FieldDefinition cat s -> Rendering Source #
RenderGQL (FieldsDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods render :: FieldsDefinition cat s -> Rendering Source #
Merge (FieldsDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> FieldsDefinition cat s -> FieldsDefinition cat s -> m (FieldsDefinition cat s) Source #

type InputFieldsDefinition s = Fields (InputValueDefinition s) Source #

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

Constructors

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

Instances

FromCategory (TypeContent TRUE) ANY IMPLEMENTABLE Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: TypeContent TRUE ANY s -> Maybe (TypeContent TRUE IMPLEMENTABLE s) Source #
FromCategory (TypeContent TRUE) ANY OBJECT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: 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 :: TypeContent TRUE ANY s -> Maybe (TypeContent TRUE OUT s) Source #
FromCategory (TypeContent TRUE) ANY IN Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: TypeContent TRUE ANY s -> Maybe (TypeContent TRUE IN s) Source #
ToCategory (TypeContent TRUE) a ANY Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toCategory :: TypeContent TRUE a s -> TypeContent TRUE ANY s Source #
ToCategory (TypeContent TRUE) OBJECT IMPLEMENTABLE Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toCategory :: TypeContent TRUE OBJECT s -> TypeContent TRUE IMPLEMENTABLE 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 #
Lift (TypeContent a b s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: TypeContent a b s -> Q Exp #

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

Constructors

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

Instances

FromCategory (TypeContent TRUE) cat cat' => FromCategory TypeDefinition cat cat' Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: 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 :: TypeDefinition cat s -> TypeDefinition cat' s Source #
KeyOf TypeName (TypeDefinition a s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods keyOf :: TypeDefinition a s -> TypeName Source #
Selectable TypeName (TypeDefinition ANY s) (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods selectOr :: d -> (TypeDefinition ANY s -> d) -> TypeName -> Schema s -> d Source #
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 #
Lift (TypeDefinition a s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: TypeDefinition a s -> Q Exp #
RenderGQL (TypeDefinition a s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: TypeDefinition a s -> Rendering Source #
Listable (TypeDefinition ANY s) (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods elems :: Schema s -> [TypeDefinition ANY s] Source # fromElems :: (Monad m, Failure ValidationErrors m) => [TypeDefinition ANY s] -> m (Schema s) Source #

data Schema (s :: Stage) Source #

Constructors

Schema
Fields types :: TypeLib s query :: TypeDefinition OBJECT s mutation :: Maybe (TypeDefinition OBJECT s) subscription :: Maybe (TypeDefinition OBJECT s) directiveDefinitions :: [DirectiveDefinition s]

Instances

Selectable TypeName (TypeDefinition ANY s) (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods selectOr :: d -> (TypeDefinition ANY s -> d) -> TypeName -> Schema s -> d 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 #
Lift (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: Schema s -> Q Exp #
RenderGQL (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: Schema s -> Rendering Source #
Merge (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> Schema s -> Schema s -> m (Schema s) Source #
Listable (TypeDefinition ANY s) (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods elems :: Schema s -> [TypeDefinition ANY s] Source # fromElems :: (Monad m, Failure ValidationErrors m) => [TypeDefinition ANY s] -> m (Schema s) Source #

data DataTypeWrapper Source #

Constructors

ListType
NonNullType

Instances

Show DataTypeWrapper Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> DataTypeWrapper -> ShowS # show :: DataTypeWrapper -> String # showList :: [DataTypeWrapper] -> ShowS #
Lift DataTypeWrapper Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: DataTypeWrapper -> Q Exp #

data TypeKind Source #

Constructors

KindScalar
KindObject (Maybe OperationType)
KindUnion
KindEnum
KindInputObject
KindList
KindNonNull
KindInputUnion
KindInterface

Instances

Eq TypeKind Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: TypeKind -> TypeKind -> Bool # (/=) :: TypeKind -> TypeKind -> Bool #
Show TypeKind Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> TypeKind -> ShowS # show :: TypeKind -> String # showList :: [TypeKind] -> ShowS #
Lift TypeKind Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: TypeKind -> Q Exp #
RenderGQL TypeKind Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods render :: TypeKind -> Rendering Source #

data DataFingerprint Source #

Constructors

DataFingerprint TypeName [String]

Instances

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

data TypeWrapper Source #

Constructors

TypeList
TypeMaybe

Instances

Eq TypeWrapper Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: TypeWrapper -> TypeWrapper -> Bool # (/=) :: TypeWrapper -> TypeWrapper -> Bool #
Show TypeWrapper Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> TypeWrapper -> ShowS # show :: TypeWrapper -> String # showList :: [TypeWrapper] -> ShowS #
Lift TypeWrapper Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: TypeWrapper -> Q Exp #

data TypeRef Source #

Constructors

TypeRef
Fields typeConName :: TypeName typeArgs :: Maybe TypeName typeWrappers :: [TypeWrapper]

Instances

Eq TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: TypeRef -> TypeRef -> Bool # (/=) :: TypeRef -> TypeRef -> Bool #
Show TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> TypeRef -> ShowS # show :: TypeRef -> String # showList :: [TypeRef] -> ShowS #
Lift TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: TypeRef -> Q Exp #
RenderGQL TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods render :: TypeRef -> Rendering Source #
Msg TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: TypeRef -> Message Source # msgSepBy :: Text -> [TypeRef] -> Message Source #

data DataEnumValue s Source #

Constructors

DataEnumValue
Fields enumName :: TypeName enumDescription :: Maybe Description enumDirectives :: [Directive s]

Instances

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 #
Lift (DataEnumValue s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: DataEnumValue s -> Q Exp #
RenderGQL (DataEnumValue s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: DataEnumValue s -> Rendering Source #

data OperationType Source #

Constructors

Query
Subscription
Mutation

Instances

Eq OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: OperationType -> OperationType -> Bool # (/=) :: OperationType -> OperationType -> Bool #
Show OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> OperationType -> ShowS # show :: OperationType -> String # showList :: [OperationType] -> ShowS #
Generic OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Associated Types type Rep OperationType :: Type -> Type # Methods from :: OperationType -> Rep OperationType x # to :: Rep OperationType x -> OperationType #
Lift OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: OperationType -> Q Exp #
Hashable OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods hashWithSalt :: Int -> OperationType -> Int # hash :: OperationType -> Int #
RenderGQL OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods render :: OperationType -> Rendering Source #
Msg OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: OperationType -> Message Source # msgSepBy :: Text -> [OperationType] -> Message Source #
KeyOf OperationType RootOperationTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods keyOf :: RootOperationTypeDefinition -> OperationType Source #
Selectable OperationType RootOperationTypeDefinition SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods selectOr :: d -> (RootOperationTypeDefinition -> d) -> OperationType -> SchemaDefinition -> d Source #
type Rep OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base type Rep OperationType = D1 (MetaData "OperationType" "Data.Morpheus.Types.Internal.AST.Base" "morpheus-graphql-core-0.14.0-DVAWEySgEHXLULGJqXC6uS" False) (C1 (MetaCons "Query" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Subscription" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Mutation" PrefixI False) (U1 :: Type -> Type)))

type QUERY = Query Source #

type MUTATION = Mutation Source #

type SUBSCRIPTION = Subscription Source #

data Directive (s :: Stage) Source #

Constructors

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

Instances

KeyOf FieldName (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: Directive s -> FieldName Source #
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 #
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 #
Lift (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: Directive s -> Q Exp #

data ConsD cat s Source #

Constructors

ConsD
Fields cName :: TypeName cFields :: [FieldDefinition cat s]

Instances

Show (ConsD cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TH Methods showsPrec :: Int -> ConsD cat s -> ShowS # show :: ConsD cat s -> String # showList :: [ConsD cat s] -> ShowS #

data TypeCategory Source #

type DataInputUnion s = [UnionMember IN s] Source #

data VariableContent (stage :: Stage) where Source #

Constructors

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

Instances

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 #
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 #
Lift (VariableContent a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: VariableContent a -> Q Exp #

type TypeLib 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 #

toListField :: FieldDefinition cat s -> FieldDefinition cat s Source #

isObject :: TypeKind -> Bool Source #

isInput :: TypeKind -> Bool Source #

toHSWrappers :: [DataTypeWrapper] -> [TypeWrapper] Source #

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

toGQLWrapper :: [TypeWrapper] -> [DataTypeWrapper] Source #

isWeaker :: [TypeWrapper] -> [TypeWrapper] -> Bool Source #

isSubscription :: TypeKind -> Bool Source #

isOutputObject :: TypeKind -> Bool Source #

isNotSystemTypeName :: TypeName -> Bool Source #

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

mkEnumContent :: ELEM LEAF a ~ TRUE => [TypeName] -> TypeContent TRUE a s Source #

createScalarType :: ELEM LEAF a ~ TRUE => TypeName -> TypeDefinition a s Source #

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

mkTypeRef :: TypeName -> TypeRef Source #

mkInputUnionFields :: TypeName -> [UnionMember IN s] -> FieldsDefinition IN s Source #

fieldVisibility :: FieldDefinition cat s -> Bool Source #

insertType :: (Monad m, Failure ValidationErrors m) => TypeDefinition cat s -> UpdateT m (Schema s) Source #

lookupDeprecated :: [Directive s] -> Maybe (Directive s) Source #

lookupDeprecatedReason :: Directive s -> Maybe Description Source #

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

hsTypeName :: TypeName -> TypeName Source #

data GQLQuery Source #

Constructors

GQLQuery
Fields fragments :: Fragments RAW operation :: Operation RAW inputVariables :: [(FieldName, ResolvedValue)]

Instances

Show GQLQuery Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST Methods showsPrec :: Int -> GQLQuery -> ShowS # show :: GQLQuery -> String # showList :: [GQLQuery] -> ShowS #
Lift GQLQuery Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST Methods lift :: GQLQuery -> Q Exp #

type Variables = HashMap FieldName ResolvedValue Source #

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

data OrdMap k a Source #

Instances

(Eq k, Hashable k) => Selectable k a (OrdMap k a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrdMap Methods selectOr :: d -> (a -> d) -> k -> OrdMap k a -> d Source #
(NameCollision a, KeyOf k a, Hashable k) => Listable a (OrdMap k a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrdMap Methods elems :: OrdMap k a -> [a] Source # fromElems :: (Monad m, Failure ValidationErrors m) => [a] -> m (OrdMap k a) Source #
(KeyOf k a, Hashable k) => Collection a (OrdMap k a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrdMap Methods empty :: OrdMap k a Source # singleton :: a -> OrdMap k a Source #
Functor (OrdMap k) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrdMap Methods fmap :: (a -> b) -> OrdMap k a -> OrdMap k b # (<$) :: a -> OrdMap k b -> OrdMap k a #
(Eq k, Hashable k) => Foldable (OrdMap k) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrdMap Methods fold :: Monoid m => OrdMap k m -> 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 #
(Eq k, Hashable k) => Traversable (OrdMap k) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.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) #
(Eq k, Eq a) => Eq (OrdMap k a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrdMap Methods (==) :: OrdMap k a -> OrdMap k a -> Bool # (/=) :: OrdMap k a -> OrdMap k a -> Bool #
(Show k, Show a) => Show (OrdMap k a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrdMap Methods showsPrec :: Int -> OrdMap k a -> ShowS # show :: OrdMap k a -> String # showList :: [OrdMap k a] -> ShowS #
(Lift a, Lift k, Eq k, Hashable k) => Lift (OrdMap k a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrdMap Methods lift :: OrdMap k a -> Q Exp #
(NameCollision a, KeyOf k a) => Merge (OrdMap k a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrdMap Methods merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> OrdMap k a -> OrdMap k a -> m (OrdMap k a) Source #

data GQLError Source #

Constructors

GQLError
Fields message :: Message locations :: [Position]

Instances

Eq GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: GQLError -> GQLError -> Bool # (/=) :: GQLError -> GQLError -> Bool #
Show GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> GQLError -> ShowS # show :: GQLError -> String # showList :: [GQLError] -> ShowS #
Generic GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Associated Types type Rep GQLError :: Type -> Type # Methods from :: GQLError -> Rep GQLError x # to :: Rep GQLError x -> GQLError #
ToJSON GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods toJSON :: GQLError -> Value # toEncoding :: GQLError -> Encoding # toJSONList :: [GQLError] -> Value # toEncodingList :: [GQLError] -> Encoding #
FromJSON GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods parseJSON :: Value -> Parser GQLError # parseJSONList :: Value -> Parser [GQLError] #
Monad m => Failure GQLErrors (ResultT event m) Source #
Instance details Defined in Data.Morpheus.Types.Internal.Resolving.Core Methods failure :: GQLErrors -> ResultT event m v Source #
(LiftOperation o, Monad m) => Failure GQLErrors (Resolver o e m) Source #
Instance details Defined in Data.Morpheus.Types.Internal.Resolving.Resolver Methods failure :: GQLErrors -> Resolver o e m v Source #
Failure [GQLError] (Result ev) Source #
Instance details Defined in Data.Morpheus.Types.Internal.Resolving.Core Methods failure :: [GQLError] -> Result ev v Source #
type Rep GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base type Rep GQLError = D1 (MetaData "GQLError" "Data.Morpheus.Types.Internal.AST.Base" "morpheus-graphql-core-0.14.0-DVAWEySgEHXLULGJqXC6uS" False) (C1 (MetaCons "GQLError" PrefixI True) (S1 (MetaSel (Just "message") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Message) :*: S1 (MetaSel (Just "locations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Position])))

type GQLErrors = [GQLError] Source #

data ObjectEntry (s :: Stage) Source #

Constructors

ObjectEntry
Fields entryName :: FieldName entryValue :: Value s

Instances

KeyOf FieldName (ObjectEntry s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods keyOf :: ObjectEntry s -> FieldName Source #
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 #
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 #
Lift (ObjectEntry a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: ObjectEntry a -> Q Exp #
RenderGQL (ObjectEntry a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods render :: ObjectEntry a -> Rendering Source #

data UnionTag Source #

Constructors

UnionTag
Fields unionTagName :: TypeName unionTagSelection :: SelectionSet VALID

Instances

Eq UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods (==) :: UnionTag -> UnionTag -> Bool # (/=) :: UnionTag -> UnionTag -> Bool #
Show UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods showsPrec :: Int -> UnionTag -> ShowS # show :: UnionTag -> String # showList :: [UnionTag] -> ShowS #
Lift UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: UnionTag -> Q Exp #
RenderGQL UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods render :: UnionTag -> Rendering Source #
Merge UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> UnionTag -> UnionTag -> m UnionTag Source #
KeyOf TypeName UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods keyOf :: UnionTag -> TypeName Source #

__inputname :: FieldName Source #

updateSchema :: (Monad m, Failure ValidationErrors m) => TypeName -> DataFingerprint -> [UpdateT m (Schema s)] -> (a -> TypeDefinition cat s) -> a -> UpdateT m (Schema s) Source #

internalFingerprint :: TypeName -> [String] -> DataFingerprint Source #

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 #

newtype TypeName Source #

Constructors

TypeName
Fields readTypeName :: Text

Instances

Eq TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: TypeName -> TypeName -> Bool # (/=) :: TypeName -> TypeName -> Bool #
Ord TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods compare :: TypeName -> TypeName -> Ordering # (<) :: TypeName -> TypeName -> Bool # (<=) :: TypeName -> TypeName -> Bool # (>) :: TypeName -> TypeName -> Bool # (>=) :: TypeName -> TypeName -> Bool # max :: TypeName -> TypeName -> TypeName # min :: TypeName -> TypeName -> TypeName #
Show TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> TypeName -> ShowS # show :: TypeName -> String # showList :: [TypeName] -> ShowS #
IsString TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods fromString :: String -> TypeName #
Generic TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Associated Types type Rep TypeName :: Type -> Type # Methods from :: TypeName -> Rep TypeName x # to :: Rep TypeName x -> TypeName #
Semigroup TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (<>) :: TypeName -> TypeName -> TypeName # sconcat :: NonEmpty TypeName -> TypeName # stimes :: Integral b => b -> TypeName -> TypeName #
Lift TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: TypeName -> Q Exp #
Hashable TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods hashWithSalt :: Int -> TypeName -> Int # hash :: TypeName -> Int #
ToJSON TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods toJSON :: TypeName -> Value # toEncoding :: TypeName -> Encoding # toJSONList :: [TypeName] -> Value # toEncodingList :: [TypeName] -> Encoding #
FromJSON TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods parseJSON :: Value -> Parser TypeName # parseJSONList :: Value -> Parser [TypeName] #
RenderGQL TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods render :: TypeName -> Rendering Source #
Msg TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: TypeName -> Message Source # msgSepBy :: Text -> [TypeName] -> Message Source #
ToName TypeName Source #
Instance details Defined in Data.Morpheus.Internal.TH Methods toName :: TypeName -> Name Source #
KeyOf TypeName TypeNameRef Source #
Instance details Defined in Data.Morpheus.Internal.Utils Methods keyOf :: TypeNameRef -> TypeName Source #
KeyOf TypeName SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods keyOf :: SchemaDefinition -> TypeName Source #
KeyOf TypeName UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods keyOf :: UnionTag -> TypeName 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.TypeSystem Methods keyOf :: UnionMember cat s -> TypeName Source #
Selectable TypeName (TypeDefinition ANY s) (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods selectOr :: d -> (TypeDefinition ANY s -> d) -> TypeName -> Schema s -> d Source #
type Rep TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base type Rep TypeName = D1 (MetaData "TypeName" "Data.Morpheus.Types.Internal.AST.Base" "morpheus-graphql-core-0.14.0-DVAWEySgEHXLULGJqXC6uS" True) (C1 (MetaCons "TypeName" PrefixI True) (S1 (MetaSel (Just "readTypeName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

type Token = Text Source #

class Msg a where Source #

Minimal complete definition

msg

Methods

msg :: a -> Message Source #

msgSepBy :: Text -> [a] -> Message Source #

Instances

Msg ByteString Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: ByteString -> Message Source # msgSepBy :: Text -> [ByteString] -> Message Source #
Msg Text Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: Text -> Message Source # msgSepBy :: Text -> [Text] -> Message Source #
Msg Value Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: Value -> Message Source # msgSepBy :: Text -> [Value] -> Message Source #
Msg String Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: String -> Message Source # msgSepBy :: Text -> [String] -> Message Source #
Msg TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: TypeRef -> Message Source # msgSepBy :: Text -> [TypeRef] -> Message Source #
Msg OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: OperationType -> Message Source # msgSepBy :: Text -> [OperationType] -> Message Source #
Msg TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: TypeName -> Message Source # msgSepBy :: Text -> [TypeName] -> Message Source #
Msg FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: FieldName -> Message Source # msgSepBy :: Text -> [FieldName] -> Message Source #
Msg InternalError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: InternalError -> Message Source # msgSepBy :: Text -> [InternalError] -> Message Source #
Msg Message Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: Message -> Message Source # msgSepBy :: Text -> [Message] -> Message Source #
Msg DirectiveLocation Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods msg :: DirectiveLocation -> Message Source # msgSepBy :: Text -> [DirectiveLocation] -> Message Source #
Msg (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods msg :: Value a -> Message Source # msgSepBy :: Text -> [Value a] -> Message Source #
Msg (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods msg :: UnionMember cat s -> Message Source # msgSepBy :: Text -> [UnionMember cat s] -> Message Source #

intercalateName :: FieldName -> [FieldName] -> FieldName Source #

toFieldName :: TypeName -> FieldName Source #

data TypeNameRef Source #

Constructors

TypeNameRef
Fields typeNameRef :: TypeName typeNamePosition :: Position

Instances

Eq TypeNameRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: TypeNameRef -> TypeNameRef -> Bool # (/=) :: TypeNameRef -> TypeNameRef -> Bool #
Show TypeNameRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> TypeNameRef -> ShowS # show :: TypeNameRef -> String # showList :: [TypeNameRef] -> ShowS #
Lift TypeNameRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: TypeNameRef -> Q Exp #
KeyOf TypeName TypeNameRef Source #
Instance details Defined in Data.Morpheus.Internal.Utils Methods keyOf :: TypeNameRef -> TypeName Source #

isEnum :: [ConsD cat s] -> Bool Source #

newtype Fields def Source #

Constructors

Fields
Fields unFields :: OrdMap FieldName def

Instances

Functor Fields Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods fmap :: (a -> b) -> Fields a -> Fields b # (<$) :: a -> Fields b -> Fields a #
Foldable Fields Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods fold :: Monoid m => Fields m -> m # foldMap :: Monoid m => (a -> m) -> Fields a -> m # foldr :: (a -> b -> b) -> b -> Fields a -> b # foldr' :: (a -> b -> b) -> b -> Fields a -> b # foldl :: (b -> a -> b) -> b -> Fields a -> b # foldl' :: (b -> a -> b) -> b -> Fields a -> b # foldr1 :: (a -> a -> a) -> Fields a -> a # foldl1 :: (a -> a -> a) -> Fields a -> a # toList :: Fields a -> [a] # null :: Fields a -> Bool # length :: Fields a -> Int # elem :: Eq a => a -> Fields a -> Bool # maximum :: Ord a => Fields a -> a # minimum :: Ord a => Fields a -> a # sum :: Num a => Fields a -> a # product :: Num a => Fields a -> a #
Traversable Fields Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods traverse :: Applicative f => (a -> f b) -> Fields a -> f (Fields b) # sequenceA :: Applicative f => Fields (f a) -> f (Fields a) # mapM :: Monad m => (a -> m b) -> Fields a -> m (Fields b) # sequence :: Monad m => Fields (m a) -> m (Fields a) #
(KeyOf FieldName def, NameCollision def) => Listable def (Fields def) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods elems :: Fields def -> [def] Source # fromElems :: (Monad m, Failure ValidationErrors m) => [def] -> m (Fields def) Source #
KeyOf FieldName def => Collection def (Fields def) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods empty :: Fields def Source # singleton :: def -> Fields def Source #
Selectable FieldName (FieldDefinition cat s) (Fields (FieldDefinition cat s)) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods selectOr :: d -> (FieldDefinition cat s -> d) -> FieldName -> Fields (FieldDefinition cat s) -> d Source #
Show def => Show (Fields def) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods showsPrec :: Int -> Fields def -> ShowS # show :: Fields def -> String # showList :: [Fields def] -> ShowS #
Lift def => Lift (Fields def) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: Fields def -> Q Exp #
RenderGQL (FieldsDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods render :: FieldsDefinition cat s -> Rendering Source #
Merge (FieldsDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods merge :: (Monad m, Failure ValidationErrors m) => [Ref] -> FieldsDefinition cat s -> FieldsDefinition cat s -> m (FieldsDefinition cat s) Source #

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

mkCons :: TypeName -> FieldsDefinition cat s -> ConsD cat s Source #

mkConsEnum :: DataEnumValue s -> ConsD cat s Source #

type Directives s = [Directive s] Source #

type DirectiveDefinitions s = [DirectiveDefinition s] Source #

data DirectiveDefinition s Source #

Constructors

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

Instances

KeyOf FieldName (DirectiveDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: DirectiveDefinition s -> FieldName Source #
Selectable FieldName (ArgumentDefinition s) (DirectiveDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods selectOr :: d -> (ArgumentDefinition s -> d) -> FieldName -> DirectiveDefinition s -> d 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 #
Lift (DirectiveDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: DirectiveDefinition s -> Q Exp #

data DirectiveLocation Source #

Constructors

QUERY
MUTATION
SUBSCRIPTION
FIELD
FRAGMENT_DEFINITION
FRAGMENT_SPREAD
INLINE_FRAGMENT
SCHEMA
SCALAR
OBJECT
FIELD_DEFINITION
ARGUMENT_DEFINITION
INTERFACE
UNION
ENUM
ENUM_VALUE
INPUT_OBJECT
INPUT_FIELD_DEFINITION

Instances

Eq DirectiveLocation Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods (==) :: DirectiveLocation -> DirectiveLocation -> Bool # (/=) :: DirectiveLocation -> DirectiveLocation -> Bool #
Show DirectiveLocation Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods showsPrec :: Int -> DirectiveLocation -> ShowS # show :: DirectiveLocation -> String # showList :: [DirectiveLocation] -> ShowS #
Lift DirectiveLocation Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods lift :: DirectiveLocation -> Q Exp #
Msg DirectiveLocation Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods msg :: DirectiveLocation -> Message Source # msgSepBy :: Text -> [DirectiveLocation] -> Message Source #

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

Constructors

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

Instances

ToCategory (FieldContent TRUE) a ANY Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods toCategory :: 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 #
Lift (FieldContent bool cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: FieldContent bool cat s -> Q Exp #

fieldContentArgs :: FieldContent b cat s -> ArgumentsDefinition s Source #

mkInputValue :: FieldName -> [TypeWrapper] -> TypeName -> FieldDefinition cat s Source #

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

data TypeNameTH Source #

Constructors

TypeNameTH
Fields namespace :: [FieldName] typename :: TypeName

Instances

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

isOutput :: TypeKind -> Bool Source #

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

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

Constructors

UnionMember
Fields memberName :: TypeName visibility :: Bool

Instances

KeyOf TypeName (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods keyOf :: UnionMember cat s -> TypeName Source #
Eq (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods (==) :: UnionMember cat s -> UnionMember cat s -> Bool # (/=) :: UnionMember cat s -> UnionMember cat s -> Bool #
Show (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> UnionMember cat s -> ShowS # show :: UnionMember cat s -> String # showList :: [UnionMember cat s] -> ShowS #
Lift (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: UnionMember cat s -> Q Exp #
RenderGQL (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: UnionMember cat s -> Rendering Source #
Msg (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods msg :: UnionMember cat s -> Message Source # msgSepBy :: Text -> [UnionMember cat s] -> Message Source #

mkUnionMember :: TypeName -> UnionMember cat s Source #

data RawTypeDefinition Source #

Constructors

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

Instances

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

Eq RootOperationTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods (==) :: RootOperationTypeDefinition -> RootOperationTypeDefinition -> Bool # (/=) :: RootOperationTypeDefinition -> RootOperationTypeDefinition -> Bool #
Show RootOperationTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> RootOperationTypeDefinition -> ShowS # show :: RootOperationTypeDefinition -> String # showList :: [RootOperationTypeDefinition] -> ShowS #
KeyOf OperationType RootOperationTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods keyOf :: RootOperationTypeDefinition -> OperationType Source #
Selectable OperationType RootOperationTypeDefinition SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods selectOr :: d -> (RootOperationTypeDefinition -> d) -> OperationType -> SchemaDefinition -> d Source #

type UnionSelection (s :: Stage) = MergeSet s UnionTag Source #

data SchemaDefinition Source #

Constructors

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

Instances

Show SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> SchemaDefinition -> ShowS # show :: SchemaDefinition -> String # showList :: [SchemaDefinition] -> ShowS #
KeyOf TypeName SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods keyOf :: SchemaDefinition -> TypeName Source #
Selectable OperationType RootOperationTypeDefinition SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods selectOr :: d -> (RootOperationTypeDefinition -> d) -> OperationType -> SchemaDefinition -> d Source #

buildSchema :: (Monad m, Failure ValidationErrors m) => (Maybe SchemaDefinition, [TypeDefinition ANY s], [DirectiveDefinition s]) -> m (Schema s) Source #

newtype InternalError Source #

Constructors

InternalError
Fields readInternalError :: Text

Instances

Eq InternalError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: InternalError -> InternalError -> Bool # (/=) :: InternalError -> InternalError -> Bool #
Ord InternalError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods compare :: InternalError -> InternalError -> Ordering # (<) :: InternalError -> InternalError -> Bool # (<=) :: InternalError -> InternalError -> Bool # (>) :: InternalError -> InternalError -> Bool # (>=) :: InternalError -> InternalError -> Bool # max :: InternalError -> InternalError -> InternalError # min :: InternalError -> InternalError -> InternalError #
Show InternalError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> InternalError -> ShowS # show :: InternalError -> String # showList :: [InternalError] -> ShowS #
IsString InternalError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods fromString :: String -> InternalError #
Generic InternalError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Associated Types type Rep InternalError :: Type -> Type # Methods from :: InternalError -> Rep InternalError x # to :: Rep InternalError x -> InternalError #
Semigroup InternalError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (<>) :: InternalError -> InternalError -> InternalError # sconcat :: NonEmpty InternalError -> InternalError # stimes :: Integral b => b -> InternalError -> InternalError #
Hashable InternalError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods hashWithSalt :: Int -> InternalError -> Int # hash :: InternalError -> Int #
ToJSON InternalError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods toJSON :: InternalError -> Value # toEncoding :: InternalError -> Encoding # toJSONList :: [InternalError] -> Value # toEncodingList :: [InternalError] -> Encoding #
FromJSON InternalError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods parseJSON :: Value -> Parser InternalError # parseJSONList :: Value -> Parser [InternalError] #
Msg InternalError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: InternalError -> Message Source # msgSepBy :: Text -> [InternalError] -> Message Source #
type Rep InternalError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base type Rep InternalError = D1 (MetaData "InternalError" "Data.Morpheus.Types.Internal.AST.Base" "morpheus-graphql-core-0.14.0-DVAWEySgEHXLULGJqXC6uS" True) (C1 (MetaCons "InternalError" PrefixI True) (S1 (MetaSel (Just "readInternalError") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data ValidationError Source #

Constructors

ValidationError
Fields validationMessage :: Message validationLocations :: [Position]

Instances

Show ValidationError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> ValidationError -> ShowS # show :: ValidationError -> String # showList :: [ValidationError] -> ShowS #
IsString ValidationError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods fromString :: String -> ValidationError #
Semigroup ValidationError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (<>) :: ValidationError -> ValidationError -> ValidationError # sconcat :: NonEmpty ValidationError -> ValidationError # stimes :: Integral b => b -> ValidationError -> ValidationError #
(Stream s, Ord e, Failure GQLErrors m) => Failure ValidationErrors (ParsecT e s m) Source #
Instance details Defined in Data.Morpheus.Internal.Utils Methods failure :: ValidationErrors -> ParsecT e s m v Source #
Failure [ValidationError] (Result ev) Source #
Instance details Defined in Data.Morpheus.Types.Internal.Resolving.Core Methods failure :: [ValidationError] -> Result ev v Source #

msgInternal :: Msg a => a -> InternalError Source #

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

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

used for perserving 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 #

msgValidation :: Msg a => a -> ValidationError Source #

withPosition :: Maybe Position -> ValidationError -> ValidationError Source #

type ValidationErrors = [ValidationError] Source #

toGQLError :: ValidationError -> GQLError Source #

type family ELEM (elemKind :: TypeCategory) (setOfKind :: TypeCategory) :: Bool Source #

Instances

type ELEM a ANY Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM a ANY = TRUE
type ELEM LEAF LEAF Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM LEAF LEAF = TRUE
type ELEM LEAF IMPLEMENTABLE Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM LEAF IMPLEMENTABLE = FALSE
type ELEM LEAF OBJECT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM LEAF OBJECT = FALSE
type ELEM LEAF OUT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM LEAF OUT = TRUE
type ELEM LEAF IN Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM LEAF IN = TRUE
type ELEM IMPLEMENTABLE LEAF Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM IMPLEMENTABLE LEAF = FALSE
type ELEM IMPLEMENTABLE IMPLEMENTABLE Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM IMPLEMENTABLE IMPLEMENTABLE = TRUE
type ELEM IMPLEMENTABLE OBJECT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM IMPLEMENTABLE OBJECT = FALSE
type ELEM IMPLEMENTABLE OUT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM IMPLEMENTABLE OUT = TRUE
type ELEM IMPLEMENTABLE IN Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM IMPLEMENTABLE IN = FALSE
type ELEM OBJECT LEAF Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM OBJECT LEAF = FALSE
type ELEM OBJECT IMPLEMENTABLE Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM OBJECT IMPLEMENTABLE = TRUE
type ELEM OBJECT OBJECT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM OBJECT OBJECT = TRUE
type ELEM OBJECT OUT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM OBJECT OUT = TRUE
type ELEM OBJECT IN Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM OBJECT IN = FALSE
type ELEM ANY a Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM ANY a = TRUE
type ELEM OUT IMPLEMENTABLE Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM OUT IMPLEMENTABLE = FALSE
type ELEM OUT OBJECT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM OUT OBJECT = FALSE
type ELEM OUT OUT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM OUT OUT = TRUE
type ELEM OUT IN Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM OUT IN = FALSE
type ELEM IN IMPLEMENTABLE Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM IN IMPLEMENTABLE = FALSE
type ELEM IN OBJECT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM IN OBJECT = FALSE
type ELEM IN OUT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM IN OUT = FALSE
type ELEM IN IN Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeCategory type ELEM IN IN = TRUE

type LEAF = LEAF Source #

type REQURE_IMPLEMENTABLE cat = ELEM cat IMPLEMENTABLE ~ TRUE Source #

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

Methods

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

Instances

ToCategory FieldDefinition a ANY Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods toCategory :: 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 :: 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 :: FieldContent TRUE a s -> FieldContent TRUE ANY s Source #
ToCategory (TypeContent TRUE) a ANY Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toCategory :: TypeContent TRUE a s -> TypeContent TRUE ANY s Source #
ToCategory (TypeContent TRUE) OBJECT IMPLEMENTABLE Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toCategory :: TypeContent TRUE OBJECT s -> TypeContent TRUE IMPLEMENTABLE s Source #

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

Methods

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

Instances

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

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

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