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 Value
- = Object Object
- | List [Value]
- | Enum Text
- | Scalar ScalarValue
- | Null
data ScalarValue
- = Int Int
- | Float Float
- | String Text
- | Boolean Bool
type Object = [(Text, Value)]
class GQLValue a where
- gqlNull :: a
- gqlScalar :: ScalarValue -> a
- gqlBoolean :: Bool -> a
- gqlString :: Text -> a
- gqlList :: [a] -> a
- gqlObject :: [(Text, a)] -> a
replaceValue :: Value -> Value
decodeScientific :: Scientific -> ScalarValue
convertToJSONName :: Text -> Text
convertToHaskellName :: Text -> Text
data Argument = Argument {
- argumentValue :: Value
- argumentOrigin :: ValueOrigin
- argumentPosition :: Position
}
type Arguments = Collection Argument
type SelectionSet = Collection ValidSelection
data SelectionRec
- = SelectionSet SelectionSet
- | UnionSelection UnionSelection
- | SelectionField
data ValueOrigin
- = VARIABLE
- | INLINE
type ValidSelection = Selection Arguments SelectionRec
data Selection args rec = Selection {
- selectionArguments :: args
- selectionPosition :: Position
- selectionAlias :: Maybe Key
- selectionRec :: rec
}
type RawSelection' a = Selection RawArguments a
type FragmentLib = [(Key, Fragment)]
type RawArguments = Collection RawArgument
type RawSelectionSet = Collection RawSelection
data Fragment = Fragment {
- fragmentType :: Key
- fragmentPosition :: Position
- fragmentSelection :: RawSelectionSet
}
data RawArgument
- = VariableRef Ref
- | RawArgument Argument
data RawSelection
- = RawSelectionSet (RawSelection' RawSelectionSet)
- | RawSelectionField (RawSelection' ())
- | InlineFragment Fragment
- | Spread Ref
data Operation args sel = Operation {
- operationName :: Maybe Key
- operationType :: OperationType
- operationArgs :: args
- operationSelection :: sel
- operationPosition :: Position
}
data Variable a = Variable {
- variableType :: Key
- isVariableRequired :: Bool
- variableTypeWrappers :: [TypeWrapper]
- variablePosition :: Position
- variableValue :: a
}
type ValidOperation = Operation Arguments SelectionSet
type RawOperation = Operation VariableDefinitions RawSelectionSet
type VariableDefinitions = Collection (Variable DefaultValue)
type ValidVariables = Collection (Variable Value)
type DefaultValue = Maybe Value
getOperationName :: Maybe Key -> Key
getOperationDataType :: Operation a b -> DataTypeLib -> Validation DataObject
type DataScalar = DataTyCon DataValidator
type DataEnum = DataTyCon [DataEnumValue]
type DataObject = DataTyCon [(Key, DataField)]
type DataArgument = DataField
type DataUnion = DataTyCon [Key]
type DataArguments = [(Key, DataArgument)]
data DataField = DataField {
- fieldName :: Key
- fieldArgs :: [(Key, DataArgument)]
- fieldArgsType :: Maybe ArgsType
- fieldType :: TypeAlias
- fieldMeta :: Maybe Meta
}
data DataTyCon a = DataTyCon {
- typeName :: Key
- typeFingerprint :: DataFingerprint
- typeMeta :: Maybe Meta
- typeData :: a
}
data DataType
- = DataScalar DataScalar
- | DataEnum DataEnum
- | DataInputObject DataObject
- | DataObject DataObject
- | DataUnion DataUnion
- | DataInputUnion DataUnion
data DataTypeLib = DataTypeLib {
- types :: HashMap Key DataType
- query :: (Key, DataObject)
- mutation :: Maybe (Key, DataObject)
- subscription :: Maybe (Key, DataObject)
}
data DataTypeWrapper
- = ListType
- | NonNullType
newtype DataValidator = DataValidator {
- validateValue :: Value -> Either Key Value
}
data DataTypeKind
- = KindScalar
- | KindObject (Maybe OperationType)
- | KindUnion
- | KindEnum
- | KindInputObject
- | KindList
- | KindNonNull
- | KindInputUnion
data DataFingerprint
- = SystemFingerprint Key
- | TypeableFingerprint [String]
data RawDataType
- = FinalDataType DataType
- | Interface DataObject
- | Implements {
  - implementsInterfaces :: [Key]
  - unImplements :: DataObject
  }
data ResolverKind
- = PlainResolver
- | TypeVarResolver
- | ExternalResolver
data TypeWrapper
- = TypeList
- | TypeMaybe
data TypeAlias = TypeAlias {
- aliasTyCon :: Key
- aliasArgs :: Maybe Key
- aliasWrappers :: [TypeWrapper]
}
data ArgsType = ArgsType {
- argsTypeName :: Key
- resKind :: ResolverKind
}
data DataEnumValue = DataEnumValue {
- enumName :: Name
- enumMeta :: Maybe Meta
}
isTypeDefined :: Key -> DataTypeLib -> Maybe DataFingerprint
initTypeLib :: (Key, DataObject) -> DataTypeLib
defineType :: (Key, DataType) -> DataTypeLib -> DataTypeLib
isFieldNullable :: DataField -> Bool
allDataTypes :: DataTypeLib -> [(Key, DataType)]
lookupDataType :: Key -> DataTypeLib -> Maybe DataType
kindOf :: DataType -> DataTypeKind
toNullableField :: DataField -> DataField
toListField :: DataField -> DataField
isObject :: DataTypeKind -> Bool
isInput :: DataTypeKind -> Bool
toHSWrappers :: [DataTypeWrapper] -> [TypeWrapper]
isNullable :: [TypeWrapper] -> 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 :: DataType -> Bool
lookupInputType :: Failure e m => Key -> DataTypeLib -> e -> m DataType
coerceDataObject :: Failure error m => error -> DataType -> m DataObject
getDataType :: Failure error m => Key -> DataTypeLib -> error -> m DataType
lookupDataObject :: (Monad m, Failure e m) => e -> Key -> DataTypeLib -> m DataObject
lookupDataUnion :: (Monad m, Failure e m) => e -> Key -> DataTypeLib -> m DataUnion
lookupType :: Failure e m => e -> [(Key, a)] -> Key -> m a
lookupField :: Failure error m => Key -> [(Key, field)] -> error -> m field
lookupUnionTypes :: (Monad m, Failure GQLErrors m) => Position -> Key -> DataTypeLib -> DataField -> m [DataObject]
lookupSelectionField :: Failure GQLErrors Validation => Position -> Key -> DataObject -> Validation DataField
lookupFieldAsSelectionSet :: (Monad m, Failure GQLErrors m) => Position -> Key -> DataTypeLib -> DataField -> m DataObject
createField :: DataArguments -> Key -> ([TypeWrapper], Key) -> DataField
createArgument :: Key -> ([TypeWrapper], Key) -> (Key, DataField)
createDataTypeLib :: [(Key, DataType)] -> Validation DataTypeLib
createEnumType :: Key -> [Key] -> (Key, DataType)
createScalarType :: Key -> (Key, DataType)
createType :: Key -> a -> DataTyCon a
createUnionType :: Key -> [Key] -> (Key, DataType)
createAlias :: Key -> TypeAlias
createInputUnionFields :: Key -> [Key] -> [(Key, DataField)]
fieldVisibility :: (Key, DataField) -> Bool
data Meta = Meta {
- metaDescription :: Maybe Description
- metaDirectives :: [Directive]
}
data Directive = Directive {
- directiveName :: Name
- directiveArgs :: [(Name, Value)]
}
createEnumValue :: Key -> DataEnumValue
fromDataType :: (DataTyCon () -> v) -> DataType -> v
insertType :: (Key, DataType) -> TypeUpdater
type TypeUpdater = LibUpdater DataTypeLib
lookupDeprecated :: Meta -> Maybe Directive
lookupDeprecatedReason :: Directive -> Maybe Key
data TypeD = TypeD {
- tName :: String
- tNamespace :: [String]
- tCons :: [ConsD]
- tMeta :: Maybe Meta
}
data ConsD = ConsD {
- cName :: String
- 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
}
data GQLQuery = GQLQuery {
- fragments :: FragmentLib
- operation :: RawOperation
- inputVariables :: [(Key, Value)]
}
type Variables = Map Key Value

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.7.0-1athT4IXRfbLIB7DZAaUGv" 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 Value Source #

Constructors

Object Object
List [Value]
Enum Text
Scalar ScalarValue
Null

Instances

Show Value Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
Generic Value Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Associated Types type Rep Value :: Type -> Type # Methods from :: Value -> Rep Value x # to :: Rep Value x -> Value #
Lift Value Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: Value -> Q Exp #
ToJSON Value Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods toJSON :: Value -> Value0 # toEncoding :: Value -> Encoding # toJSONList :: [Value] -> Value0 # toEncodingList :: [Value] -> Encoding #
FromJSON Value Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods parseJSON :: Value0 -> Parser Value # parseJSONList :: Value0 -> Parser [Value] #
GQLValue Value Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods gqlNull :: Value Source # gqlScalar :: ScalarValue -> Value Source # gqlBoolean :: Bool -> Value Source # gqlString :: Text -> Value Source # gqlList :: [Value] -> Value Source # gqlObject :: [(Text, Value)] -> Value Source #
type Rep Value Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value type Rep Value = D1 (MetaData "Value" "Data.Morpheus.Types.Internal.AST.Value" "morpheus-graphql-0.7.0-1athT4IXRfbLIB7DZAaUGv" False) ((C1 (MetaCons "Object" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Object)) :+: C1 (MetaCons "List" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Value]))) :+: (C1 (MetaCons "Enum" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: (C1 (MetaCons "Scalar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ScalarValue)) :+: C1 (MetaCons "Null" PrefixI False) (U1 :: Type -> Type))))

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.7.0-1athT4IXRfbLIB7DZAaUGv" 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 = [(Text, Value)] 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 :: [(Text, a)] -> a Source #

Instances

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

replaceValue :: Value -> Value Source #

decodeScientific :: Scientific -> ScalarValue Source #

convertToJSONName :: Text -> Text Source #

convertToHaskellName :: Text -> Text Source #

data Argument Source #

Constructors

Argument
Fields argumentValue :: Value argumentOrigin :: ValueOrigin argumentPosition :: Position

Instances

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

type Arguments = Collection Argument Source #

type SelectionSet = Collection ValidSelection Source #

data SelectionRec Source #

Constructors

SelectionSet SelectionSet
UnionSelection UnionSelection
SelectionField

Instances

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

data ValueOrigin Source #

Constructors

VARIABLE
INLINE

Instances

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

type ValidSelection = Selection Arguments SelectionRec Source #

data Selection args rec Source #

Constructors

Selection
Fields selectionArguments :: args selectionPosition :: Position selectionAlias :: Maybe Key selectionRec :: rec

Instances

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

type RawSelection' a = Selection RawArguments a Source #

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

type RawArguments = Collection RawArgument 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 #

data RawArgument Source #

Constructors

VariableRef Ref
RawArgument Argument

Instances

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

data RawSelection Source #

Constructors

RawSelectionSet (RawSelection' RawSelectionSet)
RawSelectionField (RawSelection' ())
InlineFragment Fragment
Spread Ref

Instances

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

data Operation args sel Source #

Constructors

Operation
Fields operationName :: Maybe Key operationType :: OperationType operationArgs :: args operationSelection :: sel operationPosition :: Position

Instances

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

data Variable a Source #

Constructors

Variable
Fields variableType :: Key isVariableRequired :: Bool variableTypeWrappers :: [TypeWrapper] variablePosition :: Position variableValue :: a

Instances

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

type ValidOperation = Operation Arguments SelectionSet Source #

type RawOperation = Operation VariableDefinitions RawSelectionSet Source #

type VariableDefinitions = Collection (Variable DefaultValue) Source #

type ValidVariables = Collection (Variable Value) Source #

type DefaultValue = Maybe Value Source #

getOperationName :: Maybe Key -> Key Source #

getOperationDataType :: Operation a b -> DataTypeLib -> Validation DataObject Source #

type DataScalar = DataTyCon DataValidator Source #

type DataEnum = DataTyCon [DataEnumValue] Source #

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

type DataArgument = DataField Source #

type DataUnion = DataTyCon [Key] Source #

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

data DataField Source #

Constructors

DataField
Fields fieldName :: Key fieldArgs :: [(Key, DataArgument)] fieldArgsType :: Maybe ArgsType fieldType :: TypeAlias 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 #

data DataTyCon a Source #

Constructors

DataTyCon
Fields typeName :: Key typeFingerprint :: DataFingerprint typeMeta :: Maybe Meta typeData :: a

Instances

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

data DataType Source #

Constructors

DataScalar DataScalar
DataEnum DataEnum
DataInputObject DataObject
DataObject DataObject
DataUnion DataUnion
DataInputUnion DataUnion

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 #

data DataTypeLib Source #

Constructors

DataTypeLib
Fields types :: HashMap Key DataType query :: (Key, DataObject) mutation :: Maybe (Key, DataObject) subscription :: Maybe (Key, DataObject)

Instances

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

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 :: Value -> Either Key Value

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

SystemFingerprint Key
TypeableFingerprint [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 RawDataType Source #

Constructors

FinalDataType DataType
Interface DataObject
Implements
Fields implementsInterfaces :: [Key] unImplements :: DataObject

Instances

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

data ResolverKind Source #

Constructors

PlainResolver
TypeVarResolver
ExternalResolver

Instances

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

data TypeWrapper Source #

Constructors

TypeList
TypeMaybe

Instances

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

data TypeAlias Source #

Constructors

TypeAlias
Fields aliasTyCon :: Key aliasArgs :: Maybe Key aliasWrappers :: [TypeWrapper]

Instances

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

data ArgsType Source #

Constructors

ArgsType
Fields argsTypeName :: Key resKind :: ResolverKind

Instances

Show ArgsType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data Methods showsPrec :: Int -> ArgsType -> ShowS # show :: ArgsType -> String # showList :: [ArgsType] -> ShowS #
Lift ArgsType Source #
Instance details Defined in Data.Morpheus.Types.Internal.AST.Data Methods lift :: ArgsType -> 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 -> DataTypeLib -> Maybe DataFingerprint Source #

initTypeLib :: (Key, DataObject) -> DataTypeLib Source #

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

isFieldNullable :: DataField -> Bool Source #

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

lookupDataType :: Key -> DataTypeLib -> 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 :: [TypeWrapper] -> 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 :: DataType -> Bool Source #

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

coerceDataObject :: Failure error m => error -> DataType -> m DataObject Source #

getDataType :: Failure error m => Key -> DataTypeLib -> error -> m DataType Source #

lookupDataObject :: (Monad m, Failure e m) => e -> Key -> DataTypeLib -> m DataObject Source #

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

lookupType :: Failure e m => e -> [(Key, a)] -> Key -> m a Source #

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

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

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

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

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

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

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

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

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

createType :: Key -> a -> DataTyCon a Source #

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

createAlias :: Key -> TypeAlias 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, Value)]

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 #

fromDataType :: (DataTyCon () -> v) -> DataType -> v Source #

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

type TypeUpdater = LibUpdater DataTypeLib Source #

lookupDeprecated :: Meta -> Maybe Directive Source #

lookupDeprecatedReason :: Directive -> Maybe Key Source #

data TypeD Source #

Constructors

TypeD
Fields tName :: String tNamespace :: [String] 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 :: String 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 #

data GQLQuery Source #

Constructors

GQLQuery
Fields fragments :: FragmentLib operation :: RawOperation inputVariables :: [(Key, Value)]

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