Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Ref name = Ref {
- refName :: name
- refPosition :: Position
- data Position = Position {}
- type Message = Text
- type FieldName = Name 'FIELD
- type Description = Text
- data Stage
- type CONST = 'CONST
- type VALID = 'VALID
- type RAW = 'RAW
- data Value (stage :: Stage) where
- data ScalarValue
- type Object a = OrdMap FieldName (ObjectEntry a)
- replaceValue :: Value -> Value a
- decodeScientific :: Scientific -> ScalarValue
- type RawValue = Value RAW
- type ValidValue = Value VALID
- type RawObject = Object RAW
- type ValidObject = Object VALID
- type ResolvedObject = Object CONST
- type ResolvedValue = Value CONST
- data Argument (valid :: Stage) = Argument {
- argumentPosition :: Position
- argumentName :: FieldName
- argumentValue :: Value valid
- type Arguments (s :: Stage) = OrdMap FieldName (Argument s)
- type SelectionSet (s :: Stage) = MergeMap (ALLOW_DUPLICATES s) FieldName (Selection s)
- data SelectionContent (s :: Stage) where
- SelectionField :: SelectionContent s
- SelectionSet :: SelectionSet s -> SelectionContent s
- UnionSelection :: {..} -> SelectionContent VALID
- data Selection (s :: Stage) where
- Selection :: {..} -> Selection s
- InlineFragment :: Fragment RAW -> Selection RAW
- Spread :: Directives RAW -> Ref FragmentName -> Selection RAW
- type Fragments (s :: Stage) = OrdMap FragmentName (Fragment s)
- data Fragment (stage :: Stage) = Fragment {
- fragmentName :: FragmentName
- fragmentType :: TypeName
- fragmentPosition :: Position
- fragmentSelection :: SelectionSet stage
- fragmentDirectives :: Directives stage
- data Operation (s :: Stage) = Operation {}
- data Variable (stage :: Stage) = Variable {
- variablePosition :: Position
- variableName :: FieldName
- variableType :: TypeRef
- variableValue :: VariableContent (CONST_OR_VALID stage)
- type VariableDefinitions s = OrdMap FieldName (Variable s)
- type DefaultValue = Maybe ResolvedValue
- getOperationName :: Maybe FieldName -> TypeName
- newtype ScalarDefinition = ScalarDefinition {}
- type DataEnum s = [DataEnumValue s]
- type FieldsDefinition cat s = OrdMap FieldName (FieldDefinition cat s)
- newtype ArgumentDefinition s = ArgumentDefinition {
- argument :: FieldDefinition IN s
- type UnionTypeDefinition k s = OrdMap TypeName (UnionMember k s)
- type ArgumentsDefinition s = OrdMap FieldName (ArgumentDefinition s)
- data FieldDefinition (cat :: TypeCategory) (s :: Stage) = FieldDefinition {
- fieldDescription :: Maybe Description
- fieldName :: FieldName
- fieldType :: TypeRef
- fieldContent :: Maybe (FieldContent TRUE cat s)
- fieldDirectives :: Directives s
- type InputFieldsDefinition s = OrdMap FieldName (InputValueDefinition s)
- data TypeContent (b :: Bool) (a :: TypeCategory) (s :: Stage) where
- DataScalar :: {..} -> CondTypeContent LEAF a s
- DataEnum :: {..} -> CondTypeContent LEAF a s
- DataInputObject :: {..} -> CondTypeContent INPUT_OBJECT a s
- DataInputUnion :: {..} -> CondTypeContent IN a s
- DataObject :: {..} -> CondTypeContent OBJECT a s
- DataUnion :: {..} -> CondTypeContent OUT a s
- DataInterface :: {..} -> CondTypeContent IMPLEMENTABLE a s
- data TypeDefinition (a :: TypeCategory) (s :: Stage) = TypeDefinition {}
- data Schema (s :: Stage) = Schema {
- types :: TypeDefinitions s
- query :: TypeDefinition OBJECT s
- mutation :: Maybe (TypeDefinition OBJECT s)
- subscription :: Maybe (TypeDefinition OBJECT s)
- directiveDefinitions :: DirectivesDefinition s
- data TypeKind
- data TypeWrapper
- = TypeList !TypeWrapper !Bool
- | BaseType !Bool
- data TypeRef = TypeRef {}
- data DataEnumValue s = DataEnumValue {}
- data OperationType
- type QUERY = 'Query
- type MUTATION = 'Mutation
- type SUBSCRIPTION = 'Subscription
- data Directive (s :: Stage) = Directive {}
- data TypeCategory
- data VariableContent (stage :: Stage) where
- DefaultValue :: Maybe ResolvedValue -> VariableContent CONST
- ValidVariableValue :: {..} -> VariableContent VALID
- type TypeDefinitions s = SafeHashMap TypeName (TypeDefinition ANY s)
- initTypeLib :: TypeDefinition OBJECT s -> Schema s
- kindOf :: TypeDefinition a s -> TypeKind
- toNullable :: Nullable a => a -> a
- isNullable :: Nullable a => a -> Bool
- class Subtyping t where
- isNotSystemTypeName :: TypeName -> Bool
- isLeaf :: TypeContent TRUE a s -> Bool
- isResolverType :: Strictness t => t -> Bool
- mkEnumContent :: LEAF <=! a => [TypeName] -> TypeContent TRUE a s
- createScalarType :: LEAF <=! a => TypeName -> TypeDefinition a s
- mkUnionContent :: [TypeName] -> TypeContent TRUE OUT s
- mkTypeRef :: TypeName -> TypeRef
- mkInputUnionFields :: Foldable t => t (UnionMember IN s) -> FieldsDefinition IN s
- fieldVisibility :: FieldDefinition cat s -> Bool
- lookupDeprecated :: Directives s -> Maybe (Directive s)
- lookupDeprecatedReason :: Directive s -> Maybe Description
- lookupWith :: Eq k => (a -> k) -> k -> [a] -> Maybe a
- data ExecutableDocument = ExecutableDocument {}
- type Variables = SafeHashMap FieldName ResolvedValue
- unsafeFromFields :: [FieldDefinition cat s] -> FieldsDefinition cat s
- data OrdMap k a
- data GQLError
- type GQLErrors = NonEmpty GQLError
- data ObjectEntry (s :: Stage) = ObjectEntry {
- entryName :: FieldName
- entryValue :: Value s
- data UnionTag = UnionTag {}
- type ANY = 'ANY
- type IN = 'IN
- type OUT = 'OUT
- type OBJECT = 'OBJECT
- type IMPLEMENTABLE = 'IMPLEMENTABLE
- fromAny :: FromCategory a ANY k => a ANY (s :: Stage) -> Maybe (a k s)
- toAny :: ToCategory a k ANY => a (k :: TypeCategory) (s :: Stage) -> a ANY s
- type TRUE = 'True
- type FALSE = 'False
- type TypeName = Name 'TYPE
- type Token = Text
- class Msg a where
- intercalate :: Name t1 -> [Name t2] -> Name t3
- fieldsToArguments :: FieldsDefinition IN s -> ArgumentsDefinition s
- type Directives s = OrdMap FieldName (Directive s)
- type DirectivesDefinition s = SafeHashMap FieldName (DirectiveDefinition s)
- data DirectiveDefinition s = DirectiveDefinition {}
- data DirectiveLocation
- data FieldContent (bool :: Bool) (cat :: TypeCategory) (s :: Stage) where
- DefaultInputValue :: {..} -> FieldContent (IN <=? cat) cat s
- FieldArgs :: {..} -> FieldContent (OUT <=? cat) cat s
- fieldArguments :: FieldDefinition c s -> ArgumentsDefinition s
- mkType :: TypeName -> TypeContent TRUE a s -> TypeDefinition a s
- mkObjectField :: ArgumentsDefinition s -> FieldName -> TypeWrapper -> TypeName -> FieldDefinition OUT s
- data UnionMember (cat :: TypeCategory) (s :: Stage) = UnionMember {
- memberName :: TypeName
- nullary :: Bool
- mkUnionMember :: TypeName -> UnionMember cat s
- mkNullaryMember :: TypeName -> UnionMember cat s
- data RawTypeDefinition
- data RootOperationTypeDefinition = RootOperationTypeDefinition {}
- type UnionSelection (s :: Stage) = MergeMap (ALLOW_DUPLICATES s) TypeName UnionTag
- data SchemaDefinition = SchemaDefinition {}
- buildSchema :: (Monad m, MonadError GQLError m) => (Maybe SchemaDefinition, [TypeDefinition ANY s], DirectivesDefinition s) -> m (Schema s)
- getOperationDataType :: MonadError GQLError m => Operation s -> Schema VALID -> m (TypeDefinition OBJECT VALID)
- newtype Typed (cat :: TypeCategory) (s :: Stage) a = Typed a
- typed :: (a c s -> b) -> a c s -> Typed c s b
- untyped :: (a -> b) -> Typed c s a -> b
- type LEAF = 'LEAF
- type INPUT_OBJECT = 'INPUT_OBJECT
- class ToCategory a (k :: TypeCategory) (k' :: TypeCategory) where
- toCategory :: a k (s :: Stage) -> a k' s
- class FromCategory a (k :: TypeCategory) (k' :: TypeCategory) where
- fromCategory :: a k (s :: Stage) -> Maybe (a k' s)
- possibleTypes :: TypeDefinition a s -> Schema s' -> [TypeName]
- possibleInterfaceTypes :: TypeName -> Schema s -> [TypeDefinition ANY s]
- mkField :: Maybe (FieldContent TRUE cat s) -> FieldName -> TypeRef -> FieldDefinition cat s
- defineSchemaWith :: (Monad f, MonadError GQLError f) => [TypeDefinition cat s] -> (Maybe (TypeDefinition OBJECT s), Maybe (TypeDefinition OBJECT s), Maybe (TypeDefinition OBJECT s)) -> f (Schema s)
- type (<=!) (a :: TypeCategory) (b :: TypeCategory) = (a <=? b) ~ TRUE
- type family ToOBJECT (s :: TypeCategory) :: TypeCategory where ...
- constraintInputUnion :: forall stage schemaStage. UnionTypeDefinition IN schemaStage -> Object stage -> Either GQLError (UnionMember IN schemaStage, Value stage)
- getInputUnionValue :: forall stage. Object stage -> Either GQLError (TypeName, Value stage)
- unitFieldName :: FieldName
- unitTypeName :: TypeName
- mkBaseType :: TypeWrapper
- mkMaybeType :: TypeWrapper
- isPossibleInterfaceType :: TypeName -> TypeDefinition c s -> Maybe (TypeDefinition c s)
- packName :: NamePacking a => a -> Name t
- unpackName :: NamePacking a => Name t -> a
- at :: GQLError -> Position -> GQLError
- atPositions :: Foldable t => GQLError -> t Position -> GQLError
- typeDefinitions :: Schema s -> HashMap TypeName (TypeDefinition ANY s)
- type FragmentName = Name 'FRAGMENT
- isInternal :: GQLError -> Bool
- internal :: GQLError -> GQLError
- isCustom :: GQLError -> Bool
- custom :: GQLError -> Text -> GQLError
- getCustomErrorType :: GQLError -> Maybe Text
- splitSystemSelection :: SelectionSet s -> (Maybe (SelectionSet s), Maybe (SelectionSet s))
- lookupDataType :: TypeName -> Schema s -> Maybe (TypeDefinition ANY s)
- data Name (t :: NAME)
- withPath :: GQLError -> [PropName] -> GQLError
- withExtensions :: GQLError -> Map Text Value -> GQLError
- data PropName
- defineDirective :: (Monad m, MonadError GQLError m) => Schema s -> DirectiveDefinition s -> m (Schema s)
Documentation
Document Reference with its Position
Position is used only for error messages. that means:
Ref "a" 1 === Ref "a" 3
Ref | |
|
Instances
(Eq name, Hashable name) => KeyOf name (Ref name) Source # | |
Defined in Data.Morpheus.Ext.KeyOf | |
Show name => Show (Ref name) Source # | |
Eq name => Eq (Ref name) Source # | |
Ord name => Ord (Ref name) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Base | |
(Monad m, MonadError GQLError m) => Merge (HistoryT m) UnionTag Source # | |
(Monad m, MonadError GQLError m, Merge (HistoryT m) (SelectionSet s)) => Merge (HistoryT m) (Selection s) Source # | |
(Monad m, MonadError GQLError m, Merge (HistoryT m) (SelectionSet s)) => Merge (HistoryT m) (SelectionContent s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Selection merge :: SelectionContent s -> SelectionContent s -> HistoryT m (SelectionContent s) Source # | |
Lift name => Lift (Ref name :: Type) Source # | |
Instances
FromJSON Position Source # | |
ToJSON Position Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Base | |
Generic Position Source # | |
Show Position Source # | |
Eq Position Source # | |
Ord Position Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Base | |
Lift Position Source # | |
type Rep Position Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Base type Rep Position = D1 ('MetaData "Position" "Data.Morpheus.Types.Internal.AST.Base" "morpheus-graphql-core-0.24.0-5Dec3m6m8DJ3FyraNQtDmt" '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 Description = Text Source #
data Value (stage :: Stage) where Source #
ResolvedVariable :: Ref FieldName -> Variable VALID -> Value CONST | |
VariableValue :: Ref FieldName -> Value RAW | |
Object :: Object stage -> Value stage | |
List :: [Value stage] -> Value stage | |
Enum :: TypeName -> Value stage | |
Scalar :: ScalarValue -> Value stage | |
Null :: Value stage |
Instances
Lift (Value a :: Type) Source # | |
FromJSON (Value a) Source # | |
ToJSON (Value a) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Value | |
IsString (Value stage) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Value fromString :: String -> Value stage # | |
Show (Value a) Source # | |
Eq (Value s) Source # | |
RenderGQL (Value a) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Value | |
Msg (Value a) Source # | |
data ScalarValue Source #
Primitive Values for GQLScalar: ScalarValue
, ScalarValue
, ScalarValue
, Boolean
.
for performance reason type Text
represents GraphQl ScalarValue
value
Instances
replaceValue :: Value -> Value a Source #
type ValidValue = Value VALID Source #
type ValidObject = Object VALID Source #
type ResolvedObject = Object CONST Source #
type ResolvedValue = Value CONST Source #
data Argument (valid :: Stage) Source #
Argument | |
|
Instances
NameCollision GQLError (Argument s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Fields nameCollision :: Argument s -> GQLError Source # | |
KeyOf FieldName (Argument stage) Source # | |
Show (Argument valid) Source # | |
Eq (Argument valid) Source # | |
RenderGQL (Argument s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Fields | |
Lift (Argument valid :: Type) Source # | |
data SelectionContent (s :: Stage) where Source #
SelectionField :: SelectionContent s | |
SelectionSet :: SelectionSet s -> SelectionContent s | |
UnionSelection | |
|
Instances
data Selection (s :: Stage) where Source #
Selection | |
| |
InlineFragment :: Fragment RAW -> Selection RAW | |
Spread :: Directives RAW -> Ref FragmentName -> Selection RAW |
Instances
KeyOf FieldName (Selection s) Source # | |
Lift (Selection a :: Type) Source # | |
Show (Selection a) Source # | |
Eq (Selection a) Source # | |
RenderGQL (Selection VALID) Source # | |
SelectionTree (Selection VALID) Source # | |
Defined in Data.Morpheus.Types.SelectionTree isLeaf :: Selection VALID -> Bool Source # getName :: IsString name => Selection VALID -> name Source # getChildrenList :: Selection VALID -> [ChildNode (Selection VALID)] Source # getChildren :: Selection VALID -> [ChildNode (Selection VALID)] Source # getChild :: ToString name => name -> Selection VALID -> Maybe (ChildNode (Selection VALID)) Source # hasChild :: ToString name => name -> Selection VALID -> Bool Source # getArguments :: IsString name => Selection VALID -> [(name, Value)] Source # getArgument :: ToString name => name -> Selection VALID -> Maybe Value Source # | |
(Monad m, MonadError GQLError m, Merge (HistoryT m) (SelectionSet s)) => Merge (HistoryT m) (Selection s) Source # | |
type ChildNode (Selection VALID) Source # | |
data Fragment (stage :: Stage) Source #
Fragment | |
|
Instances
NameCollision GQLError (Fragment s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Selection nameCollision :: Fragment s -> GQLError Source # | |
KeyOf FragmentName (Fragment s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Selection keyOf :: Fragment s -> FragmentName Source # | |
Show (Fragment stage) Source # | |
Eq (Fragment stage) Source # | |
Lift (Fragment stage :: Type) Source # | |
data Operation (s :: Stage) Source #
Instances
Show (Operation s) Source # | |
RenderGQL (Operation VALID) Source # | |
SelectionTree (Operation VALID) Source # | |
Defined in Data.Morpheus.Types.SelectionTree isLeaf :: Operation VALID -> Bool Source # getName :: IsString name => Operation VALID -> name Source # getChildrenList :: Operation VALID -> [ChildNode (Operation VALID)] Source # getChildren :: Operation VALID -> [ChildNode (Operation VALID)] Source # getChild :: ToString name => name -> Operation VALID -> Maybe (ChildNode (Operation VALID)) Source # hasChild :: ToString name => name -> Operation VALID -> Bool Source # getArguments :: IsString name => Operation VALID -> [(name, Value)] Source # getArgument :: ToString name => name -> Operation VALID -> Maybe Value Source # | |
Lift (Operation s :: Type) Source # | |
type ChildNode (Operation VALID) Source # | |
data Variable (stage :: Stage) Source #
Variable | |
|
type DefaultValue = Maybe ResolvedValue Source #
newtype ScalarDefinition Source #
Instances
Show ScalarDefinition Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeSystem showsPrec :: Int -> ScalarDefinition -> ShowS # show :: ScalarDefinition -> String # showList :: [ScalarDefinition] -> ShowS # | |
Eq ScalarDefinition Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeSystem (==) :: ScalarDefinition -> ScalarDefinition -> Bool # (/=) :: ScalarDefinition -> ScalarDefinition -> Bool # | |
Lift ScalarDefinition Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeSystem lift :: Quote m => ScalarDefinition -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ScalarDefinition -> Code m ScalarDefinition # |
type DataEnum s = [DataEnumValue s] Source #
type FieldsDefinition cat s = OrdMap FieldName (FieldDefinition cat s) Source #
newtype ArgumentDefinition s Source #
Instances
type UnionTypeDefinition k s = OrdMap TypeName (UnionMember k s) Source #
type ArgumentsDefinition s = OrdMap FieldName (ArgumentDefinition s) Source #
data FieldDefinition (cat :: TypeCategory) (s :: Stage) Source #
FieldDefinition | |
|
Instances
type InputFieldsDefinition s = OrdMap FieldName (InputValueDefinition s) Source #
data TypeContent (b :: Bool) (a :: TypeCategory) (s :: Stage) where Source #
DataScalar | |
| |
DataEnum | |
| |
DataInputObject | |
| |
DataInputUnion | |
| |
DataObject | |
| |
DataUnion | |
| |
DataInterface | |
|
Instances
data TypeDefinition (a :: TypeCategory) (s :: Stage) Source #
TypeDefinition | |
|
Instances
data Schema (s :: Stage) Source #
Schema | |
|
KindScalar | |
KindObject (Maybe OperationType) | |
KindUnion | |
KindEnum | |
KindInputObject | |
KindList | |
KindNonNull | |
KindInputUnion | |
KindInterface |
data TypeWrapper Source #
Instances
Show TypeWrapper Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Type showsPrec :: Int -> TypeWrapper -> ShowS # show :: TypeWrapper -> String # showList :: [TypeWrapper] -> ShowS # | |
Eq TypeWrapper Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Type (==) :: TypeWrapper -> TypeWrapper -> Bool # (/=) :: TypeWrapper -> TypeWrapper -> Bool # | |
Subtyping TypeWrapper Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Type isSubtype :: TypeWrapper -> TypeWrapper -> Bool Source # | |
Lift TypeWrapper Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Type lift :: Quote m => TypeWrapper -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => TypeWrapper -> Code m TypeWrapper # |
data DataEnumValue s Source #
Instances
Show (DataEnumValue s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeSystem showsPrec :: Int -> DataEnumValue s -> ShowS # show :: DataEnumValue s -> String # showList :: [DataEnumValue s] -> ShowS # | |
Eq (DataEnumValue s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeSystem (==) :: DataEnumValue s -> DataEnumValue s -> Bool # (/=) :: DataEnumValue s -> DataEnumValue s -> Bool # | |
RenderGQL (DataEnumValue s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeSystem renderGQL :: DataEnumValue s -> Rendering Source # | |
Lift (DataEnumValue s :: Type) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeSystem lift :: Quote m => DataEnumValue s -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => DataEnumValue s -> Code m (DataEnumValue s) # |
data OperationType Source #
Instances
type SUBSCRIPTION = 'Subscription Source #
data Directive (s :: Stage) Source #
Instances
NameCollision GQLError (Directive s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Fields nameCollision :: Directive s -> GQLError Source # | |
KeyOf FieldName (Directive s) Source # | |
Show (Directive s) Source # | |
Eq (Directive s) Source # | |
RenderGQL (Directive s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Fields | |
RenderGQL (Directives s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Fields renderGQL :: Directives s -> Rendering Source # | |
Lift (Directive s :: Type) Source # | |
data TypeCategory Source #
Instances
Show TypeCategory Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeCategory showsPrec :: Int -> TypeCategory -> ShowS # show :: TypeCategory -> String # showList :: [TypeCategory] -> ShowS # | |
Eq TypeCategory Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeCategory (==) :: TypeCategory -> TypeCategory -> Bool # (/=) :: TypeCategory -> TypeCategory -> Bool # | |
Ord TypeCategory Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeCategory compare :: TypeCategory -> TypeCategory -> Ordering # (<) :: TypeCategory -> TypeCategory -> Bool # (<=) :: TypeCategory -> TypeCategory -> Bool # (>) :: TypeCategory -> TypeCategory -> Bool # (>=) :: TypeCategory -> TypeCategory -> Bool # max :: TypeCategory -> TypeCategory -> TypeCategory # min :: TypeCategory -> TypeCategory -> TypeCategory # |
data VariableContent (stage :: Stage) where Source #
DefaultValue :: Maybe ResolvedValue -> VariableContent CONST | |
ValidVariableValue | |
|
Instances
Lift (VariableContent a :: Type) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Value lift :: Quote m => VariableContent a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => VariableContent a -> Code m (VariableContent a) # | |
Show (VariableContent a) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Value showsPrec :: Int -> VariableContent a -> ShowS # show :: VariableContent a -> String # showList :: [VariableContent a] -> ShowS # | |
Eq (VariableContent a) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Value (==) :: VariableContent a -> VariableContent a -> Bool # (/=) :: VariableContent a -> VariableContent a -> Bool # |
type TypeDefinitions s = SafeHashMap TypeName (TypeDefinition ANY s) Source #
initTypeLib :: TypeDefinition OBJECT s -> Schema s Source #
kindOf :: TypeDefinition a s -> TypeKind Source #
toNullable :: Nullable a => a -> a Source #
isNullable :: Nullable a => a -> Bool Source #
class Subtyping t where Source #
Instances
Subtyping TypeRef Source # | |
Subtyping TypeWrapper Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Type isSubtype :: TypeWrapper -> TypeWrapper -> Bool Source # |
isNotSystemTypeName :: TypeName -> Bool Source #
isResolverType :: Strictness t => t -> Bool Source #
mkEnumContent :: LEAF <=! a => [TypeName] -> TypeContent TRUE a s Source #
createScalarType :: LEAF <=! a => TypeName -> TypeDefinition a s Source #
mkUnionContent :: [TypeName] -> TypeContent TRUE OUT s Source #
mkInputUnionFields :: Foldable t => t (UnionMember IN s) -> FieldsDefinition IN s Source #
fieldVisibility :: FieldDefinition cat s -> Bool Source #
lookupDeprecated :: Directives s -> Maybe (Directive s) Source #
lookupWith :: Eq k => (a -> k) -> k -> [a] -> Maybe a Source #
data ExecutableDocument Source #
Instances
Show ExecutableDocument Source # | |
Defined in Data.Morpheus.Types.Internal.AST showsPrec :: Int -> ExecutableDocument -> ShowS # show :: ExecutableDocument -> String # showList :: [ExecutableDocument] -> ShowS # | |
Lift ExecutableDocument Source # | |
Defined in Data.Morpheus.Types.Internal.AST lift :: Quote m => ExecutableDocument -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ExecutableDocument -> Code m ExecutableDocument # |
type Variables = SafeHashMap FieldName ResolvedValue Source #
unsafeFromFields :: [FieldDefinition cat s] -> FieldsDefinition cat s Source #
Instances
Instances
data ObjectEntry (s :: Stage) Source #
ObjectEntry | |
|
Instances
type IMPLEMENTABLE = 'IMPLEMENTABLE Source #
toAny :: ToCategory a k ANY => a (k :: TypeCategory) (s :: Stage) -> a ANY s Source #
Instances
Msg Value Source # | |
Msg ByteString Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Error msg :: ByteString -> GQLError Source # | |
Msg DirectiveLocation Source # | |
Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation msg :: DirectiveLocation -> GQLError Source # | |
Msg GQLError Source # | |
Msg OperationType Source # | |
Defined in Data.Morpheus.Types.Internal.AST.OperationType msg :: OperationType -> GQLError Source # | |
Msg TypeRef Source # | |
Msg Text Source # | |
Msg String Source # | |
Msg (Name t) Source # | |
Msg (Value a) Source # | |
Msg (UnionMember cat s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Union msg :: UnionMember cat s -> GQLError Source # |
type DirectivesDefinition s = SafeHashMap FieldName (DirectiveDefinition s) Source #
data DirectiveDefinition s Source #
Instances
data DirectiveLocation Source #
Instances
Show DirectiveLocation Source # | |
Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation showsPrec :: Int -> DirectiveLocation -> ShowS # show :: DirectiveLocation -> String # showList :: [DirectiveLocation] -> ShowS # | |
Eq DirectiveLocation Source # | |
Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation (==) :: DirectiveLocation -> DirectiveLocation -> Bool # (/=) :: DirectiveLocation -> DirectiveLocation -> Bool # | |
RenderGQL DirectiveLocation Source # | |
Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation renderGQL :: DirectiveLocation -> Rendering Source # | |
Msg DirectiveLocation Source # | |
Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation msg :: DirectiveLocation -> GQLError Source # | |
Lift DirectiveLocation Source # | |
Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation lift :: Quote m => DirectiveLocation -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => DirectiveLocation -> Code m DirectiveLocation # |
data FieldContent (bool :: Bool) (cat :: TypeCategory) (s :: Stage) where Source #
DefaultInputValue | |
| |
FieldArgs | |
|
Instances
Lift (FieldContent bool cat s :: Type) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Fields lift :: Quote m => FieldContent bool cat s -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => FieldContent bool cat s -> Code m (FieldContent bool cat s) # | |
ToCategory (FieldContent TRUE) a ANY Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Fields toCategory :: forall (s :: Stage). FieldContent TRUE a s -> FieldContent TRUE ANY s Source # | |
Show (FieldContent bool cat s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Fields showsPrec :: Int -> FieldContent bool cat s -> ShowS # show :: FieldContent bool cat s -> String # showList :: [FieldContent bool cat s] -> ShowS # | |
Eq (FieldContent bool cat s) Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Fields (==) :: FieldContent bool cat s -> FieldContent bool cat s -> Bool # (/=) :: FieldContent bool cat s -> FieldContent bool cat s -> Bool # |
fieldArguments :: FieldDefinition c s -> ArgumentsDefinition s Source #
mkType :: TypeName -> TypeContent TRUE a s -> TypeDefinition a s Source #
mkObjectField :: ArgumentsDefinition s -> FieldName -> TypeWrapper -> TypeName -> FieldDefinition OUT s Source #
data UnionMember (cat :: TypeCategory) (s :: Stage) Source #
UnionMember | |
|
Instances
mkUnionMember :: TypeName -> UnionMember cat s Source #
mkNullaryMember :: TypeName -> UnionMember cat s Source #
data RawTypeDefinition Source #
RawSchemaDefinition SchemaDefinition | |
RawTypeDefinition (TypeDefinition ANY CONST) | |
RawDirectiveDefinition (DirectiveDefinition CONST) |
Instances
Show RawTypeDefinition Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeSystem showsPrec :: Int -> RawTypeDefinition -> ShowS # show :: RawTypeDefinition -> String # showList :: [RawTypeDefinition] -> ShowS # |
data RootOperationTypeDefinition Source #
Instances
data SchemaDefinition Source #
Instances
Show SchemaDefinition Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeSystem showsPrec :: Int -> SchemaDefinition -> ShowS # show :: SchemaDefinition -> String # showList :: [SchemaDefinition] -> ShowS # | |
RenderGQL SchemaDefinition Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeSystem renderGQL :: SchemaDefinition -> Rendering Source # | |
NameCollision GQLError SchemaDefinition Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeSystem | |
KeyOf TypeName SchemaDefinition Source # | |
Defined in Data.Morpheus.Types.Internal.AST.TypeSystem keyOf :: SchemaDefinition -> TypeName Source # |
buildSchema :: (Monad m, MonadError GQLError m) => (Maybe SchemaDefinition, [TypeDefinition ANY s], DirectivesDefinition s) -> m (Schema s) Source #
getOperationDataType :: MonadError GQLError m => Operation s -> Schema VALID -> m (TypeDefinition OBJECT VALID) Source #
newtype Typed (cat :: TypeCategory) (s :: Stage) a Source #
used for preserving type information from untyped values see function typed
Typed a |
type INPUT_OBJECT = 'INPUT_OBJECT Source #
class ToCategory a (k :: TypeCategory) (k' :: TypeCategory) where Source #
toCategory :: a k (s :: Stage) -> a k' s Source #
Instances
class FromCategory a (k :: TypeCategory) (k' :: TypeCategory) where Source #
fromCategory :: a k (s :: Stage) -> Maybe (a k' s) Source #
Instances
possibleTypes :: TypeDefinition a s -> Schema s' -> [TypeName] Source #
possibleInterfaceTypes :: TypeName -> Schema s -> [TypeDefinition ANY s] Source #
mkField :: Maybe (FieldContent TRUE cat s) -> FieldName -> TypeRef -> FieldDefinition cat s Source #
defineSchemaWith :: (Monad f, MonadError GQLError f) => [TypeDefinition cat s] -> (Maybe (TypeDefinition OBJECT s), Maybe (TypeDefinition OBJECT s), Maybe (TypeDefinition OBJECT s)) -> f (Schema s) Source #
type (<=!) (a :: TypeCategory) (b :: TypeCategory) = (a <=? b) ~ TRUE Source #
type family ToOBJECT (s :: TypeCategory) :: TypeCategory where ... Source #
constraintInputUnion :: forall stage schemaStage. UnionTypeDefinition IN schemaStage -> Object stage -> Either GQLError (UnionMember IN schemaStage, Value stage) Source #
getInputUnionValue :: forall stage. Object stage -> Either GQLError (TypeName, Value stage) Source #
isPossibleInterfaceType :: TypeName -> TypeDefinition c s -> Maybe (TypeDefinition c s) Source #
unpackName :: NamePacking a => Name t -> a Source #
typeDefinitions :: Schema s -> HashMap TypeName (TypeDefinition ANY s) Source #
type FragmentName = Name 'FRAGMENT Source #
isInternal :: GQLError -> Bool Source #
splitSystemSelection :: SelectionSet s -> (Maybe (SelectionSet s), Maybe (SelectionSet s)) Source #
lookupDataType :: TypeName -> Schema s -> Maybe (TypeDefinition ANY s) Source #
data Name (t :: NAME) Source #
Instances
Instances
FromJSON PropName Source # | |
ToJSON PropName Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Error | |
IsString PropName Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Error fromString :: String -> PropName # | |
Generic PropName Source # | |
Show PropName Source # | |
Eq PropName Source # | |
type Rep PropName Source # | |
Defined in Data.Morpheus.Types.Internal.AST.Error type Rep PropName = D1 ('MetaData "PropName" "Data.Morpheus.Types.Internal.AST.Error" "morpheus-graphql-core-0.24.0-5Dec3m6m8DJ3FyraNQtDmt" 'False) (C1 ('MetaCons "PropIndex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "PropName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) |
defineDirective :: (Monad m, MonadError GQLError m) => Schema s -> DirectiveDefinition s -> m (Schema s) Source #