Safe Haskell	None
Language	Haskell2010

Data.Morpheus.Types.Internal.AST

Synopsis

data Ref = Ref {
- refName :: FieldName
- refPosition :: Position
}
data Position = Position {
- line :: Int
- column :: Int
}
data Message
anonymousRef :: FieldName -> Ref
newtype FieldName = FieldName {
- readName :: Text
}
type Description = Text
data Stage
type RESOLVED = RESOLVED
type VALID = VALID
type RAW = RAW
data VALIDATION_MODE
- = WITHOUT_VARIABLES
- | FULL_VALIDATION
data Value (stage :: Stage) where
- ResolvedVariable :: Ref -> Variable VALID -> Value RESOLVED
- VariableValue :: Ref -> Value RAW
- Object :: Object stage -> Value stage
- List :: [Value stage] -> Value stage
- Enum :: TypeName -> Value stage
- Scalar :: ScalarValue -> Value stage
- Null :: Value stage
data ScalarValue
- = Int Int
- | Float Float
- | String Text
- | Boolean Bool
type Object a = OrderedMap FieldName (ObjectEntry a)
class GQLValue a where
- gqlNull :: a
- gqlScalar :: ScalarValue -> a
- gqlBoolean :: Bool -> a
- gqlString :: Text -> a
- gqlList :: [a] -> a
- gqlObject :: [(FieldName, a)] -> a
replaceValue :: Value -> Value a
decodeScientific :: Scientific -> ScalarValue
convertToJSONName :: FieldName -> FieldName
convertToHaskellName :: FieldName -> FieldName
type RawValue = Value RAW
type ValidValue = Value VALID
type RawObject = Object RAW
type ValidObject = Object VALID
type ResolvedObject = Object RESOLVED
type ResolvedValue = Value RESOLVED
splitDuplicates :: Eq a => [a] -> ([a], [a])
removeDuplicates :: Eq a => [a] -> [a]
data Argument (valid :: Stage) = Argument {
- argumentName :: FieldName
- argumentValue :: Value valid
- argumentPosition :: Position
}
type Arguments s = OrderedMap FieldName (Argument s)
type SelectionSet (s :: Stage) = MergeSet s (Selection s)
data SelectionContent (s :: Stage) where
- SelectionField :: SelectionContent s
- SelectionSet :: SelectionSet s -> SelectionContent s
- UnionSelection :: UnionSelection VALID -> SelectionContent VALID
data Selection (s :: Stage) where
- Selection :: {..} -> Selection s
- InlineFragment :: Fragment -> Selection RAW
- Spread :: Directives RAW -> Ref -> Selection RAW
type Fragments = OrderedMap FieldName Fragment
data Fragment = Fragment {
- fragmentName :: FieldName
- fragmentType :: TypeName
- fragmentPosition :: Position
- fragmentSelection :: SelectionSet RAW
- fragmentDirectives :: Directives RAW
}
data Operation (s :: Stage) = Operation {
- operationName :: Maybe FieldName
- operationType :: OperationType
- operationArguments :: VariableDefinitions s
- operationSelection :: SelectionSet s
- operationPosition :: Position
- operationDirectives :: Directives s
}
data Variable (stage :: Stage) = Variable {
- variableName :: FieldName
- variableType :: TypeRef
- variablePosition :: Position
- variableValue :: VariableContent (VAR stage)
}
type VariableDefinitions s = OrderedMap FieldName (Variable s)
type DefaultValue = Maybe ResolvedValue
getOperationName :: Maybe FieldName -> TypeName
getOperationDataType :: Failure GQLErrors m => Operation a -> Schema -> m (TypeDefinition OUT)
newtype ScalarDefinition = ScalarDefinition {
- validateValue :: ValidValue -> Either Token ValidValue
}
type DataEnum = [DataEnumValue]
type FieldsDefinition cat = Fields (FieldDefinition cat)
type ArgumentDefinition = FieldDefinition IN
type DataUnion = [UnionMember OUT]
data ArgumentsDefinition = ArgumentsDefinition {
- argumentsTypename :: Maybe TypeName
- arguments :: OrderedMap FieldName ArgumentDefinition
}
data FieldDefinition (cat :: TypeCategory) = FieldDefinition {
- fieldName :: FieldName
- fieldDescription :: Maybe Description
- fieldType :: TypeRef
- fieldContent :: Maybe (FieldContent TRUE cat)
- fieldDirectives :: [Directive VALID]
}
type InputFieldsDefinition = Fields InputValueDefinition
data TypeContent (b :: Bool) (a :: TypeCategory) where
- DataScalar :: {..} -> TypeContent TRUE a
- DataEnum :: {..} -> TypeContent TRUE a
- DataInputObject :: {..} -> TypeContent (IsSelected a IN) a
- DataInputUnion :: {..} -> TypeContent (IsSelected a IN) a
- DataObject :: {..} -> TypeContent (IsSelected a OUT) a
- DataUnion :: {..} -> TypeContent (IsSelected a OUT) a
- DataInterface :: {..} -> TypeContent (IsSelected a OUT) a
data TypeDefinition (a :: TypeCategory) = TypeDefinition {
- typeName :: TypeName
- typeFingerprint :: DataFingerprint
- typeDescription :: Maybe Description
- typeDirectives :: Directives VALID
- typeContent :: TypeContent TRUE a
}
data Schema = Schema {
- types :: TypeLib
- query :: TypeDefinition Out
- mutation :: Maybe (TypeDefinition Out)
- subscription :: Maybe (TypeDefinition Out)
}
data DataTypeWrapper
- = ListType
- | NonNullType
data TypeKind
- = KindScalar
- | KindObject (Maybe OperationType)
- | KindUnion
- | KindEnum
- | KindInputObject
- | KindList
- | KindNonNull
- | KindInputUnion
- | KindInterface
data DataFingerprint = DataFingerprint TypeName [String]
data TypeWrapper
- = TypeList
- | TypeMaybe
data TypeRef = TypeRef {
- typeConName :: TypeName
- typeArgs :: Maybe TypeName
- typeWrappers :: [TypeWrapper]
}
data DataEnumValue = DataEnumValue {
- enumName :: TypeName
- enumDescription :: Maybe Description
- enumDirectives :: [Directive VALID]
}
data OperationType
- = Query
- | Subscription
- | Mutation
type QUERY = Query
type MUTATION = Mutation
type SUBSCRIPTION = Subscription
data Directive (s :: Stage) = Directive {
- directiveName :: FieldName
- directivePosition :: Position
- directiveArgs :: Arguments s
}
type TypeUpdater = LibUpdater Schema
data ConsD cat = ConsD {
- cName :: TypeName
- cFields :: [FieldDefinition cat]
}
data TypeCategory
type DataInputUnion = [UnionMember IN]
data VariableContent (stage :: Stage) where
- DefaultValue :: Maybe ResolvedValue -> VariableContent RESOLVED
- ValidVariableValue :: {..} -> VariableContent VALID
type TypeLib = HashMap TypeName (TypeDefinition ANY)
initTypeLib :: TypeDefinition Out -> Schema
defineType :: TypeDefinition cat -> Schema -> Schema
isFieldNullable :: FieldDefinition cat -> Bool
kindOf :: TypeDefinition a -> TypeKind
toNullableField :: FieldDefinition cat -> FieldDefinition cat
toListField :: FieldDefinition cat -> FieldDefinition cat
isObject :: TypeKind -> Bool
isInput :: TypeKind -> Bool
toHSWrappers :: [DataTypeWrapper] -> [TypeWrapper]
isNullable :: TypeRef -> Bool
toGQLWrapper :: [TypeWrapper] -> [DataTypeWrapper]
isWeaker :: [TypeWrapper] -> [TypeWrapper] -> Bool
isSubscription :: TypeKind -> Bool
isOutputObject :: TypeKind -> Bool
sysTypes :: [TypeName]
isSystemTypeName :: TypeName -> Bool
isEntNode :: TypeContent TRUE a -> Bool
createField :: Maybe (FieldContent TRUE cat) -> FieldName -> ([TypeWrapper], TypeName) -> FieldDefinition cat
createArgument :: FieldName -> ([TypeWrapper], TypeName) -> FieldDefinition IN
createEnumType :: TypeName -> [TypeName] -> TypeDefinition a
createScalarType :: TypeName -> TypeDefinition a
createType :: TypeName -> TypeContent TRUE a -> TypeDefinition a
createUnionType :: TypeName -> [TypeName] -> TypeDefinition OUT
createAlias :: TypeName -> TypeRef
createInputUnionFields :: TypeName -> [UnionMember IN] -> [FieldDefinition IN]
fieldVisibility :: FieldDefinition cat -> Bool
createEnumValue :: TypeName -> DataEnumValue
insertType :: TypeDefinition ANY -> TypeUpdater
lookupDeprecated :: [Directive VALID] -> Maybe (Directive VALID)
lookupDeprecatedReason :: Directive VALID -> Maybe Description
lookupWith :: Eq k => (a -> k) -> k -> [a] -> Maybe a
hsTypeName :: TypeName -> TypeName
data GQLQuery = GQLQuery {
- fragments :: Fragments
- operation :: Operation RAW
- inputVariables :: [(FieldName, ResolvedValue)]
}
type Variables = HashMap FieldName ResolvedValue
isNullableWrapper :: [TypeWrapper] -> Bool
unsafeFromFields :: [FieldDefinition cat] -> FieldsDefinition cat
data OrderedMap k a
data GQLError = GQLError {
- message :: Message
- locations :: [Position]
}
type GQLErrors = [GQLError]
data ObjectEntry (s :: Stage) = ObjectEntry {
- entryName :: FieldName
- entryValue :: Value s
}
data UnionTag = UnionTag {
- unionTagName :: TypeName
- unionTagSelection :: SelectionSet VALID
}
__inputname :: FieldName
updateSchema :: TypeName -> DataFingerprint -> [TypeUpdater] -> (a -> TypeDefinition cat) -> a -> TypeUpdater
internalFingerprint :: TypeName -> [String] -> DataFingerprint
type ANY = Any
type IN = In
type OUT = Out
class FromAny a (k :: TypeCategory) where
- fromAny :: a ANY -> Maybe (a k)
class ToAny a where
- toAny :: a (k :: TypeCategory) -> a ANY
type TRUE = True
type FALSE = False
newtype TypeName = TypeName {
- readTypeName :: Text
}
type Token = Text
class Msg a where
- msg :: a -> Message
- msgSepBy :: Text -> [a] -> Message
intercalateName :: FieldName -> [FieldName] -> FieldName
toFieldName :: TypeName -> FieldName
data TypeNameRef = TypeNameRef {
- typeNameRef :: TypeName
- typeNamePosition :: Position
}
isEnum :: [ConsD cat] -> Bool
newtype Fields def = Fields {
- unFields :: OrderedMap FieldName def
}
fieldsToArguments :: FieldsDefinition IN -> ArgumentsDefinition
mkCons :: TypeName -> FieldsDefinition cat -> ConsD cat
mkConsEnum :: DataEnumValue -> ConsD cat
type Directives s = [Directive s]
type DirectiveDefinitions = [DirectiveDefinition]
data DirectiveDefinition = DirectiveDefinition {
- directiveDefinitionName :: FieldName
- directiveDefinitionDescription :: Maybe Description
- directiveDefinitionLocations :: [DirectiveLocation]
- directiveDefinitionArgs :: ArgumentsDefinition
}
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) where
- DefaultInputValue :: {..} -> FieldContent (IsSelected cat IN) cat
- FieldArgs :: {..} -> FieldContent (IsSelected cat OUT) cat
fieldContentArgs :: FieldContent b cat -> OrderedMap FieldName ArgumentDefinition
mkField :: FieldName -> ([TypeWrapper], TypeName) -> FieldDefinition cat
data TypeNameTH = TypeNameTH {
- namespace :: [FieldName]
- typename :: TypeName
}
isOutput :: TypeKind -> Bool
mkObjectField :: ArgumentsDefinition -> FieldName -> ([TypeWrapper], TypeName) -> FieldDefinition OUT
data UnionMember (cat :: TypeCategory) = UnionMember {
- memberName :: TypeName
- visibility :: Bool
}
mkUnionMember :: TypeName -> UnionMember cat

Documentation

data Ref Source #

Constructors

Ref
Fields refName :: FieldName refPosition :: Position

Instances

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

data Position Source #

Constructors

Position
Fields line :: Int column :: Int

Instances

Eq Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Show Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
Generic Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Associated Types type Rep Position :: Type -> Type # Methods from :: Position -> Rep Position x # to :: Rep Position x -> Position #
Lift Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: Position -> Q Exp #
ToJSON Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods toJSON :: Position -> Value # toEncoding :: Position -> Encoding # toJSONList :: [Position] -> Value # toEncodingList :: [Position] -> Encoding #
FromJSON Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods parseJSON :: Value -> Parser Position # parseJSONList :: Value -> Parser [Position] #
type Rep Position Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base type Rep Position = D1 (MetaData "Position" "Data.Morpheus.Types.Internal.AST.Base" "morpheus-graphql-core-0.13.0-IGzDRUCgSIfHvjDJvh89n4" False) (C1 (MetaCons "Position" PrefixI True) (S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "column") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data Message Source #

Instances

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

anonymousRef :: FieldName -> Ref Source #

newtype FieldName Source #

Constructors

FieldName
Fields readName :: Text

Instances

Eq FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: FieldName -> FieldName -> Bool # (/=) :: FieldName -> FieldName -> Bool #
Ord FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods compare :: FieldName -> FieldName -> Ordering # (<) :: FieldName -> FieldName -> Bool # (<=) :: FieldName -> FieldName -> Bool # (>) :: FieldName -> FieldName -> Bool # (>=) :: FieldName -> FieldName -> Bool # max :: FieldName -> FieldName -> FieldName # min :: FieldName -> FieldName -> FieldName #
Show FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> FieldName -> ShowS # show :: FieldName -> String # showList :: [FieldName] -> ShowS #
IsString FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods fromString :: String -> FieldName #
Generic FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Associated Types type Rep FieldName :: Type -> Type # Methods from :: FieldName -> Rep FieldName x # to :: Rep FieldName x -> FieldName #
Semigroup FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (<>) :: FieldName -> FieldName -> FieldName # sconcat :: NonEmpty FieldName -> FieldName # stimes :: Integral b => b -> FieldName -> FieldName #
Lift FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: FieldName -> Q Exp #
Hashable FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods hashWithSalt :: Int -> FieldName -> Int # hash :: FieldName -> Int #
ToJSON FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods toJSON :: FieldName -> Value # toEncoding :: FieldName -> Encoding # toJSONList :: [FieldName] -> Value # toEncodingList :: [FieldName] -> Encoding #
FromJSON FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods parseJSON :: Value -> Parser FieldName # parseJSONList :: Value -> Parser [FieldName] #
RenderGQL FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods render :: FieldName -> Rendering Source #
Msg FieldName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: FieldName -> Message Source # msgSepBy :: Text -> [FieldName] -> Message Source #
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.13.0-IGzDRUCgSIfHvjDJvh89n4" True) (C1 (MetaCons "FieldName" PrefixI True) (S1 (MetaSel (Just "readName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

type Description = Text Source #

data Stage Source #

type RESOLVED = RESOLVED Source #

type VALID = VALID Source #

type RAW = RAW Source #

data VALIDATION_MODE Source #

Constructors

WITHOUT_VARIABLES
FULL_VALIDATION

Instances

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

data Value (stage :: Stage) where Source #

Constructors

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

Instances

Eq (Value s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods (==) :: Value s -> Value s -> Bool # (/=) :: Value s -> Value s -> Bool #
Show (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods showsPrec :: Int -> Value a -> ShowS # show :: Value a -> String # showList :: [Value a] -> ShowS #
Lift (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: Value a -> Q Exp #
ToJSON (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods toJSON :: Value a -> Value0 # toEncoding :: Value a -> Encoding # toJSONList :: [Value a] -> Value0 # toEncodingList :: [Value a] -> Encoding #
FromJSON (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods parseJSON :: Value0 -> Parser (Value a) # parseJSONList :: Value0 -> Parser [Value a] #
RenderGQL (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods render :: Value a -> Rendering Source #
Msg (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods msg :: Value a -> Message Source # msgSepBy :: Text -> [Value a] -> Message Source #
GQLValue (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods gqlNull :: Value a Source # gqlScalar :: ScalarValue -> Value a Source # gqlBoolean :: Bool -> Value a Source # gqlString :: Text -> Value a Source # gqlList :: [Value a] -> Value a Source # gqlObject :: [(FieldName, Value a)] -> Value a Source #

data ScalarValue Source #

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

Constructors

Int Int
Float Float
String Text
Boolean Bool

Instances

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

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

class GQLValue a where Source #

Methods

gqlNull :: a Source #

gqlScalar :: ScalarValue -> a Source #

gqlBoolean :: Bool -> a Source #

gqlString :: Text -> a Source #

gqlList :: [a] -> a Source #

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

Instances

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

replaceValue :: Value -> Value a Source #

decodeScientific :: Scientific -> ScalarValue Source #

convertToJSONName :: FieldName -> FieldName Source #

convertToHaskellName :: FieldName -> FieldName Source #

type RawValue = Value RAW Source #

type ValidValue = Value VALID Source #

type RawObject = Object RAW Source #

type ValidObject = Object VALID Source #

type ResolvedObject = Object RESOLVED Source #

type ResolvedValue = Value RESOLVED Source #

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

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

data Argument (valid :: Stage) Source #

Constructors

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

Instances

Eq (Argument valid) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods (==) :: Argument valid -> Argument valid -> Bool # (/=) :: Argument valid -> Argument valid -> Bool #
Show (Argument valid) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> Argument valid -> ShowS # show :: Argument valid -> String # showList :: [Argument valid] -> ShowS #
Lift (Argument valid) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: Argument valid -> Q Exp #
KeyOf (Argument stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Associated Types type KEY (Argument stage) :: Type Source # Methods keyOf :: Argument stage -> KEY (Argument stage) Source #
type KEY (Argument stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem type KEY (Argument stage) = FieldName

type Arguments s = OrderedMap FieldName (Argument s) Source #

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

data SelectionContent (s :: Stage) where Source #

Constructors

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

Instances

Eq (SelectionContent a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods (==) :: SelectionContent a -> SelectionContent a -> Bool # (/=) :: SelectionContent a -> SelectionContent a -> Bool #
Show (SelectionContent a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods showsPrec :: Int -> SelectionContent a -> ShowS # show :: SelectionContent a -> String # showList :: [SelectionContent a] -> ShowS #
Lift (SelectionContent a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: SelectionContent a -> Q Exp #
Merge (SelectionSet s) => Merge (SelectionContent s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods merge :: (Monad m, Failure GQLErrors m) => [Ref] -> SelectionContent s -> SelectionContent s -> m (SelectionContent s) Source #

data Selection (s :: Stage) where Source #

Constructors

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

Instances

Eq (Selection a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods (==) :: Selection a -> Selection a -> Bool # (/=) :: Selection a -> Selection a -> Bool #
Show (Selection a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods showsPrec :: Int -> Selection a -> ShowS # show :: Selection a -> String # showList :: [Selection a] -> ShowS #
Lift (Selection a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: Selection a -> Q Exp #
Merge (SelectionSet a) => Merge (Selection a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods merge :: (Monad m, Failure GQLErrors m) => [Ref] -> Selection a -> Selection a -> m (Selection a) Source #
KeyOf (Selection s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Associated Types type KEY (Selection s) :: Type Source # Methods keyOf :: Selection s -> KEY (Selection s) 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 :: Selection VALID -> FieldName Source #
type KEY (Selection s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection type KEY (Selection s) = FieldName

type Fragments = OrderedMap FieldName Fragment Source #

data Fragment Source #

Constructors

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

Instances

Eq Fragment Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods (==) :: Fragment -> Fragment -> Bool # (/=) :: Fragment -> Fragment -> Bool #
Show Fragment Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods showsPrec :: Int -> Fragment -> ShowS # show :: Fragment -> String # showList :: [Fragment] -> ShowS #
Lift Fragment Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods lift :: Fragment -> Q Exp #
KeyOf Fragment Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Associated Types type KEY Fragment :: Type Source # Methods keyOf :: Fragment -> KEY Fragment Source #
type KEY Fragment Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection type KEY Fragment = FieldName

data Operation (s :: Stage) Source #

Constructors

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

Instances

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

data Variable (stage :: Stage) Source #

Constructors

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

Instances

Eq (Variable stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods (==) :: Variable stage -> Variable stage -> Bool # (/=) :: Variable stage -> Variable stage -> Bool #
Show (Variable stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods showsPrec :: Int -> Variable stage -> ShowS # show :: Variable stage -> String # showList :: [Variable stage] -> ShowS #
Lift (Variable stage) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: Variable stage -> Q Exp #
KeyOf (Variable s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Associated Types type KEY (Variable s) :: Type Source # Methods keyOf :: Variable s -> KEY (Variable s) Source #
type KEY (Variable s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value type KEY (Variable s) = FieldName

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

type DefaultValue = Maybe ResolvedValue Source #

getOperationName :: Maybe FieldName -> TypeName Source #

getOperationDataType :: Failure GQLErrors m => Operation a -> Schema -> m (TypeDefinition OUT) Source #

newtype ScalarDefinition Source #

Constructors

ScalarDefinition
Fields validateValue :: ValidValue -> Either Token ValidValue

Instances

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

type DataEnum = [DataEnumValue] Source #

type FieldsDefinition cat = Fields (FieldDefinition cat) Source #

type ArgumentDefinition = FieldDefinition IN Source #

type DataUnion = [UnionMember OUT] Source #

data ArgumentsDefinition Source #

Constructors

ArgumentsDefinition
Fields argumentsTypename :: Maybe TypeName arguments :: OrderedMap FieldName ArgumentDefinition

Instances

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

data FieldDefinition (cat :: TypeCategory) Source #

Constructors

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

Instances

ToAny FieldDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toAny :: FieldDefinition k -> FieldDefinition ANY Source #
Listable ArgumentDefinition ArgumentsDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods elems :: ArgumentsDefinition -> [ArgumentDefinition] Source # fromElems :: (KeyOf ArgumentDefinition, Monad m, Failure GQLErrors m) => [ArgumentDefinition] -> m ArgumentsDefinition Source #
Selectable ArgumentsDefinition ArgumentDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods selectOr :: d -> (ArgumentDefinition -> d) -> KEY ArgumentDefinition -> ArgumentsDefinition -> d Source #
Selectable DirectiveDefinition ArgumentDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods selectOr :: d -> (ArgumentDefinition -> d) -> KEY ArgumentDefinition -> DirectiveDefinition -> d Source #
Collection ArgumentDefinition ArgumentsDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods empty :: ArgumentsDefinition Source # singleton :: ArgumentDefinition -> ArgumentsDefinition Source #
Show (FieldDefinition cat) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> FieldDefinition cat -> ShowS # show :: FieldDefinition cat -> String # showList :: [FieldDefinition cat] -> ShowS #
Lift (FieldDefinition cat) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: FieldDefinition cat -> Q Exp #
RenderGQL (FieldDefinition cat) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: FieldDefinition cat -> Rendering Source #
RenderGQL (FieldsDefinition OUT) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: FieldsDefinition OUT -> Rendering Source #
RenderGQL (FieldsDefinition IN) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: FieldsDefinition IN -> Rendering Source #
Merge (FieldsDefinition cat) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods merge :: (Monad m, Failure GQLErrors m) => [Ref] -> FieldsDefinition cat -> FieldsDefinition cat -> m (FieldsDefinition cat) Source #
KeyOf (FieldDefinition cat) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Associated Types type KEY (FieldDefinition cat) :: Type Source # Methods keyOf :: FieldDefinition cat -> KEY (FieldDefinition cat) Source #
Selectable (FieldDefinition OUT) ArgumentDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods selectOr :: d -> (ArgumentDefinition -> d) -> KEY ArgumentDefinition -> FieldDefinition OUT -> d Source #
Selectable (Fields (FieldDefinition cat)) (FieldDefinition cat) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods selectOr :: d -> (FieldDefinition cat -> d) -> KEY (FieldDefinition cat) -> Fields (FieldDefinition cat) -> d Source #
type KEY (FieldDefinition cat) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem type KEY (FieldDefinition cat) = FieldName

type InputFieldsDefinition = Fields InputValueDefinition Source #

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

Constructors

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

Instances

ToAny (TypeContent TRUE) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toAny :: TypeContent TRUE k -> TypeContent TRUE ANY Source #
FromAny (TypeContent TRUE) OUT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromAny :: TypeContent TRUE ANY -> Maybe (TypeContent TRUE OUT) Source #
FromAny (TypeContent TRUE) IN Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromAny :: TypeContent TRUE ANY -> Maybe (TypeContent TRUE IN) Source #
Show (TypeContent a b) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> TypeContent a b -> ShowS # show :: TypeContent a b -> String # showList :: [TypeContent a b] -> ShowS #
Lift (TypeContent a b) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: TypeContent a b -> Q Exp #

data TypeDefinition (a :: TypeCategory) Source #

Constructors

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

Instances

ToAny TypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toAny :: TypeDefinition k -> TypeDefinition ANY Source #
FromAny (TypeContent TRUE) a => FromAny TypeDefinition a Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromAny :: TypeDefinition ANY -> Maybe (TypeDefinition a) Source #
Selectable Schema (TypeDefinition ANY) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods selectOr :: d -> (TypeDefinition ANY -> d) -> KEY (TypeDefinition ANY) -> Schema -> d Source #
Show (TypeDefinition a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> TypeDefinition a -> ShowS # show :: TypeDefinition a -> String # showList :: [TypeDefinition a] -> ShowS #
Lift (TypeDefinition a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: TypeDefinition a -> Q Exp #
RenderGQL (TypeDefinition a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: TypeDefinition a -> Rendering Source #
KeyOf (TypeDefinition a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Associated Types type KEY (TypeDefinition a) :: Type Source # Methods keyOf :: TypeDefinition a -> KEY (TypeDefinition a) Source #
Listable (TypeDefinition ANY) Schema Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods elems :: Schema -> [TypeDefinition ANY] Source # fromElems :: (KeyOf (TypeDefinition ANY), Monad m, Failure GQLErrors m) => [TypeDefinition ANY] -> m Schema Source #
type KEY (TypeDefinition a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem type KEY (TypeDefinition a) = TypeName

data Schema Source #

Constructors

Schema
Fields types :: TypeLib query :: TypeDefinition Out mutation :: Maybe (TypeDefinition Out) subscription :: Maybe (TypeDefinition Out)

Instances

Show Schema Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> Schema -> ShowS # show :: Schema -> String # showList :: [Schema] -> ShowS #
RenderGQL Schema Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods render :: Schema -> Rendering Source #
Selectable Schema (TypeDefinition ANY) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods selectOr :: d -> (TypeDefinition ANY -> d) -> KEY (TypeDefinition ANY) -> Schema -> d Source #
Listable (TypeDefinition ANY) Schema Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods elems :: Schema -> [TypeDefinition ANY] Source # fromElems :: (KeyOf (TypeDefinition ANY), Monad m, Failure GQLErrors m) => [TypeDefinition ANY] -> m Schema Source #

data DataTypeWrapper Source #

Constructors

ListType
NonNullType

Instances

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

data TypeKind Source #

Constructors

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

Instances

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

data DataFingerprint Source #

Constructors

DataFingerprint TypeName [String]

Instances

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

data TypeWrapper Source #

Constructors

TypeList
TypeMaybe

Instances

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

data TypeRef Source #

Constructors

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

Instances

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

data DataEnumValue Source #

Constructors

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

Instances

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

data OperationType Source #

Constructors

Query
Subscription
Mutation

Instances

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

type QUERY = Query Source #

type MUTATION = Mutation Source #

type SUBSCRIPTION = Subscription Source #

data Directive (s :: Stage) Source #

Constructors

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

Instances

Eq (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods (==) :: Directive s -> Directive s -> Bool # (/=) :: Directive s -> Directive s -> Bool #
Show (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> Directive s -> ShowS # show :: Directive s -> String # showList :: [Directive s] -> ShowS #
Lift (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: Directive s -> Q Exp #
KeyOf (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Associated Types type KEY (Directive s) :: Type Source # Methods keyOf :: Directive s -> KEY (Directive s) Source #
type KEY (Directive s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem type KEY (Directive s) = FieldName

type TypeUpdater = LibUpdater Schema Source #

data ConsD cat Source #

Constructors

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

Instances

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

data TypeCategory Source #

type DataInputUnion = [UnionMember IN] Source #

data VariableContent (stage :: Stage) where Source #

Constructors

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

Instances

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

type TypeLib = HashMap TypeName (TypeDefinition ANY) Source #

initTypeLib :: TypeDefinition Out -> Schema Source #

defineType :: TypeDefinition cat -> Schema -> Schema Source #

isFieldNullable :: FieldDefinition cat -> Bool Source #

kindOf :: TypeDefinition a -> TypeKind Source #

toNullableField :: FieldDefinition cat -> FieldDefinition cat Source #

toListField :: FieldDefinition cat -> FieldDefinition cat Source #

isObject :: TypeKind -> Bool Source #

isInput :: TypeKind -> Bool Source #

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

isNullable :: TypeRef -> Bool Source #

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

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

isSubscription :: TypeKind -> Bool Source #

isOutputObject :: TypeKind -> Bool Source #

sysTypes :: [TypeName] Source #

isSystemTypeName :: TypeName -> Bool Source #

isEntNode :: TypeContent TRUE a -> Bool Source #

createField :: Maybe (FieldContent TRUE cat) -> FieldName -> ([TypeWrapper], TypeName) -> FieldDefinition cat Source #

createArgument :: FieldName -> ([TypeWrapper], TypeName) -> FieldDefinition IN Source #

createEnumType :: TypeName -> [TypeName] -> TypeDefinition a Source #

createScalarType :: TypeName -> TypeDefinition a Source #

createType :: TypeName -> TypeContent TRUE a -> TypeDefinition a Source #

createUnionType :: TypeName -> [TypeName] -> TypeDefinition OUT Source #

createAlias :: TypeName -> TypeRef Source #

createInputUnionFields :: TypeName -> [UnionMember IN] -> [FieldDefinition IN] Source #

fieldVisibility :: FieldDefinition cat -> Bool Source #

createEnumValue :: TypeName -> DataEnumValue Source #

insertType :: TypeDefinition ANY -> TypeUpdater Source #

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

lookupDeprecatedReason :: Directive VALID -> Maybe Description Source #

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

hsTypeName :: TypeName -> TypeName Source #

data GQLQuery Source #

Constructors

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

Instances

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

type Variables = HashMap FieldName ResolvedValue Source #

isNullableWrapper :: [TypeWrapper] -> Bool Source #

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

data OrderedMap k a Source #

Instances

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

data GQLError Source #

Constructors

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

Instances

Eq GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: GQLError -> GQLError -> Bool # (/=) :: GQLError -> GQLError -> Bool #
Show GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> GQLError -> ShowS # show :: GQLError -> String # showList :: [GQLError] -> ShowS #
Generic GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Associated Types type Rep GQLError :: Type -> Type # Methods from :: GQLError -> Rep GQLError x # to :: Rep GQLError x -> GQLError #
ToJSON GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods toJSON :: GQLError -> Value # toEncoding :: GQLError -> Encoding # toJSONList :: [GQLError] -> Value # toEncodingList :: [GQLError] -> Encoding #
FromJSON GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods parseJSON :: Value -> Parser GQLError # parseJSONList :: Value -> Parser [GQLError] #
Monad m => Failure GQLErrors (ResultT event m) Source #
Instance details Defined in Data.Morpheus.Types.Internal.Resolving.Core Methods failure :: GQLErrors -> ResultT event m v Source #
(LiftOperation o, Monad m) => Failure GQLErrors (Resolver o e m) Source #
Instance details Defined in Data.Morpheus.Types.Internal.Resolving.Resolver Methods failure :: GQLErrors -> Resolver o e m v Source #
Failure [GQLError] (Result ev) Source #
Instance details Defined in Data.Morpheus.Types.Internal.Resolving.Core Methods failure :: [GQLError] -> Result ev v Source #
type Rep GQLError Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base type Rep GQLError = D1 (MetaData "GQLError" "Data.Morpheus.Types.Internal.AST.Base" "morpheus-graphql-core-0.13.0-IGzDRUCgSIfHvjDJvh89n4" 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

Eq (ObjectEntry s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods (==) :: ObjectEntry s -> ObjectEntry s -> Bool # (/=) :: ObjectEntry s -> ObjectEntry s -> Bool #
Show (ObjectEntry s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods showsPrec :: Int -> ObjectEntry s -> ShowS # show :: ObjectEntry s -> String # showList :: [ObjectEntry s] -> ShowS #
Lift (ObjectEntry a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: ObjectEntry a -> Q Exp #
RenderGQL (ObjectEntry a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods render :: ObjectEntry a -> Rendering Source #
KeyOf (ObjectEntry s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Associated Types type KEY (ObjectEntry s) :: Type Source # Methods keyOf :: ObjectEntry s -> KEY (ObjectEntry s) Source #
type KEY (ObjectEntry s) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value type KEY (ObjectEntry s) = FieldName

data UnionTag Source #

Constructors

UnionTag
Fields unionTagName :: TypeName unionTagSelection :: SelectionSet VALID

Instances

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

__inputname :: FieldName Source #

updateSchema :: TypeName -> DataFingerprint -> [TypeUpdater] -> (a -> TypeDefinition cat) -> a -> TypeUpdater Source #

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

type ANY = Any Source #

type IN = In Source #

type OUT = Out Source #

class FromAny a (k :: TypeCategory) where Source #

Methods

fromAny :: a ANY -> Maybe (a k) Source #

Instances

FromAny (TypeContent TRUE) a => FromAny TypeDefinition a Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromAny :: TypeDefinition ANY -> Maybe (TypeDefinition a) Source #
FromAny (TypeContent TRUE) OUT Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromAny :: TypeContent TRUE ANY -> Maybe (TypeContent TRUE OUT) Source #
FromAny (TypeContent TRUE) IN Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods fromAny :: TypeContent TRUE ANY -> Maybe (TypeContent TRUE IN) Source #

class ToAny a where Source #

Methods

toAny :: a (k :: TypeCategory) -> a ANY Source #

Instances

ToAny FieldDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toAny :: FieldDefinition k -> FieldDefinition ANY Source #
ToAny TypeDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toAny :: TypeDefinition k -> TypeDefinition ANY Source #
ToAny (FieldContent TRUE) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toAny :: FieldContent TRUE k -> FieldContent TRUE ANY Source #
ToAny (TypeContent TRUE) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toAny :: TypeContent TRUE k -> TypeContent TRUE ANY Source #

type TRUE = True Source #

type FALSE = False Source #

newtype TypeName Source #

Constructors

TypeName
Fields readTypeName :: Text

Instances

Eq TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (==) :: TypeName -> TypeName -> Bool # (/=) :: TypeName -> TypeName -> Bool #
Ord TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods compare :: TypeName -> TypeName -> Ordering # (<) :: TypeName -> TypeName -> Bool # (<=) :: TypeName -> TypeName -> Bool # (>) :: TypeName -> TypeName -> Bool # (>=) :: TypeName -> TypeName -> Bool # max :: TypeName -> TypeName -> TypeName # min :: TypeName -> TypeName -> TypeName #
Show TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods showsPrec :: Int -> TypeName -> ShowS # show :: TypeName -> String # showList :: [TypeName] -> ShowS #
IsString TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods fromString :: String -> TypeName #
Generic TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Associated Types type Rep TypeName :: Type -> Type # Methods from :: TypeName -> Rep TypeName x # to :: Rep TypeName x -> TypeName #
Semigroup TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods (<>) :: TypeName -> TypeName -> TypeName # sconcat :: NonEmpty TypeName -> TypeName # stimes :: Integral b => b -> TypeName -> TypeName #
Lift TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods lift :: TypeName -> Q Exp #
Hashable TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods hashWithSalt :: Int -> TypeName -> Int # hash :: TypeName -> Int #
ToJSON TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods toJSON :: TypeName -> Value # toEncoding :: TypeName -> Encoding # toJSONList :: [TypeName] -> Value # toEncodingList :: [TypeName] -> Encoding #
FromJSON TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods parseJSON :: Value -> Parser TypeName # parseJSONList :: Value -> Parser [TypeName] #
RenderGQL TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods render :: TypeName -> Rendering Source #
Msg TypeName Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: TypeName -> Message Source # msgSepBy :: Text -> [TypeName] -> Message Source #
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.13.0-IGzDRUCgSIfHvjDJvh89n4" True) (C1 (MetaCons "TypeName" PrefixI True) (S1 (MetaSel (Just "readTypeName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

type Token = Text Source #

class Msg a where Source #

Minimal complete definition

msg

Methods

msg :: a -> Message Source #

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

Instances

Msg ByteString Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: ByteString -> Message Source # msgSepBy :: Text -> [ByteString] -> Message Source #
Msg Text Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: Text -> Message Source # msgSepBy :: Text -> [Text] -> Message Source #
Msg Value Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: Value -> Message Source # msgSepBy :: Text -> [Value] -> Message Source #
Msg String Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: String -> Message Source # msgSepBy :: Text -> [String] -> Message Source #
Msg TypeRef Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Base Methods msg :: TypeRef -> Message Source # msgSepBy :: Text -> [TypeRef] -> Message Source #
Msg 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 DirectiveLocation Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods msg :: DirectiveLocation -> Message Source # msgSepBy :: Text -> [DirectiveLocation] -> Message Source #
Msg (Value a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods msg :: Value a -> Message Source # msgSepBy :: Text -> [Value a] -> Message Source #

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

toFieldName :: TypeName -> FieldName Source #

data TypeNameRef Source #

Constructors

TypeNameRef
Fields typeNameRef :: TypeName typeNamePosition :: Position

Instances

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

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

newtype Fields def Source #

Constructors

Fields
Fields unFields :: OrderedMap FieldName def

Instances

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

fieldsToArguments :: FieldsDefinition IN -> ArgumentsDefinition Source #

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

mkConsEnum :: DataEnumValue -> ConsD cat Source #

type Directives s = [Directive s] Source #

type DirectiveDefinitions = [DirectiveDefinition] Source #

data DirectiveDefinition Source #

Constructors

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

Instances

Show DirectiveDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> DirectiveDefinition -> ShowS # show :: DirectiveDefinition -> String # showList :: [DirectiveDefinition] -> ShowS #
Lift DirectiveDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: DirectiveDefinition -> Q Exp #
KeyOf DirectiveDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Associated Types type KEY DirectiveDefinition :: Type Source # Methods keyOf :: DirectiveDefinition -> KEY DirectiveDefinition Source #
Selectable DirectiveDefinition ArgumentDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods selectOr :: d -> (ArgumentDefinition -> d) -> KEY ArgumentDefinition -> DirectiveDefinition -> d Source #
type KEY DirectiveDefinition Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem type KEY DirectiveDefinition = FieldName

data DirectiveLocation Source #

Constructors

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

Instances

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

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

Constructors

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

Instances

ToAny (FieldContent TRUE) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods toAny :: FieldContent TRUE k -> FieldContent TRUE ANY Source #
Show (FieldContent bool cat) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods showsPrec :: Int -> FieldContent bool cat -> ShowS # show :: FieldContent bool cat -> String # showList :: [FieldContent bool cat] -> ShowS #
Lift (FieldContent bool cat) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods lift :: FieldContent bool cat -> Q Exp #

fieldContentArgs :: FieldContent b cat -> OrderedMap FieldName ArgumentDefinition Source #

mkField :: FieldName -> ([TypeWrapper], TypeName) -> FieldDefinition cat Source #

data TypeNameTH Source #

Constructors

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

Instances

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

isOutput :: TypeKind -> Bool Source #

mkObjectField :: ArgumentsDefinition -> FieldName -> ([TypeWrapper], TypeName) -> FieldDefinition OUT Source #

data UnionMember (cat :: TypeCategory) Source #

Constructors

UnionMember
Fields memberName :: TypeName visibility :: Bool

Instances

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

mkUnionMember :: TypeName -> UnionMember cat Source #