Safe Haskell	None
Language	Haskell2010

Data.Morpheus.Types.Internal.AST

Synopsis

type Key = Text
data Ref = Ref {
- refName :: Key
- refPosition :: Position
}
data Position = Position {
- line :: Int
- column :: Int
}
type Message = Text
anonymousRef :: Key -> Ref
type Name = Key
type Description = Key
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 :: Name -> Value stage
- Scalar :: ScalarValue -> Value stage
- Null :: Value stage
data ScalarValue
- = Int Int
- | Float Float
- | String Text
- | Boolean Bool
type Object a = OrderedMap (ObjectEntry a)
class GQLValue a where
- gqlNull :: a
- gqlScalar :: ScalarValue -> a
- gqlBoolean :: Bool -> a
- gqlString :: Text -> a
- gqlList :: [a] -> a
- gqlObject :: [(Name, a)] -> a
replaceValue :: Value -> Value a
decodeScientific :: Scientific -> ScalarValue
convertToJSONName :: Text -> Text
convertToHaskellName :: Text -> Text
type RawValue = Value RAW
type ValidValue = Value VALID
type RawObject = Object RAW
type ValidObject = Object VALID
type ResolvedObject = Object RESOLVED
type ResolvedValue = Value RESOLVED
type Named a = (Name, a)
splitDuplicates :: Eq a => [a] -> ([a], [a])
removeDuplicates :: Eq a => [a] -> [a]
data Argument (valid :: Stage) = Argument {
- argumentName :: Name
- argumentValue :: Value valid
- argumentPosition :: Position
}
type Arguments s = OrderedMap (Argument s)
type SelectionSet s = MergeSet (Selection s)
data SelectionContent (s :: Stage) where
- SelectionField :: SelectionContent s
- SelectionSet :: SelectionSet s -> SelectionContent s
- UnionSelection :: UnionSelection -> SelectionContent VALID
data Selection (s :: Stage) where
- Selection :: {..} -> Selection s
- InlineFragment :: Fragment -> Selection RAW
- Spread :: Ref -> Selection RAW
type Fragments = OrderedMap Fragment
data Fragment = Fragment {
- fragmentName :: Name
- fragmentType :: Name
- fragmentPosition :: Position
- fragmentSelection :: SelectionSet RAW
}
isOutputType :: DataTypeKind -> Bool
data Operation (s :: Stage) = Operation {
- operationName :: Maybe Key
- operationType :: OperationType
- operationArguments :: VariableDefinitions s
- operationSelection :: SelectionSet s
- operationPosition :: Position
}
data Variable (stage :: Stage) = Variable {
- variableName :: Name
- variableType :: TypeRef
- variablePosition :: Position
- variableValue :: VariableContent (VAR stage)
}
type VariableDefinitions s = OrderedMap (Variable s)
type DefaultValue = Maybe ResolvedValue
getOperationName :: Maybe Key -> Key
getOperationDataType :: Failure GQLErrors m => Operation a -> Schema -> m TypeDefinition
newtype ScalarDefinition = ScalarDefinition {
- validateValue :: ValidValue -> Either Key ValidValue
}
type DataEnum = [DataEnumValue]
newtype FieldsDefinition = FieldsDefinition {
- unFieldsDefinition :: OrderedMap FieldDefinition
}
type ArgumentDefinition = FieldDefinition
type DataUnion = [Key]
data ArgumentsDefinition
- = ArgumentsDefinition {
  - argumentsTypename :: Maybe Name
  - arguments :: OrderedMap ArgumentDefinition
  }
- | NoArguments
data FieldDefinition = FieldDefinition {
- fieldName :: Key
- fieldArgs :: ArgumentsDefinition
- fieldType :: TypeRef
- fieldMeta :: Maybe Meta
}
newtype InputFieldsDefinition = InputFieldsDefinition {
- unInputFieldsDefinition :: OrderedMap FieldDefinition
}
data TypeContent
- = DataScalar {
  - dataScalar :: ScalarDefinition
  }
- | DataEnum {
  - enumMembers :: DataEnum
  }
- | DataInputObject {
  - inputObjectFields :: InputFieldsDefinition
  }
- | DataObject {
  - objectImplements :: [Name]
  - objectFields :: FieldsDefinition
  }
- | DataUnion {
  - unionMembers :: DataUnion
  }
- | DataInputUnion {
  - inputUnionMembers :: [(Key, Bool)]
  }
- | DataInterface {
  - interfaceFields :: FieldsDefinition
  }
data TypeDefinition = TypeDefinition {
- typeName :: Key
- typeFingerprint :: DataFingerprint
- typeMeta :: Maybe Meta
- typeContent :: TypeContent
}
data Schema = Schema {
- types :: TypeLib
- query :: TypeDefinition
- mutation :: Maybe TypeDefinition
- subscription :: Maybe TypeDefinition
}
data DataTypeWrapper
- = ListType
- | NonNullType
data DataTypeKind
- = KindScalar
- | KindObject (Maybe OperationType)
- | KindUnion
- | KindEnum
- | KindInputObject
- | KindList
- | KindNonNull
- | KindInputUnion
data DataFingerprint = DataFingerprint Name [String]
data TypeWrapper
- = TypeList
- | TypeMaybe
data TypeRef = TypeRef {
- typeConName :: Name
- typeArgs :: Maybe Name
- typeWrappers :: [TypeWrapper]
}
data DataEnumValue = DataEnumValue {
- enumName :: Name
- enumMeta :: Maybe Meta
}
data OperationType
- = Query
- | Subscription
- | Mutation
type QUERY = Query
type MUTATION = Mutation
type SUBSCRIPTION = Subscription
data Meta = Meta {
- metaDescription :: Maybe Description
- metaDirectives :: [Directive]
}
data Directive = Directive {
- directiveName :: Name
- directiveArgs :: OrderedMap (Argument VALID)
}
type TypeUpdater = LibUpdater Schema
data TypeD = TypeD {
- tName :: Name
- tNamespace :: [Name]
- tCons :: [ConsD]
- tMeta :: Maybe Meta
}
data ConsD = ConsD {
- cName :: Name
- cFields :: [FieldDefinition]
}
data ClientQuery = ClientQuery {
- queryText :: String
- queryTypes :: [ClientType]
- queryArgsType :: Maybe TypeD
}
data GQLTypeD = GQLTypeD {
- typeD :: TypeD
- typeKindD :: DataTypeKind
- typeArgD :: [TypeD]
- typeOriginal :: TypeDefinition
}
data ClientType = ClientType {
- clientType :: TypeD
- clientKind :: DataTypeKind
}
type DataInputUnion = [(Key, Bool)]
data VariableContent (stage :: Stage) where
- DefaultValue :: Maybe ResolvedValue -> VariableContent RESOLVED
- ValidVariableValue :: {..} -> VariableContent VALID
type TypeLib = HashMap Key TypeDefinition
isTypeDefined :: Key -> Schema -> Maybe DataFingerprint
initTypeLib :: TypeDefinition -> Schema
defineType :: TypeDefinition -> Schema -> Schema
isFieldNullable :: FieldDefinition -> Bool
allDataTypes :: Schema -> [TypeDefinition]
lookupDataType :: Key -> Schema -> Maybe TypeDefinition
kindOf :: TypeDefinition -> DataTypeKind
toNullableField :: FieldDefinition -> FieldDefinition
toListField :: FieldDefinition -> FieldDefinition
isObject :: DataTypeKind -> Bool
isInput :: DataTypeKind -> Bool
toHSWrappers :: [DataTypeWrapper] -> [TypeWrapper]
isNullable :: TypeRef -> Bool
toGQLWrapper :: [TypeWrapper] -> [DataTypeWrapper]
isWeaker :: [TypeWrapper] -> [TypeWrapper] -> Bool
isSubscription :: DataTypeKind -> Bool
isOutputObject :: DataTypeKind -> Bool
sysTypes :: [Key]
isDefaultTypeName :: Key -> Bool
isSchemaTypeName :: Key -> Bool
isPrimitiveTypeName :: Key -> Bool
isEntNode :: TypeContent -> Bool
createField :: ArgumentsDefinition -> Key -> ([TypeWrapper], Key) -> FieldDefinition
createArgument :: Key -> ([TypeWrapper], Key) -> FieldDefinition
createDataTypeLib :: Failure Message m => [TypeDefinition] -> m Schema
createEnumType :: Name -> [Key] -> TypeDefinition
createScalarType :: Name -> TypeDefinition
createType :: Key -> TypeContent -> TypeDefinition
createUnionType :: Key -> [Key] -> TypeDefinition
createAlias :: Key -> TypeRef
createInputUnionFields :: Key -> [Key] -> [FieldDefinition]
fieldVisibility :: FieldDefinition -> Bool
createEnumValue :: Name -> DataEnumValue
insertType :: TypeDefinition -> TypeUpdater
lookupDeprecated :: Meta -> Maybe Directive
lookupDeprecatedReason :: Directive -> Maybe Key
hasArguments :: ArgumentsDefinition -> Bool
lookupWith :: Eq k => (a -> k) -> k -> [a] -> Maybe a
typeFromScalar :: Name -> Name
toHSFieldDefinition :: FieldDefinition -> FieldDefinition
hsTypeName :: Key -> Key
data GQLQuery = GQLQuery {
- fragments :: Fragments
- operation :: Operation RAW
- inputVariables :: [(Key, ResolvedValue)]
}
type Variables = Map Key ResolvedValue
isNullableWrapper :: [TypeWrapper] -> Bool
unsafeFromFields :: [FieldDefinition] -> FieldsDefinition
unsafeFromInputFields :: [FieldDefinition] -> InputFieldsDefinition
data OrderedMap a
data GQLError = GQLError {
- message :: Message
- locations :: [Position]
}
type GQLErrors = [GQLError]
data ObjectEntry (s :: Stage) = ObjectEntry {
- entryName :: Name
- entryValue :: Value s
}
data UnionTag = UnionTag {
- unionTagName :: Name
- unionTagSelection :: SelectionSet VALID
}
isInputDataType :: TypeDefinition -> Bool
__inputname :: Name

Documentation

type Key = Text Source #

data Ref Source #

Constructors

Ref
Fields refName :: Key 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 #

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-0.11.0-DUiAk47SKcjJSZXaGm9hvY" False) (C1 (MetaCons "Position" PrefixI True) (S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "column") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

type Message = Text Source #

anonymousRef :: Key -> Ref Source #

type Name = Key Source #

type Description = Key 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 :: Name -> 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] #
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 :: [(Name, 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] #
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-0.11.0-DUiAk47SKcjJSZXaGm9hvY" 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 (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 :: [(Name, 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 :: [(Name, Value a)] -> Value a Source #

replaceValue :: Value -> Value a Source #

decodeScientific :: Scientific -> ScalarValue Source #

convertToJSONName :: Text -> Text Source #

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

type Named a = (Name, a) Source #

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

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

data Argument (valid :: Stage) Source #

Constructors

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

Instances

Eq (Argument valid) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data Methods (==) :: Argument valid -> Argument valid -> Bool # (/=) :: Argument valid -> Argument valid -> Bool #
Show (Argument valid) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data 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.Data Methods lift :: Argument valid -> Q Exp #

type Arguments s = OrderedMap (Argument s) Source #

type SelectionSet s = MergeSet (Selection s) Source #

data SelectionContent (s :: Stage) where Source #

Constructors

SelectionField :: SelectionContent s
SelectionSet :: SelectionSet s -> SelectionContent s
UnionSelection :: UnionSelection -> 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 #

data Selection (s :: Stage) where Source #

Constructors

Selection
Fields :: { selectionName :: Name , selectionAlias :: Maybe Name , selectionPosition :: Position , selectionArguments :: Arguments s , selectionContent :: SelectionContent s } -> Selection s
InlineFragment :: Fragment -> Selection RAW
Spread :: 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 #

type Fragments = OrderedMap Fragment Source #

data Fragment Source #

Constructors

Fragment
Fields fragmentName :: Name fragmentType :: Name fragmentPosition :: Position fragmentSelection :: SelectionSet 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 #

isOutputType :: DataTypeKind -> Bool Source #

data Operation (s :: Stage) Source #

Constructors

Operation
Fields operationName :: Maybe Key operationType :: OperationType operationArguments :: VariableDefinitions s operationSelection :: SelectionSet s operationPosition :: Position

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 :: Name 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 #

type VariableDefinitions s = OrderedMap (Variable s) Source #

type DefaultValue = Maybe ResolvedValue Source #

getOperationName :: Maybe Key -> Key Source #

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

newtype ScalarDefinition Source #

Constructors

ScalarDefinition
Fields validateValue :: ValidValue -> Either Key ValidValue

Instances

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

type DataEnum = [DataEnumValue] Source #

newtype FieldsDefinition Source #

Constructors

FieldsDefinition
Fields unFieldsDefinition :: OrderedMap FieldDefinition

Instances

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

type ArgumentDefinition = FieldDefinition Source #

type DataUnion = [Key] Source #

data ArgumentsDefinition Source #

Constructors

ArgumentsDefinition
Fields argumentsTypename :: Maybe Name arguments :: OrderedMap ArgumentDefinition
NoArguments

Instances

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

data FieldDefinition Source #

Constructors

FieldDefinition
Fields fieldName :: Key fieldArgs :: ArgumentsDefinition fieldType :: TypeRef fieldMeta :: Maybe Meta

Instances

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

newtype InputFieldsDefinition Source #

Constructors

InputFieldsDefinition
Fields unInputFieldsDefinition :: OrderedMap FieldDefinition

Instances

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

data TypeContent Source #

Constructors

DataScalar
Fields dataScalar :: ScalarDefinition
DataEnum
Fields enumMembers :: DataEnum
DataInputObject
Fields inputObjectFields :: InputFieldsDefinition
DataObject
Fields objectImplements :: [Name] objectFields :: FieldsDefinition
DataUnion
Fields unionMembers :: DataUnion
DataInputUnion
Fields inputUnionMembers :: [(Key, Bool)]
DataInterface
Fields interfaceFields :: FieldsDefinition

Instances

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

data TypeDefinition Source #

Constructors

TypeDefinition
Fields typeName :: Key typeFingerprint :: DataFingerprint typeMeta :: Maybe Meta typeContent :: TypeContent

Instances

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

data Schema Source #

Constructors

Schema
Fields types :: TypeLib query :: TypeDefinition mutation :: Maybe TypeDefinition subscription :: Maybe TypeDefinition

Instances

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

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 DataTypeKind Source #

Constructors

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

Instances

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

data DataFingerprint Source #

Constructors

DataFingerprint Name [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 :: Name typeArgs :: Maybe Name 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 #

data DataEnumValue Source #

Constructors

DataEnumValue
Fields enumName :: Name enumMeta :: Maybe Meta

Instances

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

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 Meta Source #

Constructors

Meta
Fields metaDescription :: Maybe Description metaDirectives :: [Directive]

Instances

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

data Directive Source #

Constructors

Directive
Fields directiveName :: Name directiveArgs :: OrderedMap (Argument VALID)

Instances

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

type TypeUpdater = LibUpdater Schema Source #

data TypeD Source #

Constructors

TypeD
Fields tName :: Name tNamespace :: [Name] tCons :: [ConsD] tMeta :: Maybe Meta

Instances

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

data ConsD Source #

Constructors

ConsD
Fields cName :: Name cFields :: [FieldDefinition]

Instances

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

data ClientQuery Source #

Constructors

ClientQuery
Fields queryText :: String queryTypes :: [ClientType] queryArgsType :: Maybe TypeD

Instances

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

data GQLTypeD Source #

Constructors

GQLTypeD
Fields typeD :: TypeD typeKindD :: DataTypeKind typeArgD :: [TypeD] typeOriginal :: TypeDefinition

Instances

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

data ClientType Source #

Constructors

ClientType
Fields clientType :: TypeD clientKind :: DataTypeKind

Instances

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

type DataInputUnion = [(Key, Bool)] 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 Key TypeDefinition Source #

isTypeDefined :: Key -> Schema -> Maybe DataFingerprint Source #

initTypeLib :: TypeDefinition -> Schema Source #

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

isFieldNullable :: FieldDefinition -> Bool Source #

allDataTypes :: Schema -> [TypeDefinition] Source #

lookupDataType :: Key -> Schema -> Maybe TypeDefinition Source #

kindOf :: TypeDefinition -> DataTypeKind Source #

toNullableField :: FieldDefinition -> FieldDefinition Source #

toListField :: FieldDefinition -> FieldDefinition Source #

isObject :: DataTypeKind -> Bool Source #

isInput :: DataTypeKind -> Bool Source #

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

isNullable :: TypeRef -> Bool Source #

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

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

isSubscription :: DataTypeKind -> Bool Source #

isOutputObject :: DataTypeKind -> Bool Source #

sysTypes :: [Key] Source #

isDefaultTypeName :: Key -> Bool Source #

isSchemaTypeName :: Key -> Bool Source #

isPrimitiveTypeName :: Key -> Bool Source #

isEntNode :: TypeContent -> Bool Source #

createField :: ArgumentsDefinition -> Key -> ([TypeWrapper], Key) -> FieldDefinition Source #

createArgument :: Key -> ([TypeWrapper], Key) -> FieldDefinition Source #

createDataTypeLib :: Failure Message m => [TypeDefinition] -> m Schema Source #

createEnumType :: Name -> [Key] -> TypeDefinition Source #

createScalarType :: Name -> TypeDefinition Source #

createType :: Key -> TypeContent -> TypeDefinition Source #

createUnionType :: Key -> [Key] -> TypeDefinition Source #

createAlias :: Key -> TypeRef Source #

createInputUnionFields :: Key -> [Key] -> [FieldDefinition] Source #

fieldVisibility :: FieldDefinition -> Bool Source #

createEnumValue :: Name -> DataEnumValue Source #

insertType :: TypeDefinition -> TypeUpdater Source #

lookupDeprecated :: Meta -> Maybe Directive Source #

lookupDeprecatedReason :: Directive -> Maybe Key Source #

hasArguments :: ArgumentsDefinition -> Bool Source #

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

typeFromScalar :: Name -> Name Source #

toHSFieldDefinition :: FieldDefinition -> FieldDefinition Source #

hsTypeName :: Key -> Key Source #

data GQLQuery Source #

Constructors

GQLQuery
Fields fragments :: Fragments operation :: Operation RAW inputVariables :: [(Key, 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 = Map Key ResolvedValue Source #

isNullableWrapper :: [TypeWrapper] -> Bool Source #

unsafeFromFields :: [FieldDefinition] -> FieldsDefinition Source #

unsafeFromInputFields :: [FieldDefinition] -> InputFieldsDefinition Source #

data OrderedMap a Source #

Instances

Functor OrderedMap Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrderedMap Methods fmap :: (a -> b) -> OrderedMap a -> OrderedMap b # (<$) :: a -> OrderedMap b -> OrderedMap a #
Foldable OrderedMap Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrderedMap Methods fold :: Monoid m => OrderedMap m -> m # foldMap :: Monoid m => (a -> m) -> OrderedMap a -> m # foldr :: (a -> b -> b) -> b -> OrderedMap a -> b # foldr' :: (a -> b -> b) -> b -> OrderedMap a -> b # foldl :: (b -> a -> b) -> b -> OrderedMap a -> b # foldl' :: (b -> a -> b) -> b -> OrderedMap a -> b # foldr1 :: (a -> a -> a) -> OrderedMap a -> a # foldl1 :: (a -> a -> a) -> OrderedMap a -> a # toList :: OrderedMap a -> [a] # null :: OrderedMap a -> Bool # length :: OrderedMap a -> Int # elem :: Eq a => a -> OrderedMap a -> Bool # maximum :: Ord a => OrderedMap a -> a # minimum :: Ord a => OrderedMap a -> a # sum :: Num a => OrderedMap a -> a # product :: Num a => OrderedMap a -> a #
Traversable OrderedMap Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrderedMap Methods traverse :: Applicative f => (a -> f b) -> OrderedMap a -> f (OrderedMap b) # sequenceA :: Applicative f => OrderedMap (f a) -> f (OrderedMap a) # mapM :: Monad m => (a -> m b) -> OrderedMap a -> m (OrderedMap b) # sequence :: Monad m => OrderedMap (m a) -> m (OrderedMap a) #
Eq a => Eq (OrderedMap a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrderedMap Methods (==) :: OrderedMap a -> OrderedMap a -> Bool # (/=) :: OrderedMap a -> OrderedMap a -> Bool #
Show a => Show (OrderedMap a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrderedMap Methods showsPrec :: Int -> OrderedMap a -> ShowS # show :: OrderedMap a -> String # showList :: [OrderedMap a] -> ShowS #
Lift a => Lift (OrderedMap a) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.OrderedMap Methods lift :: OrderedMap a -> Q Exp #

data GQLError Source #

Constructors

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

Instances

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] #
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-0.11.0-DUiAk47SKcjJSZXaGm9hvY" 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 :: Name 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 #

data UnionTag Source #

Constructors

UnionTag
Fields unionTagName :: Name 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 #

isInputDataType :: TypeDefinition -> Bool Source #

__inputname :: Name Source #