Safe Haskell	None
Language	Haskell2010

Data.Morpheus.Types.Internal.AST

Synopsis

type Key = Text
type Collection a = [(Key, a)]
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 (valid :: Stage) where
- ResolvedVariable :: Ref -> Variable VALID -> Value RESOLVED
- VariableValue :: Ref -> Value RAW
- Object :: Object a -> Value a
- List :: [Value a] -> Value a
- Enum :: Name -> Value a
- Scalar :: ScalarValue -> Value a
- Null :: Value a
data ScalarValue
- = Int Int
- | Float Float
- | String Text
- | Boolean Bool
type Object a = Collection (Value 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
unpackInputUnion :: [(Name, Bool)] -> Object stage -> Either Message (Name, Maybe (Value stage))
data Argument (valid :: Stage) = Argument {
- argumentValue :: Value valid
- argumentPosition :: Position
}
type Arguments a = Collection (Argument a)
type SelectionSet a = Collection (Selection a)
data SelectionContent (valid :: Stage) where
- SelectionField :: SelectionContent valid
- SelectionSet :: SelectionSet valid -> SelectionContent valid
- UnionSelection :: UnionSelection -> SelectionContent VALID
type ValidSelection = Selection VALID
data Selection (valid :: Stage) where
- Selection :: {..} -> Selection valid
- InlineFragment :: Fragment -> Selection RAW
- Spread :: Ref -> Selection RAW
type RawSelection = Selection RAW
type FragmentLib = [(Key, Fragment)]
type RawArguments = Arguments RAW
type RawSelectionSet = Collection RawSelection
data Fragment = Fragment {
- fragmentType :: Key
- fragmentPosition :: Position
- fragmentSelection :: RawSelectionSet
}
type RawArgument = Argument RAW
type ValidSelectionSet = Collection ValidSelection
type ValidArgument = Argument VALID
type ValidArguments = Collection ValidArgument
type RawSelectionRec = SelectionContent RAW
type ValidSelectionRec = SelectionContent VALID
isOutputType :: DataTypeKind -> Bool
data Operation (stage :: Stage) = Operation {
- operationName :: Maybe Key
- operationType :: OperationType
- operationArguments :: Collection (Variable stage)
- operationSelection :: SelectionSet stage
- operationPosition :: Position
}
data Variable (stage :: Stage) = Variable {
- variableType :: TypeRef
- variablePosition :: Position
- variableValue :: VariableContent (VAR stage)
}
type ValidOperation = Operation VALID
type RawOperation = Operation RAW
type VariableDefinitions = Collection (Variable RAW)
type ValidVariables = Collection (Variable VALID)
type DefaultValue = Maybe ResolvedValue
getOperationName :: Maybe Key -> Key
getOperationDataType :: Operation a -> Schema -> Validation DataType
getOperationObject :: Operation a -> Schema -> Validation (Name, DataObject)
type DataScalar = DataValidator
type DataEnum = [DataEnumValue]
type DataObject = [(Key, DataField)]
type DataArgument = DataField
type DataUnion = [Key]
type DataArguments = [(Key, DataArgument)]
data DataField = DataField {
- fieldName :: Key
- fieldArgs :: [(Key, DataArgument)]
- fieldArgsType :: Maybe Name
- fieldType :: TypeRef
- fieldMeta :: Maybe Meta
}
data DataTypeContent
- = DataScalar {
  - dataScalar :: DataScalar
  }
- | DataEnum {
  - enumMembers :: DataEnum
  }
- | DataInputObject {
  - inputObjectFields :: DataObject
  }
- | DataObject {
  - objectImplements :: [Name]
  - objectFields :: DataObject
  }
- | DataUnion {
  - unionMembers :: DataUnion
  }
- | DataInputUnion {
  - inputUnionMembers :: [(Key, Bool)]
  }
- | DataInterface {
  - interfaceFields :: DataObject
  }
data DataType = DataType {
- typeName :: Key
- typeFingerprint :: DataFingerprint
- typeMeta :: Maybe Meta
- typeContent :: DataTypeContent
}
data Schema = Schema {
- types :: HashMap Name DataType
- query :: (Name, DataType)
- mutation :: Maybe (Name, DataType)
- subscription :: Maybe (Name, DataType)
}
data DataTypeWrapper
- = ListType
- | NonNullType
newtype DataValidator = DataValidator {
- validateValue :: ValidValue -> Either Key ValidValue
}
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
}
isTypeDefined :: Key -> Schema -> Maybe DataFingerprint
initTypeLib :: (Key, DataType) -> Schema
defineType :: (Key, DataType) -> Schema -> Schema
isFieldNullable :: DataField -> Bool
allDataTypes :: Schema -> [(Key, DataType)]
lookupDataType :: Key -> Schema -> Maybe DataType
kindOf :: DataType -> DataTypeKind
toNullableField :: DataField -> DataField
toListField :: DataField -> DataField
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
data OperationType
- = Query
- | Subscription
- | Mutation
type QUERY = Query
type MUTATION = Mutation
type SUBSCRIPTION = Subscription
isEntNode :: DataTypeContent -> Bool
lookupInputType :: Failure e m => Key -> Schema -> e -> m DataType
coerceDataObject :: Failure error m => error -> DataType -> m (Name, DataObject)
lookupDataUnion :: (Monad m, Failure e m) => e -> Key -> Schema -> m DataUnion
lookupField :: Failure error m => Key -> [(Key, field)] -> error -> m field
lookupUnionTypes :: (Monad m, Failure GQLErrors m) => Position -> Key -> Schema -> DataField -> m [(Name, DataObject)]
lookupSelectionField :: Failure GQLErrors Validation => Position -> Name -> Name -> DataObject -> Validation DataField
lookupFieldAsSelectionSet :: (Monad m, Failure GQLErrors m) => Position -> Key -> Schema -> DataField -> m (Name, DataObject)
createField :: DataArguments -> Key -> ([TypeWrapper], Key) -> DataField
createArgument :: Key -> ([TypeWrapper], Key) -> (Key, DataField)
createDataTypeLib :: [(Key, DataType)] -> Validation Schema
createEnumType :: Key -> [Key] -> (Key, DataType)
createScalarType :: Key -> (Key, DataType)
createType :: Key -> DataTypeContent -> DataType
createUnionType :: Key -> [Key] -> (Key, DataType)
createAlias :: Key -> TypeRef
createInputUnionFields :: Key -> [Key] -> [(Key, DataField)]
fieldVisibility :: (Key, DataField) -> Bool
data Meta = Meta {
- metaDescription :: Maybe Description
- metaDirectives :: [Directive]
}
data Directive = Directive {
- directiveName :: Name
- directiveArgs :: [(Name, ValidValue)]
}
createEnumValue :: Key -> DataEnumValue
insertType :: (Key, DataType) -> TypeUpdater
type TypeUpdater = LibUpdater Schema
lookupDeprecated :: Meta -> Maybe Directive
lookupDeprecatedReason :: Directive -> Maybe Key
data TypeD = TypeD {
- tName :: Name
- tNamespace :: [Name]
- tCons :: [ConsD]
- tMeta :: Maybe Meta
}
data ConsD = ConsD {
- cName :: Name
- cFields :: [DataField]
}
data ClientQuery = ClientQuery {
- queryText :: String
- queryTypes :: [ClientType]
- queryArgsType :: Maybe TypeD
}
data GQLTypeD = GQLTypeD {
- typeD :: TypeD
- typeKindD :: DataTypeKind
- typeArgD :: [TypeD]
- typeOriginal :: (Name, DataType)
}
data ClientType = ClientType {
- clientType :: TypeD
- clientKind :: DataTypeKind
}
type DataInputUnion = [(Key, Bool)]
data VariableContent (stage :: Stage) where
- DefaultValue :: Maybe ResolvedValue -> VariableContent RESOLVED
- ValidVariableValue :: {..} -> VariableContent VALID
checkForUnknownKeys :: Failure e m => [Ref] -> [Name] -> ([Ref] -> e) -> m [Ref]
checkNameCollision :: (Failure e m, Ord a) => [a] -> ([a] -> e) -> m [a]
class DataLookup l a where
- lookupResult :: (Failure e m, Monad m) => e -> Name -> l -> m a
data GQLQuery = GQLQuery {
- fragments :: FragmentLib
- operation :: RawOperation
- inputVariables :: [(Key, ResolvedValue)]
}
type Variables = Map Key ResolvedValue
isNullableWrapper :: [TypeWrapper] -> Bool

Documentation

type Key = Text Source #

type Collection a = [(Key, a)] 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

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.9.0-Enb7NwejdImAguE6LnqUfW" 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 (valid :: Stage) where Source #

Constructors

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

Instances

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

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.9.0-Enb7NwejdImAguE6LnqUfW" 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 = Collection (Value 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 #

unpackInputUnion :: [(Name, Bool)] -> Object stage -> Either Message (Name, Maybe (Value stage)) Source #

data Argument (valid :: Stage) Source #

Constructors

Argument
Fields argumentValue :: Value valid argumentPosition :: Position

Instances

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

type Arguments a = Collection (Argument a) Source #

type SelectionSet a = Collection (Selection a) Source #

data SelectionContent (valid :: Stage) where Source #

Constructors

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

Instances

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 #

type ValidSelection = Selection VALID Source #

data Selection (valid :: Stage) where Source #

Constructors

Selection
Fields :: { selectionArguments :: Arguments valid , selectionPosition :: Position , selectionAlias :: Maybe Key , selectionContent :: SelectionContent valid } -> Selection valid
InlineFragment :: Fragment -> Selection RAW
Spread :: Ref -> Selection RAW

Instances

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 RawSelection = Selection RAW Source #

type FragmentLib = [(Key, Fragment)] Source #

type RawArguments = Arguments RAW Source #

type RawSelectionSet = Collection RawSelection Source #

data Fragment Source #

Constructors

Fragment
Fields fragmentType :: Key fragmentPosition :: Position fragmentSelection :: RawSelectionSet

Instances

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 #

type RawArgument = Argument RAW Source #

type ValidSelectionSet = Collection ValidSelection Source #

type ValidArgument = Argument VALID Source #

type ValidArguments = Collection ValidArgument Source #

type RawSelectionRec = SelectionContent RAW Source #

type ValidSelectionRec = SelectionContent VALID Source #

isOutputType :: DataTypeKind -> Bool Source #

data Operation (stage :: Stage) Source #

Constructors

Operation
Fields operationName :: Maybe Key operationType :: OperationType operationArguments :: Collection (Variable stage) operationSelection :: SelectionSet stage operationPosition :: Position

Instances

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

data Variable (stage :: Stage) Source #

Constructors

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

Instances

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 ValidOperation = Operation VALID Source #

type RawOperation = Operation RAW Source #

type VariableDefinitions = Collection (Variable RAW) Source #

type ValidVariables = Collection (Variable VALID) Source #

type DefaultValue = Maybe ResolvedValue Source #

getOperationName :: Maybe Key -> Key Source #

getOperationDataType :: Operation a -> Schema -> Validation DataType Source #

getOperationObject :: Operation a -> Schema -> Validation (Name, DataObject) Source #

type DataScalar = DataValidator Source #

type DataEnum = [DataEnumValue] Source #

type DataObject = [(Key, DataField)] Source #

type DataArgument = DataField Source #

type DataUnion = [Key] Source #

type DataArguments = [(Key, DataArgument)] Source #

data DataField Source #

Constructors

DataField
Fields fieldName :: Key fieldArgs :: [(Key, DataArgument)] fieldArgsType :: Maybe Name fieldType :: TypeRef fieldMeta :: Maybe Meta

Instances

Show DataField Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data Methods showsPrec :: Int -> DataField -> ShowS # show :: DataField -> String # showList :: [DataField] -> ShowS #
Lift DataField Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data Methods lift :: DataField -> Q Exp #
DataLookup Schema (Name, DataObject) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data Methods lookupResult :: (Failure e m, Monad m) => e -> Name -> Schema -> m (Name, DataObject) Source #

data DataTypeContent Source #

Constructors

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

Instances

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

data DataType Source #

Constructors

DataType
Fields typeName :: Key typeFingerprint :: DataFingerprint typeMeta :: Maybe Meta typeContent :: DataTypeContent

Instances

Show DataType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data Methods showsPrec :: Int -> DataType -> ShowS # show :: DataType -> String # showList :: [DataType] -> ShowS #
DataLookup Schema DataType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data Methods lookupResult :: (Failure e m, Monad m) => e -> Name -> Schema -> m DataType Source #

data Schema Source #

Constructors

Schema
Fields types :: HashMap Name DataType query :: (Name, DataType) mutation :: Maybe (Name, DataType) subscription :: Maybe (Name, DataType)

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 #
DataLookup Schema DataType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data Methods lookupResult :: (Failure e m, Monad m) => e -> Name -> Schema -> m DataType Source #
DataLookup Schema (Name, DataObject) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data Methods lookupResult :: (Failure e m, Monad m) => e -> Name -> Schema -> m (Name, DataObject) Source #

data DataTypeWrapper Source #

Constructors

ListType
NonNullType

Instances

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

newtype DataValidator Source #

Constructors

DataValidator
Fields validateValue :: ValidValue -> Either Key ValidValue

Instances

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

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.Data Methods (==) :: DataTypeKind -> DataTypeKind -> Bool # (/=) :: DataTypeKind -> DataTypeKind -> Bool #
Show DataTypeKind Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data Methods showsPrec :: Int -> DataTypeKind -> ShowS # show :: DataTypeKind -> String # showList :: [DataTypeKind] -> ShowS #
Lift DataTypeKind Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data 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.Data Methods (==) :: DataFingerprint -> DataFingerprint -> Bool # (/=) :: DataFingerprint -> DataFingerprint -> Bool #
Ord DataFingerprint Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data 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.Data Methods showsPrec :: Int -> DataFingerprint -> ShowS # show :: DataFingerprint -> String # showList :: [DataFingerprint] -> ShowS #
Lift DataFingerprint Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data Methods lift :: DataFingerprint -> Q Exp #

data TypeWrapper Source #

Constructors

TypeList
TypeMaybe

Instances

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

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 #

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

initTypeLib :: (Key, DataType) -> Schema Source #

defineType :: (Key, DataType) -> Schema -> Schema Source #

isFieldNullable :: DataField -> Bool Source #

allDataTypes :: Schema -> [(Key, DataType)] Source #

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

kindOf :: DataType -> DataTypeKind Source #

toNullableField :: DataField -> DataField Source #

toListField :: DataField -> DataField 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 #

data OperationType Source #

Constructors

Query
Subscription
Mutation

Instances

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

type QUERY = Query Source #

type MUTATION = Mutation Source #

type SUBSCRIPTION = Subscription Source #

isEntNode :: DataTypeContent -> Bool Source #

lookupInputType :: Failure e m => Key -> Schema -> e -> m DataType Source #

coerceDataObject :: Failure error m => error -> DataType -> m (Name, DataObject) Source #

lookupDataUnion :: (Monad m, Failure e m) => e -> Key -> Schema -> m DataUnion Source #

lookupField :: Failure error m => Key -> [(Key, field)] -> error -> m field Source #

lookupUnionTypes :: (Monad m, Failure GQLErrors m) => Position -> Key -> Schema -> DataField -> m [(Name, DataObject)] Source #

lookupSelectionField :: Failure GQLErrors Validation => Position -> Name -> Name -> DataObject -> Validation DataField Source #

lookupFieldAsSelectionSet :: (Monad m, Failure GQLErrors m) => Position -> Key -> Schema -> DataField -> m (Name, DataObject) Source #

createField :: DataArguments -> Key -> ([TypeWrapper], Key) -> DataField Source #

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

createDataTypeLib :: [(Key, DataType)] -> Validation Schema Source #

createEnumType :: Key -> [Key] -> (Key, DataType) Source #

createScalarType :: Key -> (Key, DataType) Source #

createType :: Key -> DataTypeContent -> DataType Source #

createUnionType :: Key -> [Key] -> (Key, DataType) Source #

createAlias :: Key -> TypeRef Source #

createInputUnionFields :: Key -> [Key] -> [(Key, DataField)] Source #

fieldVisibility :: (Key, DataField) -> Bool 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 :: [(Name, ValidValue)]

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 #

createEnumValue :: Key -> DataEnumValue Source #

insertType :: (Key, DataType) -> TypeUpdater Source #

type TypeUpdater = LibUpdater Schema Source #

lookupDeprecated :: Meta -> Maybe Directive Source #

lookupDeprecatedReason :: Directive -> Maybe Key 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 :: [DataField]

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 :: (Name, DataType)

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

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 #

checkForUnknownKeys :: Failure e m => [Ref] -> [Name] -> ([Ref] -> e) -> m [Ref] Source #

checkNameCollision :: (Failure e m, Ord a) => [a] -> ([a] -> e) -> m [a] Source #

class DataLookup l a where Source #

Methods

lookupResult :: (Failure e m, Monad m) => e -> Name -> l -> m a Source #

Instances

DataLookup Schema DataType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data Methods lookupResult :: (Failure e m, Monad m) => e -> Name -> Schema -> m DataType Source #
DataLookup Schema (Name, DataObject) Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data Methods lookupResult :: (Failure e m, Monad m) => e -> Name -> Schema -> m (Name, DataObject) Source #

data GQLQuery Source #

Constructors

GQLQuery
Fields fragments :: FragmentLib operation :: RawOperation 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 #