Safe Haskell	None
Language	Haskell2010

Data.Morpheus.Types.Internal.AST

Synopsis

data Ref name = Ref {
- refName :: name
- refPosition :: Position
}
data Position = Position {
- line :: Int
- column :: Int
}
data Message
anonymousRef :: name -> Ref name
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 FieldName -> Variable VALID -> Value CONST
- VariableValue :: Ref FieldName -> Value RAW
- Object :: Object stage -> Value stage
- List :: [Value stage] -> Value stage
- Enum :: TypeName -> Value stage
- Scalar :: ScalarValue -> Value stage
- Null :: Value stage
data ScalarValue
- = Int Int
- | Float Double
- | String Text
- | Boolean Bool
- | Value Value
type Object a = OrdMap FieldName (ObjectEntry a)
replaceValue :: Value -> Value a
decodeScientific :: Scientific -> ScalarValue
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
data Argument (valid :: Stage) = Argument {
- argumentPosition :: Position
- argumentName :: FieldName
- argumentValue :: Value valid
}
type Arguments (s :: Stage) = OrdMap FieldName (Argument s)
type SelectionSet (s :: Stage) = MergeSet s FieldName (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 FieldName -> 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 {
- operationPosition :: Position
- operationType :: OperationType
- operationName :: Maybe FieldName
- operationArguments :: VariableDefinitions s
- operationDirectives :: Directives s
- operationSelection :: SelectionSet s
}
data Variable (stage :: Stage) = Variable {
- variablePosition :: Position
- variableName :: FieldName
- variableType :: TypeRef
- variableValue :: VariableContent (CONST_OR_VALID stage)
}
type VariableDefinitions s = OrdMap FieldName (Variable s)
type DefaultValue = Maybe ResolvedValue
getOperationName :: Maybe FieldName -> TypeName
newtype ScalarDefinition = ScalarDefinition {
- validateValue :: Value VALID -> Either Token (Value VALID)
}
type DataEnum s = [DataEnumValue s]
type FieldsDefinition cat s = OrdMap FieldName (FieldDefinition cat s)
newtype ArgumentDefinition s = ArgumentDefinition {
- argument :: FieldDefinition IN s
}
type DataUnion s = [UnionMember OUT s]
type ArgumentsDefinition s = OrdMap FieldName (ArgumentDefinition s)
data FieldDefinition (cat :: TypeCategory) (s :: Stage) = FieldDefinition {
- fieldDescription :: Maybe Description
- fieldName :: FieldName
- fieldType :: TypeRef
- fieldContent :: Maybe (FieldContent TRUE cat s)
- fieldDirectives :: [Directive s]
}
type InputFieldsDefinition s = OrdMap FieldName (InputValueDefinition s)
data TypeContent (b :: Bool) (a :: TypeCategory) (s :: Stage) where
- DataScalar :: {..} -> CondTypeContent LEAF a s
- DataEnum :: {..} -> CondTypeContent LEAF a s
- DataInputObject :: {..} -> CondTypeContent INPUT_OBJECT a s
- DataInputUnion :: {..} -> CondTypeContent IN a s
- DataObject :: {..} -> CondTypeContent OBJECT a s
- DataUnion :: {..} -> CondTypeContent OUT a s
- DataInterface :: {..} -> CondTypeContent IMPLEMENTABLE a s
data TypeDefinition (a :: TypeCategory) (s :: Stage) = TypeDefinition {
- typeDescription :: Maybe Description
- typeName :: TypeName
- typeDirectives :: Directives s
- typeContent :: TypeContent TRUE a s
}
data Schema (s :: Stage) = Schema {
- types :: 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 TypeWrapper
- = TypeList
- | TypeMaybe
data TypeRef = TypeRef {
- typeConName :: TypeName
- typeWrappers :: [TypeWrapper]
}
data DataEnumValue s = DataEnumValue {
- enumDescription :: Maybe Description
- enumName :: TypeName
- enumDirectives :: [Directive s]
}
data OperationType
- = Query
- | Subscription
- | Mutation
type QUERY = 'Query
type MUTATION = 'Mutation
type SUBSCRIPTION = 'Subscription
data Directive (s :: Stage) = Directive {
- directivePosition :: Position
- directiveName :: FieldName
- directiveArgs :: Arguments s
}
data ConsD f = ConsD {
- cName :: TypeName
- cFields :: [f]
}
data TypeCategory
- = IN
- | OUT
- | LEAF
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
toHSWrappers :: [DataTypeWrapper] -> [TypeWrapper]
isNullable :: Nullable a => a -> Bool
toGQLWrapper :: [TypeWrapper] -> [DataTypeWrapper]
isWeaker :: [TypeWrapper] -> [TypeWrapper] -> Bool
isNotSystemTypeName :: TypeName -> Bool
isLeaf :: TypeContent TRUE a s -> Bool
isResolverType :: Strictness t => t -> Bool
mkEnumContent :: LEAF <=! a => [TypeName] -> TypeContent TRUE a s
createScalarType :: LEAF <=! a => TypeName -> TypeDefinition a s
mkUnionContent :: [TypeName] -> TypeContent TRUE OUT s
mkTypeRef :: TypeName -> TypeRef
mkInputUnionFields :: [UnionMember IN s] -> FieldsDefinition IN s
fieldVisibility :: FieldDefinition cat s -> Bool
lookupDeprecated :: [Directive s] -> Maybe (Directive s)
lookupDeprecatedReason :: Directive s -> Maybe Description
lookupWith :: Eq k => (a -> k) -> k -> [a] -> Maybe a
hsTypeName :: TypeName -> TypeName
data ExecutableDocument = ExecutableDocument {
- inputVariables :: Variables
- operation :: Operation RAW
- fragments :: Fragments RAW
}
type Variables = SafeHashMap FieldName ResolvedValue
unsafeFromFields :: [FieldDefinition cat s] -> FieldsDefinition cat s
newtype OrdMap k a = OrdMap {
- mapEntries :: HashMap k (Indexed 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
}
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
fieldsToArguments :: FieldsDefinition IN s -> ArgumentsDefinition s
mkConsEnum :: DataEnumValue s -> ConsD f
type Directives s = [Directive s]
type DirectiveDefinitions s = [DirectiveDefinition s]
data DirectiveDefinition s = DirectiveDefinition {
- directiveDefinitionName :: FieldName
- directiveDefinitionDescription :: Maybe Description
- directiveDefinitionArgs :: ArgumentsDefinition s
- directiveDefinitionLocations :: [DirectiveLocation]
}
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 (IN <=? cat) cat s
- FieldArgs :: {..} -> FieldContent (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
mkObjectField :: ArgumentsDefinition s -> FieldName -> [TypeWrapper] -> TypeName -> FieldDefinition OUT s
data UnionMember (cat :: TypeCategory) (s :: Stage) = UnionMember {
- memberName :: TypeName
- nullary :: Bool
}
mkUnionMember :: TypeName -> UnionMember cat s
mkNullaryMember :: TypeName -> UnionMember cat s
data RawTypeDefinition
- = RawSchemaDefinition SchemaDefinition
- | RawTypeDefinition (TypeDefinition ANY CONST)
- | RawDirectiveDefinition (DirectiveDefinition CONST)
data RootOperationTypeDefinition = RootOperationTypeDefinition {
- rootOperationType :: OperationType
- rootOperationTypeDefinitionName :: TypeName
}
type UnionSelection (s :: Stage) = MergeSet s TypeName 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 LEAF = 'LEAF
type INPUT_OBJECT = 'INPUT_OBJECT
class ToCategory a (k :: TypeCategory) (k' :: TypeCategory) where
- toCategory :: a k (s :: Stage) -> a k' s
class FromCategory a (k :: TypeCategory) (k' :: TypeCategory) where
- fromCategory :: a k (s :: Stage) -> Maybe (a k' s)
possibleTypes :: TypeDefinition a s -> Schema s' -> [TypeName]
possibleInterfaceTypes :: TypeName -> Schema s -> [TypeDefinition ANY s]
mkField :: Maybe (FieldContent TRUE cat s) -> FieldName -> TypeRef -> FieldDefinition cat s
defineSchemaWith :: (Monad f, Failure ValidationErrors f) => [TypeDefinition cat s] -> (Maybe (TypeDefinition OBJECT s), Maybe (TypeDefinition OBJECT s), Maybe (TypeDefinition OBJECT s)) -> f (Schema s)
type (<=!) (a :: TypeCategory) (b :: TypeCategory) = (a <=? b) ~ TRUE
type family ToOBJECT (s :: TypeCategory) :: TypeCategory where ...
constraintInputUnion :: forall stage schemaStage. [UnionMember IN schemaStage] -> Object stage -> Either Message (UnionMember IN schemaStage, Value stage)
getInputUnionValue :: forall stage. Object stage -> Either Message (TypeName, Value stage)
unitFieldName :: FieldName
unitTypeName :: TypeName

Documentation

data Ref name Source #

Constructors

Ref
Fields refName :: name refPosition :: Position

Instances

Instances details

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

data Position Source #

Constructors

Position
Fields line :: Int column :: Int

Instances

Instances details

Eq Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Ord Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods compare :: Position -> Position -> Ordering # (<) :: Position -> Position -> Bool # (<=) :: Position -> Position -> Bool # (>) :: Position -> Position -> Bool # (>=) :: Position -> Position -> Bool # max :: Position -> Position -> Position # min :: Position -> Position -> Position #
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 #
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] #
Lift Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: Position -> Q Exp # liftTyped :: Position -> Q (TExp 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.17.0-7ZBOXRBXZZbKGAPpOJbGqu" '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

Instances details

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 #
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 #
Lift Message Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: Message -> Q Exp # liftTyped :: Message -> Q (TExp Message) #
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.17.0-7ZBOXRBXZZbKGAPpOJbGqu" 'True) (C1 ('MetaCons "Message" 'PrefixI 'True) (S1 ('MetaSel ('Just "readMessage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

anonymousRef :: name -> Ref name Source #

newtype FieldName Source #

Constructors

FieldName
Fields readName :: Text

Instances

Instances details

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 #
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 renderGQL :: 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 #
Lift FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: FieldName -> Q Exp # liftTyped :: FieldName -> Q (TExp FieldName) #
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 (ArgumentDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: ArgumentDefinition 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) (DirectiveDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods selectOr :: d -> (ArgumentDefinition s -> d) -> FieldName -> DirectiveDefinition s -> d Source # member :: FieldName -> DirectiveDefinition s -> Bool 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 # member :: FieldName -> FieldDefinition OUT s -> Bool Source #
KeyOf FieldName (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: FieldDefinition cat s -> FieldName Source #
RenderGQL (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: ArgumentsDefinition s -> Rendering Source #
RenderGQL (FieldsDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: FieldsDefinition cat s -> Rendering Source #
type 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.17.0-7ZBOXRBXZZbKGAPpOJbGqu" '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 FieldName -> Variable VALID -> Value CONST
VariableValue :: Ref FieldName -> Value RAW
Object :: Object stage -> Value stage
List :: [Value stage] -> Value stage
Enum :: TypeName -> Value stage
Scalar :: ScalarValue -> Value stage
Null :: Value stage

Instances

Instances details

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

data ScalarValue Source #

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

Constructors

Int Int
Float Double
String Text
Boolean Bool
Value Value

Instances

Instances details

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 #
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 renderGQL :: ScalarValue -> Rendering Source #
Lift ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: ScalarValue -> Q Exp # liftTyped :: ScalarValue -> Q (TExp ScalarValue) #
type Rep ScalarValue Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value type Rep ScalarValue = D1 ('MetaData "ScalarValue" "Data.Morpheus.Types.Internal.AST.Value" "morpheus-graphql-core-0.17.0-7ZBOXRBXZZbKGAPpOJbGqu" 'False) ((C1 ('MetaCons "Int" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "Float" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))) :+: (C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "Boolean" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "Value" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))))

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

replaceValue :: Value -> Value a Source #

decodeScientific :: Scientific -> ScalarValue Source #

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 #

data Argument (valid :: Stage) Source #

Constructors

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

Instances

Instances details

Lift (Argument valid :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: Argument valid -> Q Exp # liftTyped :: Argument valid -> Q (TExp (Argument valid)) #
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 #
RenderGQL (Argument s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: Argument s -> Rendering Source #
NameCollision (Argument s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods nameCollision :: Argument s -> ValidationError Source #

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

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

data SelectionContent (s :: Stage) where Source #

Constructors

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

Instances

Instances details

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

data Selection (s :: Stage) where Source #

Constructors

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

Instances

Instances details

Lift (Selection a :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: Selection a -> Q Exp # liftTyped :: Selection a -> Q (TExp (Selection a)) #
KeyOf FieldName (Selection s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods keyOf :: Selection s -> FieldName Source #
(Monad m, SemigroupM m (SelectionSet a), Failure ValidationErrors m) => SemigroupM m (Selection a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods mergeM :: [Ref FieldName] -> Selection a -> Selection a -> m (Selection a) 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 #
RenderGQL (Selection VALID) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods renderGQL :: Selection VALID -> Rendering Source #
SelectionTree (Selection VALID) Source #
Instance details Defined in Data.Morpheus.Types.SelectionTree 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

Instances details

Lift (Fragment stage :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: Fragment stage -> Q Exp # liftTyped :: Fragment stage -> Q (TExp (Fragment stage)) #
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 #
NameCollision (Fragment s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods nameCollision :: Fragment s -> ValidationError Source #

data Operation (s :: Stage) Source #

Constructors

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

Instances

Instances details

Lift (Operation s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: Operation s -> Q Exp # liftTyped :: Operation s -> Q (TExp (Operation s)) #
Show (Operation s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods showsPrec :: Int -> Operation s -> ShowS # show :: Operation s -> String # showList :: [Operation s] -> ShowS #
RenderGQL (Operation VALID) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods renderGQL :: Operation VALID -> Rendering Source #

data Variable (stage :: Stage) Source #

Constructors

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

Instances

Instances details

Lift (Variable stage :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: Variable stage -> Q Exp # liftTyped :: Variable stage -> Q (TExp (Variable stage)) #
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 #
NameCollision (Variable s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods nameCollision :: Variable s -> ValidationError Source #

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

type DefaultValue = Maybe ResolvedValue Source #

getOperationName :: Maybe FieldName -> TypeName Source #

newtype ScalarDefinition Source #

Constructors

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

Instances

Instances details

Eq ScalarDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods (==) :: ScalarDefinition -> ScalarDefinition -> Bool # (/=) :: ScalarDefinition -> ScalarDefinition -> Bool #
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 # liftTyped :: ScalarDefinition -> Q (TExp ScalarDefinition) #

type DataEnum s = [DataEnumValue s] Source #

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

newtype ArgumentDefinition s Source #

Constructors

ArgumentDefinition
Fields argument :: FieldDefinition IN s

Instances

Instances details

Lift (ArgumentDefinition s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: ArgumentDefinition s -> Q Exp # liftTyped :: ArgumentDefinition s -> Q (TExp (ArgumentDefinition s)) #
KeyOf FieldName (ArgumentDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: ArgumentDefinition 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 # member :: FieldName -> DirectiveDefinition s -> Bool 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 # member :: FieldName -> FieldDefinition OUT s -> Bool Source #
Eq (ArgumentDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods (==) :: ArgumentDefinition s -> ArgumentDefinition s -> Bool # (/=) :: ArgumentDefinition s -> ArgumentDefinition s -> Bool #
Show (ArgumentDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods showsPrec :: Int -> ArgumentDefinition s -> ShowS # show :: ArgumentDefinition s -> String # showList :: [ArgumentDefinition s] -> ShowS #
RenderGQL (ArgumentDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: ArgumentDefinition s -> Rendering Source #
RenderGQL (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: ArgumentsDefinition s -> Rendering Source #
NameCollision (ArgumentDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods nameCollision :: ArgumentDefinition s -> ValidationError Source #

type DataUnion s = [UnionMember OUT s] Source #

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

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

Constructors

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

Instances

Instances details

ToCategory FieldDefinition a ANY Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods toCategory :: forall (s :: Stage). FieldDefinition a s -> FieldDefinition ANY s Source #
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 # member :: FieldName -> FieldDefinition OUT s -> Bool Source #
Lift (FieldDefinition cat s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: FieldDefinition cat s -> Q Exp # liftTyped :: FieldDefinition cat s -> Q (TExp (FieldDefinition cat s)) #
KeyOf FieldName (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods keyOf :: FieldDefinition cat s -> FieldName Source #
Eq (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods (==) :: FieldDefinition cat s -> FieldDefinition cat s -> Bool # (/=) :: FieldDefinition cat s -> FieldDefinition cat s -> Bool #
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 #
RenderGQL (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: FieldDefinition cat s -> Rendering Source #
RenderGQL (FieldsDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: FieldsDefinition cat s -> Rendering Source #
NameCollision (FieldDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods nameCollision :: FieldDefinition cat s -> ValidationError Source #

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

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

Constructors

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

Instances

Instances details

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

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

Constructors

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

Instances

Instances details

FromCategory (TypeContent TRUE) cat cat' => FromCategory TypeDefinition cat cat' Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromCategory :: forall (s :: Stage). TypeDefinition cat s -> Maybe (TypeDefinition cat' s) Source #
ToCategory (TypeContent TRUE) cat cat' => ToCategory TypeDefinition cat cat' Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toCategory :: forall (s :: Stage). TypeDefinition cat s -> TypeDefinition cat' s Source #
Lift (TypeDefinition a s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: TypeDefinition a s -> Q Exp # liftTyped :: TypeDefinition a s -> Q (TExp (TypeDefinition a s)) #
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 # member :: TypeName -> Schema s -> Bool Source #
(Monad m, Failure ValidationErrors m) => FromElems (m :: Type -> Type) (TypeDefinition ANY s) (Schema s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromElems :: [TypeDefinition ANY s] -> m (Schema s) Source #
Eq (TypeDefinition a s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods (==) :: TypeDefinition a s -> TypeDefinition a s -> Bool # (/=) :: TypeDefinition a s -> TypeDefinition a s -> Bool #
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 #
RenderGQL (TypeDefinition a s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: TypeDefinition a s -> Rendering Source #
NameCollision (TypeDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods nameCollision :: TypeDefinition cat s -> ValidationError Source #
Elems (TypeDefinition ANY s) (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods elems :: Schema s -> [TypeDefinition ANY 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

Instances details

Lift (Schema s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: Schema s -> Q Exp # liftTyped :: Schema s -> Q (TExp (Schema s)) #
(Monad m, Failure ValidationErrors m) => SemigroupM m (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods mergeM :: [Ref FieldName] -> Schema s -> Schema s -> m (Schema s) 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 # member :: TypeName -> Schema s -> Bool Source #
Show (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> Schema s -> ShowS # show :: Schema s -> String # showList :: [Schema s] -> ShowS #
RenderGQL (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: Schema s -> Rendering Source #
(Monad m, Failure ValidationErrors m) => FromElems (m :: Type -> Type) (TypeDefinition ANY s) (Schema s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromElems :: [TypeDefinition ANY s] -> m (Schema s) Source #
Elems (TypeDefinition ANY s) (Schema s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods elems :: Schema s -> [TypeDefinition ANY s] Source #

data DataTypeWrapper Source #

Constructors

ListType
NonNullType

Instances

Instances details

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

data TypeKind Source #

Constructors

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

Instances

Instances details

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

data TypeWrapper Source #

Constructors

TypeList
TypeMaybe

Instances

Instances details

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

data TypeRef Source #

Constructors

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

Instances

Instances details

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

data DataEnumValue s Source #

Constructors

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

Instances

Instances details

Lift (DataEnumValue s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: DataEnumValue s -> Q Exp # liftTyped :: DataEnumValue s -> Q (TExp (DataEnumValue s)) #
Eq (DataEnumValue s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods (==) :: DataEnumValue s -> DataEnumValue s -> Bool # (/=) :: DataEnumValue s -> DataEnumValue s -> Bool #
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 #
RenderGQL (DataEnumValue s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: DataEnumValue s -> Rendering Source #

data OperationType Source #

Constructors

Query
Subscription
Mutation

Instances

Instances details

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 #
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 renderGQL :: 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 #
Lift OperationType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: OperationType -> Q Exp # liftTyped :: OperationType -> Q (TExp OperationType) #
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 # member :: OperationType -> SchemaDefinition -> Bool 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.17.0-7ZBOXRBXZZbKGAPpOJbGqu" '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 directivePosition :: Position directiveName :: FieldName directiveArgs :: Arguments s

Instances

Instances details

Lift (Directive s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: Directive s -> Q Exp # liftTyped :: Directive s -> Q (TExp (Directive s)) #
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 #
RenderGQL (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: Directive s -> Rendering Source #

data ConsD f Source #

Constructors

ConsD
Fields cName :: TypeName cFields :: [f]

Instances

Instances details

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

data TypeCategory Source #

Constructors

IN
OUT
LEAF

Instances

Instances details

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

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

Instances details

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

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 #

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

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

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

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

isNotSystemTypeName :: TypeName -> Bool Source #

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

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

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

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

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

mkTypeRef :: TypeName -> TypeRef Source #

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

fieldVisibility :: FieldDefinition cat s -> Bool 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 ExecutableDocument Source #

Constructors

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

Instances

Instances details

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

type Variables = SafeHashMap FieldName ResolvedValue Source #

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

newtype OrdMap k a Source #

Constructors

OrdMap
Fields mapEntries :: HashMap k (Indexed k a)

Instances

Instances details

(Eq k, Hashable k) => Selectable k a (OrdMap k a) Source #
Instance details Defined in Data.Morpheus.Ext.OrdMap Methods selectOr :: d -> (a -> d) -> k -> OrdMap k a -> d Source # member :: k -> OrdMap k a -> Bool Source #
(Lift a, Lift k, Eq k, Hashable k) => Lift (OrdMap k a :: Type) Source #
Instance details Defined in Data.Morpheus.Ext.OrdMap Methods lift :: OrdMap k a -> Q Exp # liftTyped :: OrdMap k a -> Q (TExp (OrdMap k a)) #
(Eq k, Hashable k) => Elems a (OrdMap k a) Source #
Instance details Defined in Data.Morpheus.Ext.OrdMap Methods elems :: OrdMap k a -> [a] Source #
(KeyOf k a, Hashable k) => Collection a (OrdMap k a) Source #
Instance details Defined in Data.Morpheus.Ext.OrdMap Methods singleton :: a -> OrdMap k a Source #
(NameCollision a, Monad m, KeyOf k a, Failure ValidationErrors m) => SemigroupM m (OrdMap k a) Source #
Instance details Defined in Data.Morpheus.Ext.OrdMap Methods mergeM :: [Ref FieldName] -> OrdMap k a -> OrdMap k a -> m (OrdMap k a) Source #
Functor (OrdMap k) Source #
Instance details Defined in Data.Morpheus.Ext.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.Ext.OrdMap Methods fold :: Monoid m => OrdMap k m -> m # foldMap :: Monoid m => (a -> m) -> OrdMap k a -> m # foldMap' :: Monoid m => (a -> m) -> OrdMap k a -> m # foldr :: (a -> b -> b) -> b -> OrdMap k a -> b # foldr' :: (a -> b -> b) -> b -> OrdMap k a -> b # foldl :: (b -> a -> b) -> b -> OrdMap k a -> b # foldl' :: (b -> a -> b) -> b -> OrdMap k a -> b # foldr1 :: (a -> a -> a) -> OrdMap k a -> a # foldl1 :: (a -> a -> a) -> OrdMap k a -> a # toList :: OrdMap k a -> [a] # null :: OrdMap k a -> Bool # length :: OrdMap k a -> Int # elem :: Eq a => a -> OrdMap k a -> Bool # maximum :: Ord a => OrdMap k a -> a # minimum :: Ord a => OrdMap k a -> a # sum :: Num a => OrdMap k a -> a # product :: Num a => OrdMap k a -> a #
(Eq k, Hashable k) => Traversable (OrdMap k) Source #
Instance details Defined in Data.Morpheus.Ext.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) #
RenderGQL (ArgumentsDefinition s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: ArgumentsDefinition s -> Rendering Source #
(NameCollision a, Monad m, Failure ValidationErrors m, KeyOf k a, Hashable k) => FromElems (m :: Type -> Type) a (OrdMap k a :: Type) Source #
Instance details Defined in Data.Morpheus.Ext.OrdMap Methods fromElems :: [a] -> m (OrdMap k a) Source #
(Eq k, Eq a) => Eq (OrdMap k a) Source #
Instance details Defined in Data.Morpheus.Ext.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.Ext.OrdMap Methods showsPrec :: Int -> OrdMap k a -> ShowS # show :: OrdMap k a -> String # showList :: [OrdMap k a] -> ShowS #
Empty (OrdMap k a) Source #
Instance details Defined in Data.Morpheus.Ext.OrdMap Methods empty :: OrdMap k a Source #
RenderGQL (FieldsDefinition cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods renderGQL :: FieldsDefinition cat s -> Rendering Source #

data GQLError Source #

Constructors

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

Instances

Instances details

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.Ext.Result Methods failure :: GQLErrors -> ResultT event m v Source #
Failure [GQLError] (Result ev) Source #
Instance details Defined in Data.Morpheus.Ext.Result 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.17.0-7ZBOXRBXZZbKGAPpOJbGqu" '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

Instances details

Lift (ObjectEntry a :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: ObjectEntry a -> Q Exp # liftTyped :: ObjectEntry a -> Q (TExp (ObjectEntry a)) #
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 #
RenderGQL (ObjectEntry a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods renderGQL :: ObjectEntry a -> Rendering Source #
NameCollision (ObjectEntry s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods nameCollision :: ObjectEntry s -> ValidationError Source #

data UnionTag Source #

Constructors

UnionTag
Fields unionTagName :: TypeName unionTagSelection :: SelectionSet VALID

Instances

Instances details

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 #
RenderGQL UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods renderGQL :: UnionTag -> Rendering Source #
Lift UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: UnionTag -> Q Exp # liftTyped :: UnionTag -> Q (TExp UnionTag) #
KeyOf TypeName UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods keyOf :: UnionTag -> TypeName Source #
(Monad m, Failure ValidationErrors m) => SemigroupM m UnionTag Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods mergeM :: [Ref FieldName] -> UnionTag -> UnionTag -> m UnionTag 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

Instances details

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 #
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 renderGQL :: 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 #
Lift TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: TypeName -> Q Exp # liftTyped :: TypeName -> Q (TExp TypeName) #
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 (UnionMember cat s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Union Methods keyOf :: UnionMember cat s -> 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 #
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 # member :: TypeName -> Schema s -> Bool 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.17.0-7ZBOXRBXZZbKGAPpOJbGqu" '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

Instances details

Msg ByteString Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: ByteString -> Message Source # msgSepBy :: Text -> [ByteString] -> 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 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 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 TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods msg :: TypeRef -> Message Source # msgSepBy :: Text -> [TypeRef] -> 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.Union Methods msg :: UnionMember cat s -> Message Source # msgSepBy :: Text -> [UnionMember cat s] -> Message Source #

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

toFieldName :: TypeName -> FieldName Source #

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

mkConsEnum :: DataEnumValue s -> ConsD f 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 directiveDefinitionArgs :: ArgumentsDefinition s directiveDefinitionLocations :: [DirectiveLocation]

Instances

Instances details

Lift (DirectiveDefinition s :: Type) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Fields Methods lift :: DirectiveDefinition s -> Q Exp # liftTyped :: DirectiveDefinition s -> Q (TExp (DirectiveDefinition s)) #
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 # member :: FieldName -> DirectiveDefinition s -> Bool 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 #

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

Instances details

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 #
Msg DirectiveLocation Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods msg :: DirectiveLocation -> Message Source # msgSepBy :: Text -> [DirectiveLocation] -> Message Source #
Lift DirectiveLocation Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods lift :: DirectiveLocation -> Q Exp # liftTyped :: DirectiveLocation -> Q (TExp DirectiveLocation) #

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

Constructors

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

Instances

Instances details

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

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 #

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

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

Constructors

UnionMember
Fields memberName :: TypeName nullary :: Bool

Instances

Instances details

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

mkUnionMember :: TypeName -> UnionMember cat s Source #

mkNullaryMember :: TypeName -> UnionMember cat s Source #

data RawTypeDefinition Source #

Constructors

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

Instances

Instances details

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

data RootOperationTypeDefinition Source #

Constructors

RootOperationTypeDefinition
Fields rootOperationType :: OperationType rootOperationTypeDefinitionName :: TypeName

Instances

Instances details

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 #
RenderGQL RootOperationTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: RootOperationTypeDefinition -> Rendering Source #
NameCollision RootOperationTypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods nameCollision :: RootOperationTypeDefinition -> ValidationError 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 # member :: OperationType -> SchemaDefinition -> Bool Source #

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

data SchemaDefinition Source #

Constructors

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

Instances

Instances details

Show SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> SchemaDefinition -> ShowS # show :: SchemaDefinition -> String # showList :: [SchemaDefinition] -> ShowS #
RenderGQL SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: SchemaDefinition -> Rendering Source #
NameCollision SchemaDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods nameCollision :: SchemaDefinition -> ValidationError Source #
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 # member :: OperationType -> SchemaDefinition -> Bool 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

Instances details

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.17.0-7ZBOXRBXZZbKGAPpOJbGqu" '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

Instances details

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 #
Failure [ValidationError] (Result ev) Source #
Instance details Defined in Data.Morpheus.Ext.Result 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 preserving type information from untyped values see function typed

Constructors

Typed a

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

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

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

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

type ValidationErrors = [ValidationError] Source #

toGQLError :: ValidationError -> GQLError Source #

type LEAF = 'LEAF Source #

type INPUT_OBJECT = 'INPUT_OBJECT Source #

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

Methods

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

Instances

Instances details

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

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

Methods

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

Instances

Instances details

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

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

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

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

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

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

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

Equations

ToOBJECT OUT = OBJECT
ToOBJECT IN = INPUT_OBJECT

constraintInputUnion :: forall stage schemaStage. [UnionMember IN schemaStage] -> Object stage -> Either Message (UnionMember IN schemaStage, Value stage) Source #

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

unitFieldName :: FieldName Source #

unitTypeName :: TypeName Source #