Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Morpheus.Types

Contents

GQLType naming configuration
GQL directives API
default GQL directives

Description

GQL Types

Synopsis

class GQLType a where
- type KIND a :: DerivingKind
- directives :: f a -> DirectiveUsages
class EncodeScalar a where
- encodeScalar :: a -> ScalarValue
class EncodeWrapper (wrapper :: Type -> Type) where
- encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> wrapper a -> m (ResolverValue m)
class DecodeScalar a where
- decodeScalar :: ScalarValue -> Either Text a
class DecodeWrapper (f :: Type -> Type) where
- decodeWrapper :: (Monad m, DecodeWrapperConstraint f a) => (ValidValue -> m a) -> ValidValue -> ExceptT GQLError m (f a)
data GQLRequest = GQLRequest {
- operationName :: Maybe FieldName
- query :: Text
- variables :: Maybe Value
}
data GQLResponse
- = Data ValidValue
- | Errors [GQLError]
newtype ID = ID {
- unpackID :: Text
}
data ScalarValue
- = Int Int
- | Float Double
- | String Text
- | Boolean Bool
- | Value Value
data RootResolver (m :: Type -> Type) event (query :: (Type -> Type) -> Type) (mutation :: (Type -> Type) -> Type) (subscription :: (Type -> Type) -> Type) = RootResolver {
- queryResolver :: query (Resolver QUERY event m)
- mutationResolver :: mutation (Resolver MUTATION event m)
- subscriptionResolver :: subscription (Resolver SUBSCRIPTION event m)
}
constRes :: MonadResolver m => b -> a -> m b
data Undefined (m :: Type -> Type)
data Resolver (o :: OperationType) event (m :: Type -> Type) value
type QUERY = 'OPERATION_QUERY
type MUTATION = 'OPERATION_MUTATION
type SUBSCRIPTION = 'OPERATION_SUBSCRIPTION
lift :: (MonadTrans t, Monad m) => m a -> t m a
liftEither :: (MonadTrans t, Monad (t m), MonadError GQLError (t m)) => Monad m => m (Either String a) -> t m a
type WithOperation (o :: OperationType) = LiftOperation o
data ResolverContext = ResolverContext {
- currentSelection :: Selection VALID
- schema :: Schema VALID
- operation :: Operation VALID
- config :: Config
- currentType :: TypeDefinition ANY VALID
}
type ResolverO (o :: OperationType) e (m :: Type -> Type) (a :: k) = Flexible (Resolver o e m) a
type ComposedResolver (o :: OperationType) e (m :: Type -> Type) (f :: Type -> Type) (a :: k) = Composed (Resolver o e m) f a
type ResolverQ e (m :: Type -> Type) (a :: k) = ResolverO QUERY e m a
type ResolverM e (m :: Type -> Type) (a :: k) = ResolverO MUTATION e m a
type ResolverS e (m :: Type -> Type) (a :: k) = ResolverO SUBSCRIPTION e m a
data SubscriptionField a
data App event (m :: Type -> Type)
class RenderGQL a
render :: RenderGQL a => a -> ByteString
data TypeGuard interface union
- = ResolveInterface interface
- | ResolveType union
newtype Arg (name :: Symbol) a = Arg {
- argValue :: a
}
data NamedResolvers (m :: Type -> Type) event (qu :: (Type -> Type) -> Type) (mu :: (Type -> Type) -> Type) (su :: (Type -> Type) -> Type) = ResolveNamed (Resolver QUERY event m) (qu (NamedResolverT (Resolver QUERY event m))) => NamedResolvers
defaultRootResolver :: forall (m :: Type -> Type) event. RootResolver m event Undefined Undefined Undefined
data Prefixes = Prefixes {
- addPrefix :: Text
- removePrefix :: Text
}
data Suffixes = Suffixes {
- addSuffix :: Text
- removeSuffix :: Text
}
class VisitType a where
- visitTypeName :: a -> Bool -> Text -> Text
- visitTypeDescription :: a -> Maybe Text -> Maybe Text
- visitFieldNames :: a -> Text -> Text
- visitEnumNames :: a -> Text -> Text
class VisitField a where
- visitFieldName :: a -> Text -> Text
- visitFieldDescription :: a -> Maybe Text -> Maybe Text
- visitFieldDefaultValue :: a -> Maybe (Value CONST) -> Maybe (Value CONST)
newtype Describe = Describe {
- text :: Text
}
class VisitEnum a where
- visitEnumName :: a -> Text -> Text
- visitEnumDescription :: a -> Maybe Text -> Maybe Text
typeDirective :: DirectiveConstraint a => a -> DirectiveUsages
fieldDirective :: DirectiveConstraint a => FieldName -> a -> DirectiveUsages
enumDirective :: DirectiveConstraint a => TypeName -> a -> DirectiveUsages
class (ToLocations (DIRECTIVE_LOCATIONS a), Typeable a, WITH_VISITOR a VISIT_TYPE TYPE_VISITOR_KIND, WITH_VISITOR a VISIT_FIELD FIELD_VISITOR_KIND, WITH_VISITOR a VISIT_ENUM ENUM_VISITOR_KIND) => GQLDirective a where
- type DIRECTIVE_LOCATIONS a :: [DirectiveLocation]
- excludeFromSchema :: f a -> Bool
newtype Deprecated = Deprecated {
- reason :: Maybe Text
}
newtype DropNamespace = DropNamespace {
- dropNamespace :: Text
}
newtype Rename = Rename {
- newName :: Text
}
newtype DefaultValue = DefaultValue {
- defaultValue :: Value CONST
}
data GQLError
class Monad m => MonadError e (m :: Type -> Type) | m -> e
data DirectiveLocation
- = LOCATION_QUERY
- | LOCATION_MUTATION
- | LOCATION_SUBSCRIPTION
- | LOCATION_FIELD
- | LOCATION_FRAGMENT_DEFINITION
- | LOCATION_FRAGMENT_SPREAD
- | LOCATION_INLINE_FRAGMENT
- | LOCATION_SCHEMA
- | LOCATION_SCALAR
- | LOCATION_OBJECT
- | LOCATION_FIELD_DEFINITION
- | LOCATION_ARGUMENT_DEFINITION
- | LOCATION_INTERFACE
- | LOCATION_UNION
- | LOCATION_ENUM
- | LOCATION_ENUM_VALUE
- | LOCATION_INPUT_OBJECT
- | LOCATION_INPUT_FIELD_DEFINITION
class (Monad m, MonadReader ResolverContext m, MonadFail m, MonadError GQLError m, Monad (MonadParam m)) => MonadResolver (m :: Type -> Type) where
- type MonadOperation (m :: Type -> Type) :: OperationType
- type MonadEvent (m :: Type -> Type)
- type MonadQuery (m :: Type -> Type) :: Type -> Type
- type MonadMutation (m :: Type -> Type) :: Type -> Type
- type MonadSubscription (m :: Type -> Type) :: Type -> Type
- type MonadParam (m :: Type -> Type) :: Type -> Type
- liftState :: ResolverState a -> m a
- getArguments :: m (Arguments VALID)
- subscribe :: MonadOperation m ~ SUBSCRIPTION => Channel (MonadEvent m) -> MonadQuery m (MonadEvent m -> m a) -> SubscriptionField (m a)
- publish :: [MonadEvent m] -> m ()
- runResolver :: Maybe (Selection VALID -> ResolverState (Channel (MonadEvent m))) -> m ValidValue -> ResolverContext -> ResponseStream (MonadEvent m) (MonadParam m) ValidValue
class (MonadResolver m, MonadIO m) => MonadIOResolver (m :: Type -> Type)
type family Flexible (m :: Type -> Type) (a :: k)
type family Composed (m :: Type -> Type) (f :: Type -> Type) (a :: k)

Documentation

class GQLType a where #

GraphQL type, every graphQL type should have an instance of Generic and GQLType.

   ... deriving (Generic, GQLType)

if you want to add description

      ... deriving (Generic)

    instance GQLType ... where
       directives _ = typeDirective (Describe "some text")

Minimal complete definition

Nothing

Associated Types

type KIND a :: DerivingKind #

type KIND a = TYPE

Methods

directives :: f a -> DirectiveUsages #

Instances

Instances details

GQLType ID
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND ID :: DerivingKind # Methods directives :: f ID -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat ID -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c ID -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c ID -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c ID -> GQLResult (ArgumentsDefinition CONST)
GQLType DefaultValue
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type KIND DefaultValue :: DerivingKind # Methods directives :: f DefaultValue -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat DefaultValue -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c DefaultValue -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c DefaultValue -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c DefaultValue -> GQLResult (ArgumentsDefinition CONST)
GQLType Deprecated
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type KIND Deprecated :: DerivingKind # Methods directives :: f Deprecated -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Deprecated -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Deprecated -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Deprecated -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Deprecated -> GQLResult (ArgumentsDefinition CONST)
GQLType Describe
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type KIND Describe :: DerivingKind # Methods directives :: f Describe -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Describe -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Describe -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Describe -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Describe -> GQLResult (ArgumentsDefinition CONST)
GQLType DropNamespace
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type KIND DropNamespace :: DerivingKind # Methods directives :: f DropNamespace -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat DropNamespace -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c DropNamespace -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c DropNamespace -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c DropNamespace -> GQLResult (ArgumentsDefinition CONST)
GQLType Prefixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type KIND Prefixes :: DerivingKind # Methods directives :: f Prefixes -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Prefixes -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Prefixes -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Prefixes -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Prefixes -> GQLResult (ArgumentsDefinition CONST)
GQLType Rename
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type KIND Rename :: DerivingKind # Methods directives :: f Rename -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Rename -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Rename -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Rename -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Rename -> GQLResult (ArgumentsDefinition CONST)
GQLType Suffixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type KIND Suffixes :: DerivingKind # Methods directives :: f Suffixes -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Suffixes -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Suffixes -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Suffixes -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Suffixes -> GQLResult (ArgumentsDefinition CONST)
GQLType InputTypeNamespace
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND InputTypeNamespace :: DerivingKind # Methods directives :: f InputTypeNamespace -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat InputTypeNamespace -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c InputTypeNamespace -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c InputTypeNamespace -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c InputTypeNamespace -> GQLResult (ArgumentsDefinition CONST)
GQLType Text
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND Text :: DerivingKind # Methods directives :: f Text -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Text -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Text -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Text -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Text -> GQLResult (ArgumentsDefinition CONST)
GQLType ()
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND () :: DerivingKind # Methods directives :: f () -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat () -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c () -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c () -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c () -> GQLResult (ArgumentsDefinition CONST)
GQLType Bool
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND Bool :: DerivingKind # Methods directives :: f Bool -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Bool -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Bool -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Bool -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Bool -> GQLResult (ArgumentsDefinition CONST)
GQLType Double
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND Double :: DerivingKind # Methods directives :: f Double -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Double -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Double -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Double -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Double -> GQLResult (ArgumentsDefinition CONST)
GQLType Float
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND Float :: DerivingKind # Methods directives :: f Float -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Float -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Float -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Float -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Float -> GQLResult (ArgumentsDefinition CONST)
GQLType Int
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND Int :: DerivingKind # Methods directives :: f Int -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Int -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Int -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Int -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Int -> GQLResult (ArgumentsDefinition CONST)
GQLType a => GQLType (NonEmpty a)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (NonEmpty a) :: DerivingKind # Methods directives :: f (NonEmpty a) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (NonEmpty a) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (NonEmpty a) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (NonEmpty a) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (NonEmpty a) -> GQLResult (ArgumentsDefinition CONST)
GQLType a => GQLType (Seq a)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (Seq a) :: DerivingKind # Methods directives :: f (Seq a) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (Seq a) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (Seq a) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (Seq a) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (Seq a) -> GQLResult (ArgumentsDefinition CONST)
GQLType a => GQLType (Set a)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (Set a) :: DerivingKind # Methods directives :: f (Set a) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (Set a) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (Set a) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (Set a) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (Set a) -> GQLResult (ArgumentsDefinition CONST)
GQLType a => GQLType (SubscriptionField a)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (SubscriptionField a) :: DerivingKind # Methods directives :: f (SubscriptionField a) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (SubscriptionField a) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (SubscriptionField a) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (SubscriptionField a) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (SubscriptionField a) -> GQLResult (ArgumentsDefinition CONST)
GQLType (Value CONST)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (Value CONST) :: DerivingKind # Methods directives :: f (Value CONST) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (Value CONST) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (Value CONST) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (Value CONST) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (Value CONST) -> GQLResult (ArgumentsDefinition CONST)
Typeable m => GQLType (Undefined m)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (Undefined m) :: DerivingKind # Methods directives :: f (Undefined m) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (Undefined m) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (Undefined m) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (Undefined m) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (Undefined m) -> GQLResult (ArgumentsDefinition CONST)
GQLType a => GQLType (Vector a)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (Vector a) :: DerivingKind # Methods directives :: f (Vector a) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (Vector a) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (Vector a) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (Vector a) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (Vector a) -> GQLResult (ArgumentsDefinition CONST)
GQLType a => GQLType (Maybe a)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (Maybe a) :: DerivingKind # Methods directives :: f (Maybe a) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (Maybe a) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (Maybe a) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (Maybe a) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (Maybe a) -> GQLResult (ArgumentsDefinition CONST)
GQLType a => GQLType [a]
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND [a] :: DerivingKind # Methods directives :: f [a] -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat [a] -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c [a] -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c [a] -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c [a] -> GQLResult (ArgumentsDefinition CONST)
(GQLType k, GQLType v, Typeable k, Typeable v) => GQLType (Map k v)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (Map k v) :: DerivingKind # Methods directives :: f (Map k v) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (Map k v) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (Map k v) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (Map k v) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (Map k v) -> GQLResult (ArgumentsDefinition CONST)
GQLType a => GQLType (NamedResolverT m a)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (NamedResolverT m a) :: DerivingKind # Methods directives :: f (NamedResolverT m a) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (NamedResolverT m a) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (NamedResolverT m a) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (NamedResolverT m a) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (NamedResolverT m a) -> GQLResult (ArgumentsDefinition CONST)
(KnownSymbol name, GQLType value) => GQLType (Arg name value)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (Arg name value) :: DerivingKind # Methods directives :: f (Arg name value) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (Arg name value) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (Arg name value) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (Arg name value) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (Arg name value) -> GQLResult (ArgumentsDefinition CONST)
(Typeable a, Typeable b, GQLType a, GQLType b) => GQLType (Pair a b)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (Pair a b) :: DerivingKind # Methods directives :: f (Pair a b) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (Pair a b) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (Pair a b) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (Pair a b) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (Pair a b) -> GQLResult (ArgumentsDefinition CONST)
(DERIVE_TYPE GQLType i, DERIVE_TYPE GQLType u) => GQLType (TypeGuard i u)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (TypeGuard i u) :: DerivingKind # Methods directives :: f (TypeGuard i u) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (TypeGuard i u) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (TypeGuard i u) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (TypeGuard i u) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (TypeGuard i u) -> GQLResult (ArgumentsDefinition CONST)
(Typeable k, Typeable v, GQLType k, GQLType v) => GQLType (k, v)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (k, v) :: DerivingKind # Methods directives :: f (k, v) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (k, v) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (k, v) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (k, v) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (k, v) -> GQLResult (ArgumentsDefinition CONST)
(GQLType b, GQLType a, Gmap GQLType (Rep a)) => GQLType (a -> b)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (a -> b) :: DerivingKind # Methods directives :: f (a -> b) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (a -> b) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (a -> b) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (a -> b) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (a -> b) -> GQLResult (ArgumentsDefinition CONST)
GQLType a => GQLType (Resolver o e m a)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (Resolver o e m a) :: DerivingKind # Methods directives :: f (Resolver o e m a) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (Resolver o e m a) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (Resolver o e m a) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (Resolver o e m a) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (Resolver o e m a) -> GQLResult (ArgumentsDefinition CONST)

class EncodeScalar a where #

GraphQL Scalar Serializer

Methods

encodeScalar :: a -> ScalarValue #

Instances

Instances details

EncodeScalar ID
Instance details Defined in Data.Morpheus.Types.ID Methods encodeScalar :: ID -> ScalarValue #
EncodeScalar Text
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods encodeScalar :: Text -> ScalarValue #
EncodeScalar Bool
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods encodeScalar :: Bool -> ScalarValue #
EncodeScalar Double
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods encodeScalar :: Double -> ScalarValue #
EncodeScalar Float
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods encodeScalar :: Float -> ScalarValue #
EncodeScalar Int
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods encodeScalar :: Int -> ScalarValue #

class EncodeWrapper (wrapper :: Type -> Type) where #

GraphQL Wrapper Serializer

Methods

encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> wrapper a -> m (ResolverValue m) #

Instances

Instances details

EncodeWrapper NonEmpty
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> NonEmpty a -> m (ResolverValue m) #
EncodeWrapper Seq
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> Seq a -> m (ResolverValue m) #
EncodeWrapper Set
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> Set a -> m (ResolverValue m) #
EncodeWrapper SubscriptionField
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> SubscriptionField a -> m (ResolverValue m) #
EncodeWrapper Vector
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> Vector a -> m (ResolverValue m) #
EncodeWrapper Maybe
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> Maybe a -> m (ResolverValue m) #
EncodeWrapper List
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> [a] -> m (ResolverValue m) #

class DecodeScalar a where #

GraphQL Scalar parser

Methods

decodeScalar :: ScalarValue -> Either Text a #

Instances

Instances details

DecodeScalar ID
Instance details Defined in Data.Morpheus.Types.ID Methods decodeScalar :: ScalarValue -> Either Text ID #
DecodeScalar Text
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods decodeScalar :: ScalarValue -> Either Text Text #
DecodeScalar Bool
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods decodeScalar :: ScalarValue -> Either Text Bool #
DecodeScalar Double
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods decodeScalar :: ScalarValue -> Either Text Double #
DecodeScalar Float
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods decodeScalar :: ScalarValue -> Either Text Float #
DecodeScalar Int
Instance details Defined in Data.Morpheus.Types.GQLScalar Methods decodeScalar :: ScalarValue -> Either Text Int #

class DecodeWrapper (f :: Type -> Type) where #

GraphQL Wrapper Deserializer

Methods

decodeWrapper :: (Monad m, DecodeWrapperConstraint f a) => (ValidValue -> m a) -> ValidValue -> ExceptT GQLError m (f a) #

Instances

Instances details

DecodeWrapper NonEmpty
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods decodeWrapper :: (Monad m, DecodeWrapperConstraint NonEmpty a) => (ValidValue -> m a) -> ValidValue -> ExceptT GQLError m (NonEmpty a) #
DecodeWrapper Seq
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods decodeWrapper :: (Monad m, DecodeWrapperConstraint Seq a) => (ValidValue -> m a) -> ValidValue -> ExceptT GQLError m (Seq a) #
DecodeWrapper Set
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods decodeWrapper :: (Monad m, DecodeWrapperConstraint Set a) => (ValidValue -> m a) -> ValidValue -> ExceptT GQLError m (Set a) #
DecodeWrapper Vector
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods decodeWrapper :: (Monad m, DecodeWrapperConstraint Vector a) => (ValidValue -> m a) -> ValidValue -> ExceptT GQLError m (Vector a) #
DecodeWrapper Maybe
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods decodeWrapper :: (Monad m, DecodeWrapperConstraint Maybe a) => (ValidValue -> m a) -> ValidValue -> ExceptT GQLError m (Maybe a) #
DecodeWrapper List
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods decodeWrapper :: (Monad m, DecodeWrapperConstraint List a) => (ValidValue -> m a) -> ValidValue -> ExceptT GQLError m [a] #

data GQLRequest #

GraphQL HTTP Request Body

Constructors

GQLRequest
Fields operationName :: Maybe FieldName query :: Text variables :: Maybe Value

Instances

Instances details

FromJSON GQLRequest
Instance details Defined in Data.Morpheus.Types.IO Methods parseJSON :: Value -> Parser GQLRequest # parseJSONList :: Value -> Parser [GQLRequest] # omittedField :: Maybe GQLRequest #
ToJSON GQLRequest
Instance details Defined in Data.Morpheus.Types.IO Methods toJSON :: GQLRequest -> Value # toEncoding :: GQLRequest -> Encoding # toJSONList :: [GQLRequest] -> Value # toEncodingList :: [GQLRequest] -> Encoding # omitField :: GQLRequest -> Bool #
Generic GQLRequest
Instance details Defined in Data.Morpheus.Types.IO Associated Types type Rep GQLRequest :: Type -> Type # Methods from :: GQLRequest -> Rep GQLRequest x # to :: Rep GQLRequest x -> GQLRequest #
Show GQLRequest
Instance details Defined in Data.Morpheus.Types.IO Methods showsPrec :: Int -> GQLRequest -> ShowS # show :: GQLRequest -> String # showList :: [GQLRequest] -> ShowS #
MapAPI GQLRequest GQLResponse
Instance details Defined in Data.Morpheus.App.MapAPI Methods mapAPI :: Applicative m => (GQLRequest -> m GQLResponse) -> GQLRequest -> m GQLResponse #
type Rep GQLRequest
Instance details Defined in Data.Morpheus.Types.IO type Rep GQLRequest = D1 ('MetaData "GQLRequest" "Data.Morpheus.Types.IO" "morpheus-graphql-core-0.28.1-Ipr8HPuSTCSB70riA0mBMe" 'False) (C1 ('MetaCons "GQLRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "operationName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FieldName)) :: (S1 ('MetaSel ('Just "query") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "variables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))))

data GQLResponse #

GraphQL Response

Constructors

Data ValidValue
Errors [GQLError]

Instances

Instances details

FromJSON GQLResponse
Instance details Defined in Data.Morpheus.Types.IO Methods parseJSON :: Value -> Parser GQLResponse # parseJSONList :: Value -> Parser [GQLResponse] # omittedField :: Maybe GQLResponse #
ToJSON GQLResponse
Instance details Defined in Data.Morpheus.Types.IO Methods toJSON :: GQLResponse -> Value # toEncoding :: GQLResponse -> Encoding # toJSONList :: [GQLResponse] -> Value # toEncodingList :: [GQLResponse] -> Encoding # omitField :: GQLResponse -> Bool #
Generic GQLResponse
Instance details Defined in Data.Morpheus.Types.IO Associated Types type Rep GQLResponse :: Type -> Type # Methods from :: GQLResponse -> Rep GQLResponse x # to :: Rep GQLResponse x -> GQLResponse #
Show GQLResponse
Instance details Defined in Data.Morpheus.Types.IO Methods showsPrec :: Int -> GQLResponse -> ShowS # show :: GQLResponse -> String # showList :: [GQLResponse] -> ShowS #
MapAPI GQLRequest GQLResponse
Instance details Defined in Data.Morpheus.App.MapAPI Methods mapAPI :: Applicative m => (GQLRequest -> m GQLResponse) -> GQLRequest -> m GQLResponse #
type Rep GQLResponse
Instance details Defined in Data.Morpheus.Types.IO type Rep GQLResponse = D1 ('MetaData "GQLResponse" "Data.Morpheus.Types.IO" "morpheus-graphql-core-0.28.1-Ipr8HPuSTCSB70riA0mBMe" 'False) (C1 ('MetaCons "Data" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidValue)) :+: C1 ('MetaCons "Errors" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GQLError])))

newtype ID #

default GraphQL type, parses only ScalarValue and ScalarValue values, serialized always as ScalarValue

Constructors

ID
Fields unpackID :: Text

Instances

Instances details

FromJSON ID
Instance details Defined in Data.Morpheus.Types.ID Methods parseJSON :: Value -> Parser ID # parseJSONList :: Value -> Parser [ID] # omittedField :: Maybe ID #
ToJSON ID
Instance details Defined in Data.Morpheus.Types.ID Methods toJSON :: ID -> Value # toEncoding :: ID -> Encoding # toJSONList :: [ID] -> Value # toEncodingList :: [ID] -> Encoding # omitField :: ID -> Bool #
IsString ID
Instance details Defined in Data.Morpheus.Types.ID Methods fromString :: String -> ID #
Semigroup ID
Instance details Defined in Data.Morpheus.Types.ID Methods (<>) :: ID -> ID -> ID # sconcat :: NonEmpty ID -> ID # stimes :: Integral b => b -> ID -> ID #
Generic ID
Instance details Defined in Data.Morpheus.Types.ID Associated Types type Rep ID :: Type -> Type # Methods from :: ID -> Rep ID x # to :: Rep ID x -> ID #
Show ID
Instance details Defined in Data.Morpheus.Types.ID Methods showsPrec :: Int -> ID -> ShowS # show :: ID -> String # showList :: [ID] -> ShowS #
Eq ID
Instance details Defined in Data.Morpheus.Types.ID Methods (==) :: ID -> ID -> Bool # (/=) :: ID -> ID -> Bool #
Hashable ID
Instance details Defined in Data.Morpheus.Types.ID Methods hashWithSalt :: Int -> ID -> Int # hash :: ID -> Int #
DecodeScalar ID
Instance details Defined in Data.Morpheus.Types.ID Methods decodeScalar :: ScalarValue -> Either Text ID #
EncodeScalar ID
Instance details Defined in Data.Morpheus.Types.ID Methods encodeScalar :: ID -> ScalarValue #
GQLType ID
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND ID :: DerivingKind # Methods directives :: f ID -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat ID -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c ID -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c ID -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c ID -> GQLResult (ArgumentsDefinition CONST)
ResolveNamed m ID
Instance details Defined in Data.Morpheus.Server.Types.NamedResolvers Associated Types type Dep ID # Methods resolveBatched :: [Dependency ID] -> m [Maybe ID] # resolveNamed :: Dependency ID -> m ID #
type Rep ID
Instance details Defined in Data.Morpheus.Types.ID type Rep ID = D1 ('MetaData "ID" "Data.Morpheus.Types.ID" "morpheus-graphql-core-0.28.1-Ipr8HPuSTCSB70riA0mBMe" 'True) (C1 ('MetaCons "ID" 'PrefixI 'True) (S1 ('MetaSel ('Just "unpackID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
type KIND ID
Instance details Defined in Data.Morpheus.Server.Types.GQLType type KIND ID = SCALAR
type Dep ID
Instance details Defined in Data.Morpheus.Server.Types.NamedResolvers type Dep ID = ID

data ScalarValue #

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

Constructors

Int Int
Float Double
String Text
Boolean Bool
Value Value

Instances

Instances details

FromJSON ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods parseJSON :: Value -> Parser ScalarValue # parseJSONList :: Value -> Parser [ScalarValue] # omittedField :: Maybe ScalarValue #
ToJSON ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods toJSON :: ScalarValue -> Value # toEncoding :: ScalarValue -> Encoding # toJSONList :: [ScalarValue] -> Value # toEncodingList :: [ScalarValue] -> Encoding # omitField :: ScalarValue -> Bool #
IsString ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods fromString :: String -> ScalarValue #
Generic ScalarValue
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 #
Show ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods showsPrec :: Int -> ScalarValue -> ShowS # show :: ScalarValue -> String # showList :: [ScalarValue] -> ShowS #
Eq ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods (==) :: ScalarValue -> ScalarValue -> Bool # (/=) :: ScalarValue -> ScalarValue -> Bool #
RenderGQL ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods renderGQL :: ScalarValue -> Rendering #
Lift ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods lift :: Quote m => ScalarValue -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ScalarValue -> Code m ScalarValue #
type Rep ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value type Rep ScalarValue = D1 ('MetaData "ScalarValue" "Data.Morpheus.Types.Internal.AST.Value" "morpheus-graphql-core-0.28.1-Ipr8HPuSTCSB70riA0mBMe" '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 Double))) :+: (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)) :+: C1 ('MetaCons "Value" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))))

data RootResolver (m :: Type -> Type) event (query :: (Type -> Type) -> Type) (mutation :: (Type -> Type) -> Type) (subscription :: (Type -> Type) -> Type) #

GraphQL Root resolver, also the interpreter generates a GQL schema from it. queryResolver is required, mutationResolver and subscriptionResolver are optional, if your schema does not supports mutation or subscription , you can use () for it.

Constructors

RootResolver
Fields queryResolver :: query (Resolver QUERY event m) mutationResolver :: mutation (Resolver MUTATION event m) subscriptionResolver :: subscription (Resolver SUBSCRIPTION event m)

Instances

Instances details

RootResolverConstraint m e query mut sub => DeriveApp RootResolver m e query mut sub
Instance details Defined in Data.Morpheus.Server.Deriving.App Methods deriveApp :: RootResolver m e query mut sub -> App e m #

constRes :: MonadResolver m => b -> a -> m b #

data Undefined (m :: Type -> Type) #

Instances

Instances details

Generic (Undefined m)
Instance details Defined in Data.Morpheus.Server.Types.Types Associated Types type Rep (Undefined m) :: Type -> Type # Methods from :: Undefined m -> Rep (Undefined m) x # to :: Rep (Undefined m) x -> Undefined m #
Show (Undefined m)
Instance details Defined in Data.Morpheus.Server.Types.Types Methods showsPrec :: Int -> Undefined m -> ShowS # show :: Undefined m -> String # showList :: [Undefined m] -> ShowS #
Typeable m => GQLType (Undefined m)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (Undefined m) :: DerivingKind # Methods directives :: f (Undefined m) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (Undefined m) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (Undefined m) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (Undefined m) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (Undefined m) -> GQLResult (ArgumentsDefinition CONST)
type Rep (Undefined m)
Instance details Defined in Data.Morpheus.Server.Types.Types type Rep (Undefined m) = D1 ('MetaData "Undefined" "Data.Morpheus.Server.Types.Types" "morpheus-graphql-server-0.28.1-A0mrHfXGOxjEOBZekBXNTT" 'True) (C1 ('MetaCons "Undefined" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
type KIND (Undefined m)
Instance details Defined in Data.Morpheus.Server.Types.GQLType type KIND (Undefined m) = TYPE

data Resolver (o :: OperationType) event (m :: Type -> Type) value #

Instances

Instances details

Monad m => PushEvents e (Resolver MUTATION e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Methods pushEvents :: [e] -> Resolver MUTATION e m () #
(LiftOperation o, Monad m) => MonadError GQLError (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Methods throwError :: GQLError -> Resolver o e m a # catchError :: Resolver o e m a -> (GQLError -> Resolver o e m a) -> Resolver o e m a #
(LiftOperation o, Monad m) => MonadReader ResolverContext (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Methods ask :: Resolver o e m ResolverContext # local :: (ResolverContext -> ResolverContext) -> Resolver o e m a -> Resolver o e m a # reader :: (ResolverContext -> a) -> Resolver o e m a #
LiftOperation o => MonadTrans (Resolver o e)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Methods lift :: Monad m => m a -> Resolver o e m a #
(Monad m, LiftOperation o) => MonadFail (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Methods fail :: String -> Resolver o e m a #
(MonadIO m, LiftOperation o) => MonadIO (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Methods liftIO :: IO a -> Resolver o e m a #
(LiftOperation o, Monad m) => Applicative (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Methods pure :: a -> Resolver o e m a # (<>) :: Resolver o e m (a -> b) -> Resolver o e m a -> Resolver o e m b # liftA2 :: (a -> b -> c) -> Resolver o e m a -> Resolver o e m b -> Resolver o e m c # (>) :: Resolver o e m a -> Resolver o e m b -> Resolver o e m b # (<*) :: Resolver o e m a -> Resolver o e m b -> Resolver o e m a #
Functor m => Functor (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Methods fmap :: (a -> b) -> Resolver o e m a -> Resolver o e m b # (<$) :: a -> Resolver o e m b -> Resolver o e m a #
(Monad m, LiftOperation o) => Monad (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Methods (>>=) :: Resolver o e m a -> (a -> Resolver o e m b) -> Resolver o e m b # (>>) :: Resolver o e m a -> Resolver o e m b -> Resolver o e m b # return :: a -> Resolver o e m a #
(LiftOperation o, Monad m, MonadIO m) => MonadIOResolver (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver
(LiftOperation o, Monad m) => MonadResolver (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Associated Types type MonadOperation (Resolver o e m) :: OperationType # type MonadEvent (Resolver o e m) # type MonadQuery (Resolver o e m) :: Type -> Type # type MonadMutation (Resolver o e m) :: Type -> Type # type MonadSubscription (Resolver o e m) :: Type -> Type # type MonadParam (Resolver o e m) :: Type -> Type # Methods liftState :: ResolverState a -> Resolver o e m a # getArguments :: Resolver o e m (Arguments VALID) # subscribe :: MonadOperation (Resolver o e m) ~ SUBSCRIPTION => Channel (MonadEvent (Resolver o e m)) -> MonadQuery (Resolver o e m) (MonadEvent (Resolver o e m) -> Resolver o e m a) -> SubscriptionField (Resolver o e m a) # publish :: [MonadEvent (Resolver o e m)] -> Resolver o e m () # runResolver :: Maybe (Selection VALID -> ResolverState (Channel (MonadEvent (Resolver o e m)))) -> Resolver o e m ValidValue -> ResolverContext -> ResponseStream (MonadEvent (Resolver o e m)) (MonadParam (Resolver o e m)) ValidValue #
(Monad m, Semigroup a, LiftOperation o) => Semigroup (Resolver o e m a)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Methods (<>) :: Resolver o e m a -> Resolver o e m a -> Resolver o e m a # sconcat :: NonEmpty (Resolver o e m a) -> Resolver o e m a # stimes :: Integral b => b -> Resolver o e m a -> Resolver o e m a #
Show (Resolver o e m value)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Methods showsPrec :: Int -> Resolver o e m value -> ShowS # show :: Resolver o e m value -> String # showList :: [Resolver o e m value] -> ShowS #
GQLType a => GQLType (Resolver o e m a)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (Resolver o e m a) :: DerivingKind # Methods directives :: f (Resolver o e m a) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (Resolver o e m a) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (Resolver o e m a) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (Resolver o e m a) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (Resolver o e m a) -> GQLResult (ArgumentsDefinition CONST)
type MonadEvent (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver type MonadEvent (Resolver o e m) = e
type MonadMutation (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver type MonadMutation (Resolver o e m) = Resolver MUTATION e m
type MonadOperation (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver type MonadOperation (Resolver o e m) = o
type MonadParam (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver type MonadParam (Resolver o e m) = m
type MonadQuery (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver type MonadQuery (Resolver o e m) = Resolver QUERY e m
type MonadSubscription (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver type MonadSubscription (Resolver o e m) = Resolver SUBSCRIPTION e m
type KIND (Resolver o e m a)
Instance details Defined in Data.Morpheus.Server.Types.GQLType type KIND (Resolver o e m a) = CUSTOM

type QUERY = 'OPERATION_QUERY #

type MUTATION = 'OPERATION_MUTATION #

type SUBSCRIPTION = 'OPERATION_SUBSCRIPTION #

lift :: (MonadTrans t, Monad m) => m a -> t m a #

Lift a computation from the argument monad to the constructed monad.

liftEither :: (MonadTrans t, Monad (t m), MonadError GQLError (t m)) => Monad m => m (Either String a) -> t m a Source #

type WithOperation (o :: OperationType) = LiftOperation o #

data ResolverContext #

Constructors

ResolverContext
Fields currentSelection :: Selection VALID schema :: Schema VALID operation :: Operation VALID config :: Config currentType :: TypeDefinition ANY VALID

Instances

Instances details

Show ResolverContext
Instance details Defined in Data.Morpheus.App.Internal.Resolving.ResolverState Methods showsPrec :: Int -> ResolverContext -> ShowS # show :: ResolverContext -> String # showList :: [ResolverContext] -> ShowS #
Monad m => MonadReader ResolverContext (ResolverStateT event m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.ResolverState Methods ask :: ResolverStateT event m ResolverContext # local :: (ResolverContext -> ResolverContext) -> ResolverStateT event m a -> ResolverStateT event m a # reader :: (ResolverContext -> a) -> ResolverStateT event m a #
(LiftOperation o, Monad m) => MonadReader ResolverContext (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Methods ask :: Resolver o e m ResolverContext # local :: (ResolverContext -> ResolverContext) -> Resolver o e m a -> Resolver o e m a # reader :: (ResolverContext -> a) -> Resolver o e m a #

type ResolverO (o :: OperationType) e (m :: Type -> Type) (a :: k) = Flexible (Resolver o e m) a #

type ComposedResolver (o :: OperationType) e (m :: Type -> Type) (f :: Type -> Type) (a :: k) = Composed (Resolver o e m) f a #

type ResolverQ e (m :: Type -> Type) (a :: k) = ResolverO QUERY e m a #

type ResolverM e (m :: Type -> Type) (a :: k) = ResolverO MUTATION e m a #

type ResolverS e (m :: Type -> Type) (a :: k) = ResolverO SUBSCRIPTION e m a #

data SubscriptionField a #

Instances

Instances details

EncodeWrapper SubscriptionField
Instance details Defined in Data.Morpheus.Types.GQLWrapper Methods encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> SubscriptionField a -> m (ResolverValue m) #
GQLType a => GQLType (SubscriptionField a)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (SubscriptionField a) :: DerivingKind # Methods directives :: f (SubscriptionField a) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (SubscriptionField a) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (SubscriptionField a) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (SubscriptionField a) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (SubscriptionField a) -> GQLResult (ArgumentsDefinition CONST)
type KIND (SubscriptionField a)
Instance details Defined in Data.Morpheus.Server.Types.GQLType type KIND (SubscriptionField a) = WRAPPER

data App event (m :: Type -> Type) #

Instances

Instances details

Monad m => Semigroup (App e m)
Instance details Defined in Data.Morpheus.App Methods (<>) :: App e m -> App e m -> App e m # sconcat :: NonEmpty (App e m) -> App e m # stimes :: Integral b => b -> App e m -> App e m #
RenderGQL (App e m)
Instance details Defined in Data.Morpheus.App Methods renderGQL :: App e m -> Rendering #

class RenderGQL a #

Minimal complete definition

renderGQL

Instances

Instances details

RenderGQL Value
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods renderGQL :: Value -> Rendering #
RenderGQL ByteString
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods renderGQL :: ByteString -> Rendering #
RenderGQL DirectiveLocation
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods renderGQL :: DirectiveLocation -> Rendering #
RenderGQL OperationType
Instance details Defined in Data.Morpheus.Types.Internal.AST.OperationType Methods renderGQL :: OperationType -> Rendering #
RenderGQL UnionTag
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods renderGQL :: UnionTag -> Rendering #
RenderGQL RootOperationTypeDefinition
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: RootOperationTypeDefinition -> Rendering #
RenderGQL SchemaDefinition
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: SchemaDefinition -> Rendering #
RenderGQL ScalarValue
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods renderGQL :: ScalarValue -> Rendering #
RenderGQL Text
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods renderGQL :: Text -> Rendering #
RenderGQL Bool
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods renderGQL :: Bool -> Rendering #
RenderGQL Double
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods renderGQL :: Double -> Rendering #
RenderGQL Float
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods renderGQL :: Float -> Rendering #
RenderGQL Int
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods renderGQL :: Int -> Rendering #
RenderGQL (Name a)
Instance details Defined in Data.Morpheus.Types.Internal.AST.Name Methods renderGQL :: Name a -> Rendering #
RenderGQL (Operation VALID)
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods renderGQL :: Operation VALID -> Rendering #
RenderGQL (Selection VALID)
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods renderGQL :: Selection VALID -> Rendering #
RenderGQL (SelectionContent VALID)
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods renderGQL :: SelectionContent VALID -> Rendering #
RenderGQL (DataEnumValue s)
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: DataEnumValue s -> Rendering #
RenderGQL (Schema s)
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: Schema s -> Rendering #
RenderGQL (ObjectEntry a)
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods renderGQL :: ObjectEntry a -> Rendering #
RenderGQL (Value a)
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods renderGQL :: Value a -> Rendering #
RenderGQL a => RenderGQL (Maybe a)
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods renderGQL :: Maybe a -> Rendering #
(RenderGQL l, RenderGQL r) => RenderGQL (Either l r)
Instance details Defined in Data.Morpheus.Rendering.RenderGQL Methods renderGQL :: Either l r -> Rendering #
RenderGQL (App e m)
Instance details Defined in Data.Morpheus.App Methods renderGQL :: App e m -> Rendering #
RenderGQL (TypeDefinition a s)
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods renderGQL :: TypeDefinition a s -> Rendering #
RenderGQL (AppData e m s)
Instance details Defined in Data.Morpheus.App Methods renderGQL :: AppData e m s -> Rendering #

render :: RenderGQL a => a -> ByteString #

data TypeGuard interface union #

Constructors

ResolveInterface interface
ResolveType union

Instances

Instances details

(DERIVE_TYPE GQLType i, DERIVE_TYPE GQLType u) => GQLType (TypeGuard i u)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (TypeGuard i u) :: DerivingKind # Methods directives :: f (TypeGuard i u) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (TypeGuard i u) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (TypeGuard i u) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (TypeGuard i u) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (TypeGuard i u) -> GQLResult (ArgumentsDefinition CONST)
type KIND (TypeGuard i u)
Instance details Defined in Data.Morpheus.Server.Types.GQLType type KIND (TypeGuard i u) = CUSTOM

newtype Arg (name :: Symbol) a #

Constructors

Arg
Fields argValue :: a

Instances

Instances details

Generic (Arg name a)
Instance details Defined in Data.Morpheus.Server.Types.Types Associated Types type Rep (Arg name a) :: Type -> Type # Methods from :: Arg name a -> Rep (Arg name a) x # to :: Rep (Arg name a) x -> Arg name a #
Show a => Show (Arg name a)
Instance details Defined in Data.Morpheus.Server.Types.Types Methods showsPrec :: Int -> Arg name a -> ShowS # show :: Arg name a -> String # showList :: [Arg name a] -> ShowS #
(KnownSymbol name, GQLType value) => GQLType (Arg name value)
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type KIND (Arg name value) :: DerivingKind # Methods directives :: f (Arg name value) -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat (Arg name value) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (Arg name value) -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c (Arg name value) -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (Arg name value) -> GQLResult (ArgumentsDefinition CONST)
type Rep (Arg name a)
Instance details Defined in Data.Morpheus.Server.Types.Types type Rep (Arg name a) = D1 ('MetaData "Arg" "Data.Morpheus.Server.Types.Types" "morpheus-graphql-server-0.28.1-A0mrHfXGOxjEOBZekBXNTT" 'True) (C1 ('MetaCons "Arg" 'PrefixI 'True) (S1 ('MetaSel ('Just "argValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))
type KIND (Arg name value)
Instance details Defined in Data.Morpheus.Server.Types.GQLType type KIND (Arg name value) = CUSTOM

data NamedResolvers (m :: Type -> Type) event (qu :: (Type -> Type) -> Type) (mu :: (Type -> Type) -> Type) (su :: (Type -> Type) -> Type) #

Constructors

ResolveNamed (Resolver QUERY event m) (qu (NamedResolverT (Resolver QUERY event m))) => NamedResolvers

Instances

Instances details

NamedResolversConstraint m e query mut sub => DeriveApp NamedResolvers m e query mut sub
Instance details Defined in Data.Morpheus.Server.Deriving.App Methods deriveApp :: NamedResolvers m e query mut sub -> App e m #

GQLType naming configuration

defaultRootResolver :: forall (m :: Type -> Type) event. RootResolver m event Undefined Undefined Undefined #

GQL directives API

data Prefixes #

a custom GraphQL directive for adding or removing of prefixes

Constructors

Prefixes
Fields addPrefix :: Text removePrefix :: Text

Instances

Instances details

Generic Prefixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type Rep Prefixes :: Type -> Type # Methods from :: Prefixes -> Rep Prefixes x # to :: Rep Prefixes x -> Prefixes #
GQLDirective Prefixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type DIRECTIVE_LOCATIONS Prefixes :: [DirectiveLocation] # Methods excludeFromSchema :: f Prefixes -> Bool #
GQLType Prefixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type KIND Prefixes :: DerivingKind # Methods directives :: f Prefixes -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Prefixes -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Prefixes -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Prefixes -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Prefixes -> GQLResult (ArgumentsDefinition CONST)
VisitType Prefixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitTypeName :: Prefixes -> Bool -> Text -> Text # visitTypeDescription :: Prefixes -> Maybe Text -> Maybe Text # visitFieldNames :: Prefixes -> Text -> Text # visitEnumNames :: Prefixes -> Text -> Text #
type Rep Prefixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type Rep Prefixes = D1 ('MetaData "Prefixes" "Data.Morpheus.Server.Types.DirectiveDefinitions" "morpheus-graphql-server-0.28.1-A0mrHfXGOxjEOBZekBXNTT" 'False) (C1 ('MetaCons "Prefixes" 'PrefixI 'True) (S1 ('MetaSel ('Just "addPrefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "removePrefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
type DIRECTIVE_LOCATIONS Prefixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type DIRECTIVE_LOCATIONS Prefixes = '['LOCATION_OBJECT, 'LOCATION_ENUM, 'LOCATION_INPUT_OBJECT, 'LOCATION_UNION, 'LOCATION_SCALAR, 'LOCATION_INTERFACE]
type KIND Prefixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type KIND Prefixes = DIRECTIVE

data Suffixes #

a custom GraphQL directive for adding or removing of suffixes

Constructors

Suffixes
Fields addSuffix :: Text removeSuffix :: Text

Instances

Instances details

Generic Suffixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type Rep Suffixes :: Type -> Type # Methods from :: Suffixes -> Rep Suffixes x # to :: Rep Suffixes x -> Suffixes #
GQLDirective Suffixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type DIRECTIVE_LOCATIONS Suffixes :: [DirectiveLocation] # Methods excludeFromSchema :: f Suffixes -> Bool #
GQLType Suffixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type KIND Suffixes :: DerivingKind # Methods directives :: f Suffixes -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Suffixes -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Suffixes -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Suffixes -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Suffixes -> GQLResult (ArgumentsDefinition CONST)
VisitType Suffixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitTypeName :: Suffixes -> Bool -> Text -> Text # visitTypeDescription :: Suffixes -> Maybe Text -> Maybe Text # visitFieldNames :: Suffixes -> Text -> Text # visitEnumNames :: Suffixes -> Text -> Text #
type Rep Suffixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type Rep Suffixes = D1 ('MetaData "Suffixes" "Data.Morpheus.Server.Types.DirectiveDefinitions" "morpheus-graphql-server-0.28.1-A0mrHfXGOxjEOBZekBXNTT" 'False) (C1 ('MetaCons "Suffixes" 'PrefixI 'True) (S1 ('MetaSel ('Just "addSuffix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "removeSuffix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
type DIRECTIVE_LOCATIONS Suffixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type DIRECTIVE_LOCATIONS Suffixes = '['LOCATION_OBJECT, 'LOCATION_ENUM, 'LOCATION_INPUT_OBJECT, 'LOCATION_UNION, 'LOCATION_SCALAR, 'LOCATION_INTERFACE]
type KIND Suffixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type KIND Suffixes = DIRECTIVE

class VisitType a where #

Minimal complete definition

Nothing

Methods

visitTypeName :: a -> Bool -> Text -> Text #

Construct a new type name depending on whether it is an input, and being given the original type name.

visitTypeDescription :: a -> Maybe Text -> Maybe Text #

visitFieldNames :: a -> Text -> Text #

Function applied to field labels. Handy for removing common record prefixes for example.

visitEnumNames :: a -> Text -> Text #

Function applied to enum values Handy for removing common enum prefixes for example.

Instances

Instances details

VisitType Describe
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitTypeName :: Describe -> Bool -> Text -> Text # visitTypeDescription :: Describe -> Maybe Text -> Maybe Text # visitFieldNames :: Describe -> Text -> Text # visitEnumNames :: Describe -> Text -> Text #
VisitType DropNamespace
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitTypeName :: DropNamespace -> Bool -> Text -> Text # visitTypeDescription :: DropNamespace -> Maybe Text -> Maybe Text # visitFieldNames :: DropNamespace -> Text -> Text # visitEnumNames :: DropNamespace -> Text -> Text #
VisitType Prefixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitTypeName :: Prefixes -> Bool -> Text -> Text # visitTypeDescription :: Prefixes -> Maybe Text -> Maybe Text # visitFieldNames :: Prefixes -> Text -> Text # visitEnumNames :: Prefixes -> Text -> Text #
VisitType Rename
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitTypeName :: Rename -> Bool -> Text -> Text # visitTypeDescription :: Rename -> Maybe Text -> Maybe Text # visitFieldNames :: Rename -> Text -> Text # visitEnumNames :: Rename -> Text -> Text #
VisitType Suffixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitTypeName :: Suffixes -> Bool -> Text -> Text # visitTypeDescription :: Suffixes -> Maybe Text -> Maybe Text # visitFieldNames :: Suffixes -> Text -> Text # visitEnumNames :: Suffixes -> Text -> Text #
VisitType InputTypeNamespace
Instance details Defined in Data.Morpheus.Server.Types.GQLType Methods visitTypeName :: InputTypeNamespace -> Bool -> Text -> Text # visitTypeDescription :: InputTypeNamespace -> Maybe Text -> Maybe Text # visitFieldNames :: InputTypeNamespace -> Text -> Text # visitEnumNames :: InputTypeNamespace -> Text -> Text #

class VisitField a where #

Minimal complete definition

Nothing

Methods

visitFieldName :: a -> Text -> Text #

visitFieldDescription :: a -> Maybe Text -> Maybe Text #

visitFieldDefaultValue :: a -> Maybe (Value CONST) -> Maybe (Value CONST) #

Instances

Instances details

VisitField DefaultValue
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitFieldName :: DefaultValue -> Text -> Text # visitFieldDescription :: DefaultValue -> Maybe Text -> Maybe Text # visitFieldDefaultValue :: DefaultValue -> Maybe (Value CONST) -> Maybe (Value CONST) #
VisitField Deprecated
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitFieldName :: Deprecated -> Text -> Text # visitFieldDescription :: Deprecated -> Maybe Text -> Maybe Text # visitFieldDefaultValue :: Deprecated -> Maybe (Value CONST) -> Maybe (Value CONST) #
VisitField Describe
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitFieldName :: Describe -> Text -> Text # visitFieldDescription :: Describe -> Maybe Text -> Maybe Text # visitFieldDefaultValue :: Describe -> Maybe (Value CONST) -> Maybe (Value CONST) #
VisitField Rename
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitFieldName :: Rename -> Text -> Text # visitFieldDescription :: Rename -> Maybe Text -> Maybe Text # visitFieldDefaultValue :: Rename -> Maybe (Value CONST) -> Maybe (Value CONST) #

newtype Describe #

Constructors

Describe
Fields text :: Text

Instances

Instances details

Generic Describe
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type Rep Describe :: Type -> Type # Methods from :: Describe -> Rep Describe x # to :: Rep Describe x -> Describe #
GQLDirective Describe
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type DIRECTIVE_LOCATIONS Describe :: [DirectiveLocation] # Methods excludeFromSchema :: f Describe -> Bool #
GQLType Describe
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type KIND Describe :: DerivingKind # Methods directives :: f Describe -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Describe -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Describe -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Describe -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Describe -> GQLResult (ArgumentsDefinition CONST)
VisitEnum Describe
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitEnumName :: Describe -> Text -> Text # visitEnumDescription :: Describe -> Maybe Text -> Maybe Text #
VisitField Describe
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitFieldName :: Describe -> Text -> Text # visitFieldDescription :: Describe -> Maybe Text -> Maybe Text # visitFieldDefaultValue :: Describe -> Maybe (Value CONST) -> Maybe (Value CONST) #
VisitType Describe
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitTypeName :: Describe -> Bool -> Text -> Text # visitTypeDescription :: Describe -> Maybe Text -> Maybe Text # visitFieldNames :: Describe -> Text -> Text # visitEnumNames :: Describe -> Text -> Text #
type Rep Describe
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type Rep Describe = D1 ('MetaData "Describe" "Data.Morpheus.Server.Types.DirectiveDefinitions" "morpheus-graphql-server-0.28.1-A0mrHfXGOxjEOBZekBXNTT" 'True) (C1 ('MetaCons "Describe" 'PrefixI 'True) (S1 ('MetaSel ('Just "text") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
type DIRECTIVE_LOCATIONS Describe
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type DIRECTIVE_LOCATIONS Describe = '['LOCATION_ENUM_VALUE, 'LOCATION_FIELD_DEFINITION, 'LOCATION_INPUT_FIELD_DEFINITION, 'LOCATION_OBJECT, 'LOCATION_ENUM, 'LOCATION_INPUT_OBJECT, 'LOCATION_UNION, 'LOCATION_SCALAR, 'LOCATION_INTERFACE, 'LOCATION_ARGUMENT_DEFINITION]
type KIND Describe
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type KIND Describe = DIRECTIVE

class VisitEnum a where #

Minimal complete definition

Nothing

Methods

visitEnumName :: a -> Text -> Text #

visitEnumDescription :: a -> Maybe Text -> Maybe Text #

Instances

Instances details

VisitEnum Deprecated
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitEnumName :: Deprecated -> Text -> Text # visitEnumDescription :: Deprecated -> Maybe Text -> Maybe Text #
VisitEnum Describe
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitEnumName :: Describe -> Text -> Text # visitEnumDescription :: Describe -> Maybe Text -> Maybe Text #
VisitEnum Rename
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitEnumName :: Rename -> Text -> Text # visitEnumDescription :: Rename -> Maybe Text -> Maybe Text #

typeDirective :: DirectiveConstraint a => a -> DirectiveUsages #

fieldDirective :: DirectiveConstraint a => FieldName -> a -> DirectiveUsages #

enumDirective :: DirectiveConstraint a => TypeName -> a -> DirectiveUsages #

default GQL directives

class (ToLocations (DIRECTIVE_LOCATIONS a), Typeable a, WITH_VISITOR a VISIT_TYPE TYPE_VISITOR_KIND, WITH_VISITOR a VISIT_FIELD FIELD_VISITOR_KIND, WITH_VISITOR a VISIT_ENUM ENUM_VISITOR_KIND) => GQLDirective a where #

Minimal complete definition

Nothing

Associated Types

type DIRECTIVE_LOCATIONS a :: [DirectiveLocation] #

Methods

excludeFromSchema :: f a -> Bool #

Instances

Instances details

GQLDirective DefaultValue
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type DIRECTIVE_LOCATIONS DefaultValue :: [DirectiveLocation] # Methods excludeFromSchema :: f DefaultValue -> Bool #
GQLDirective Deprecated
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type DIRECTIVE_LOCATIONS Deprecated :: [DirectiveLocation] # Methods excludeFromSchema :: f Deprecated -> Bool #
GQLDirective Describe
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type DIRECTIVE_LOCATIONS Describe :: [DirectiveLocation] # Methods excludeFromSchema :: f Describe -> Bool #
GQLDirective DropNamespace
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type DIRECTIVE_LOCATIONS DropNamespace :: [DirectiveLocation] # Methods excludeFromSchema :: f DropNamespace -> Bool #
GQLDirective Prefixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type DIRECTIVE_LOCATIONS Prefixes :: [DirectiveLocation] # Methods excludeFromSchema :: f Prefixes -> Bool #
GQLDirective Rename
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type DIRECTIVE_LOCATIONS Rename :: [DirectiveLocation] # Methods excludeFromSchema :: f Rename -> Bool #
GQLDirective Suffixes
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type DIRECTIVE_LOCATIONS Suffixes :: [DirectiveLocation] # Methods excludeFromSchema :: f Suffixes -> Bool #
GQLDirective InputTypeNamespace
Instance details Defined in Data.Morpheus.Server.Types.GQLType Associated Types type DIRECTIVE_LOCATIONS InputTypeNamespace :: [DirectiveLocation] # Methods excludeFromSchema :: f InputTypeNamespace -> Bool #

newtype Deprecated #

Constructors

Deprecated
Fields reason :: Maybe Text

Instances

Instances details

Generic Deprecated
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type Rep Deprecated :: Type -> Type # Methods from :: Deprecated -> Rep Deprecated x # to :: Rep Deprecated x -> Deprecated #
GQLDirective Deprecated
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type DIRECTIVE_LOCATIONS Deprecated :: [DirectiveLocation] # Methods excludeFromSchema :: f Deprecated -> Bool #
GQLType Deprecated
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type KIND Deprecated :: DerivingKind # Methods directives :: f Deprecated -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Deprecated -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Deprecated -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Deprecated -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Deprecated -> GQLResult (ArgumentsDefinition CONST)
VisitEnum Deprecated
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitEnumName :: Deprecated -> Text -> Text # visitEnumDescription :: Deprecated -> Maybe Text -> Maybe Text #
VisitField Deprecated
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitFieldName :: Deprecated -> Text -> Text # visitFieldDescription :: Deprecated -> Maybe Text -> Maybe Text # visitFieldDefaultValue :: Deprecated -> Maybe (Value CONST) -> Maybe (Value CONST) #
type Rep Deprecated
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type Rep Deprecated = D1 ('MetaData "Deprecated" "Data.Morpheus.Server.Types.DirectiveDefinitions" "morpheus-graphql-server-0.28.1-A0mrHfXGOxjEOBZekBXNTT" 'True) (C1 ('MetaCons "Deprecated" 'PrefixI 'True) (S1 ('MetaSel ('Just "reason") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))
type DIRECTIVE_LOCATIONS Deprecated
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type DIRECTIVE_LOCATIONS Deprecated = '['LOCATION_FIELD_DEFINITION, 'LOCATION_ENUM_VALUE]
type KIND Deprecated
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type KIND Deprecated = DIRECTIVE

newtype DropNamespace #

Constructors

DropNamespace
Fields dropNamespace :: Text

Instances

Instances details

Generic DropNamespace
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type Rep DropNamespace :: Type -> Type # Methods from :: DropNamespace -> Rep DropNamespace x # to :: Rep DropNamespace x -> DropNamespace #
GQLDirective DropNamespace
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type DIRECTIVE_LOCATIONS DropNamespace :: [DirectiveLocation] # Methods excludeFromSchema :: f DropNamespace -> Bool #
GQLType DropNamespace
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type KIND DropNamespace :: DerivingKind # Methods directives :: f DropNamespace -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat DropNamespace -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c DropNamespace -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c DropNamespace -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c DropNamespace -> GQLResult (ArgumentsDefinition CONST)
VisitType DropNamespace
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitTypeName :: DropNamespace -> Bool -> Text -> Text # visitTypeDescription :: DropNamespace -> Maybe Text -> Maybe Text # visitFieldNames :: DropNamespace -> Text -> Text # visitEnumNames :: DropNamespace -> Text -> Text #
type Rep DropNamespace
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type Rep DropNamespace = D1 ('MetaData "DropNamespace" "Data.Morpheus.Server.Types.DirectiveDefinitions" "morpheus-graphql-server-0.28.1-A0mrHfXGOxjEOBZekBXNTT" 'True) (C1 ('MetaCons "DropNamespace" 'PrefixI 'True) (S1 ('MetaSel ('Just "dropNamespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
type DIRECTIVE_LOCATIONS DropNamespace
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type DIRECTIVE_LOCATIONS DropNamespace = '['LOCATION_OBJECT, 'LOCATION_ENUM, 'LOCATION_INPUT_OBJECT, 'LOCATION_UNION, 'LOCATION_SCALAR, 'LOCATION_INTERFACE]
type KIND DropNamespace
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type KIND DropNamespace = DIRECTIVE

newtype Rename #

a custom GraphQL directive for adding or removing of prefixes

Constructors

Rename
Fields newName :: Text

Instances

Instances details

Generic Rename
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type Rep Rename :: Type -> Type # Methods from :: Rename -> Rep Rename x # to :: Rep Rename x -> Rename #
GQLDirective Rename
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type DIRECTIVE_LOCATIONS Rename :: [DirectiveLocation] # Methods excludeFromSchema :: f Rename -> Bool #
GQLType Rename
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type KIND Rename :: DerivingKind # Methods directives :: f Rename -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat Rename -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c Rename -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c Rename -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c Rename -> GQLResult (ArgumentsDefinition CONST)
VisitEnum Rename
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitEnumName :: Rename -> Text -> Text # visitEnumDescription :: Rename -> Maybe Text -> Maybe Text #
VisitField Rename
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitFieldName :: Rename -> Text -> Text # visitFieldDescription :: Rename -> Maybe Text -> Maybe Text # visitFieldDefaultValue :: Rename -> Maybe (Value CONST) -> Maybe (Value CONST) #
VisitType Rename
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitTypeName :: Rename -> Bool -> Text -> Text # visitTypeDescription :: Rename -> Maybe Text -> Maybe Text # visitFieldNames :: Rename -> Text -> Text # visitEnumNames :: Rename -> Text -> Text #
type Rep Rename
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type Rep Rename = D1 ('MetaData "Rename" "Data.Morpheus.Server.Types.DirectiveDefinitions" "morpheus-graphql-server-0.28.1-A0mrHfXGOxjEOBZekBXNTT" 'True) (C1 ('MetaCons "Rename" 'PrefixI 'True) (S1 ('MetaSel ('Just "newName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
type DIRECTIVE_LOCATIONS Rename
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type DIRECTIVE_LOCATIONS Rename = '['LOCATION_OBJECT, 'LOCATION_ENUM, 'LOCATION_INPUT_OBJECT, 'LOCATION_UNION, 'LOCATION_SCALAR, 'LOCATION_INTERFACE, 'LOCATION_ENUM_VALUE, 'LOCATION_FIELD_DEFINITION, 'LOCATION_INPUT_FIELD_DEFINITION]
type KIND Rename
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type KIND Rename = DIRECTIVE

newtype DefaultValue #

Constructors

DefaultValue
Fields defaultValue :: Value CONST

Instances

Instances details

Generic DefaultValue
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type Rep DefaultValue :: Type -> Type # Methods from :: DefaultValue -> Rep DefaultValue x # to :: Rep DefaultValue x -> DefaultValue #
GQLDirective DefaultValue
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type DIRECTIVE_LOCATIONS DefaultValue :: [DirectiveLocation] # Methods excludeFromSchema :: f DefaultValue -> Bool #
GQLType DefaultValue
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Associated Types type KIND DefaultValue :: DerivingKind # Methods directives :: f DefaultValue -> DirectiveUsages # __type :: forall (cat :: TypeCategory). CatType cat DefaultValue -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c DefaultValue -> GQLResult (GQLTypeNode c) __exploreRef :: forall (c :: TypeCategory). CatType c DefaultValue -> [ScanRef FreeCatType GQLType] __deriveFieldArguments :: forall (c :: TypeCategory). CatType c DefaultValue -> GQLResult (ArgumentsDefinition CONST)
VisitField DefaultValue
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions Methods visitFieldName :: DefaultValue -> Text -> Text # visitFieldDescription :: DefaultValue -> Maybe Text -> Maybe Text # visitFieldDefaultValue :: DefaultValue -> Maybe (Value CONST) -> Maybe (Value CONST) #
type Rep DefaultValue
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type Rep DefaultValue = D1 ('MetaData "DefaultValue" "Data.Morpheus.Server.Types.DirectiveDefinitions" "morpheus-graphql-server-0.28.1-A0mrHfXGOxjEOBZekBXNTT" 'True) (C1 ('MetaCons "DefaultValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "defaultValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Value CONST))))
type DIRECTIVE_LOCATIONS DefaultValue
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type DIRECTIVE_LOCATIONS DefaultValue = '['LOCATION_INPUT_FIELD_DEFINITION]
type KIND DefaultValue
Instance details Defined in Data.Morpheus.Server.Types.DirectiveDefinitions type KIND DefaultValue = DIRECTIVE

data GQLError #

Instances

Instances details

FromJSON GQLError
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods parseJSON :: Value -> Parser GQLError # parseJSONList :: Value -> Parser [GQLError] # omittedField :: Maybe GQLError #
ToJSON GQLError
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods toJSON :: GQLError -> Value # toEncoding :: GQLError -> Encoding # toJSONList :: [GQLError] -> Value # toEncodingList :: [GQLError] -> Encoding # omitField :: GQLError -> Bool #
IsString GQLError
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods fromString :: String -> GQLError #
Semigroup GQLError
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods (<>) :: GQLError -> GQLError -> GQLError # sconcat :: NonEmpty GQLError -> GQLError # stimes :: Integral b => b -> GQLError -> GQLError #
Generic GQLError
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Associated Types type Rep GQLError :: Type -> Type # Methods from :: GQLError -> Rep GQLError x # to :: Rep GQLError x -> GQLError #
Show GQLError
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods showsPrec :: Int -> GQLError -> ShowS # show :: GQLError -> String # showList :: [GQLError] -> ShowS #
Eq GQLError
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods (==) :: GQLError -> GQLError -> Bool # (/=) :: GQLError -> GQLError -> Bool #
Ord GQLError
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods compare :: GQLError -> GQLError -> Ordering # (<) :: GQLError -> GQLError -> Bool # (<=) :: GQLError -> GQLError -> Bool # (>) :: GQLError -> GQLError -> Bool # (>=) :: GQLError -> GQLError -> Bool # max :: GQLError -> GQLError -> GQLError # min :: GQLError -> GQLError -> GQLError #
Msg GQLError
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error Methods msg :: GQLError -> GQLError #
NameCollision GQLError RootOperationTypeDefinition
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods nameCollision :: RootOperationTypeDefinition -> GQLError #
NameCollision GQLError SchemaDefinition
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods nameCollision :: SchemaDefinition -> GQLError #
NameCollision GQLError (Fragment s)
Instance details Defined in Data.Morpheus.Types.Internal.AST.Selection Methods nameCollision :: Fragment s -> GQLError #
NameCollision GQLError (ObjectEntry s)
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods nameCollision :: ObjectEntry s -> GQLError #
NameCollision GQLError (Variable s)
Instance details Defined in Data.Morpheus.Types.Internal.AST.Value Methods nameCollision :: Variable s -> GQLError #
NameCollision GQLError (TypeDefinition cat s)
Instance details Defined in Data.Morpheus.Types.Internal.AST.TypeSystem Methods nameCollision :: TypeDefinition cat s -> GQLError #
Monad m => MonadError GQLError (ResolverStateT e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.ResolverState Methods throwError :: GQLError -> ResolverStateT e m a # catchError :: ResolverStateT e m a -> (GQLError -> ResolverStateT e m a) -> ResolverStateT e m a #
(LiftOperation o, Monad m) => MonadError GQLError (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Methods throwError :: GQLError -> Resolver o e m a # catchError :: Resolver o e m a -> (GQLError -> Resolver o e m a) -> Resolver o e m a #
type Rep GQLError
Instance details Defined in Data.Morpheus.Types.Internal.AST.Error type Rep GQLError = D1 ('MetaData "GQLError" "Data.Morpheus.Types.Internal.AST.Error" "morpheus-graphql-core-0.28.1-Ipr8HPuSTCSB70riA0mBMe" 'False) (C1 ('MetaCons "GQLError" 'PrefixI 'True) ((S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Message) :: S1 ('MetaSel ('Just "locations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Position]))) :: (S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [PropName])) :: (S1 ('MetaSel ('Just "errorType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ErrorType)) :: S1 ('MetaSel ('Just "extensions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Text Value)))))))

class Monad m => MonadError e (m :: Type -> Type) | m -> e #

The strategy of combining computations that can throw exceptions by bypassing bound functions from the point an exception is thrown to the point that it is handled.

Is parameterized over the type of error information and the monad type constructor. It is common to use Either String as the monad type constructor for an error monad in which error descriptions take the form of strings. In that case and many other common cases the resulting monad is already defined as an instance of the MonadError class. You can also define your own error type and/or use a monad type constructor other than Either String or Either IOError. In these cases you will have to explicitly define instances of the MonadError class. (If you are using the deprecated Control.Monad.Error or Control.Monad.Trans.Error, you may also have to define an Error instance.)

Minimal complete definition

throwError, catchError

Instances

Instances details

MonadError IOException IO
Instance details Defined in Control.Monad.Error.Class Methods throwError :: IOException -> IO a # catchError :: IO a -> (IOException -> IO a) -> IO a #
MonadError () Maybe	Since: mtl-2.2.2
Instance details Defined in Control.Monad.Error.Class Methods throwError :: () -> Maybe a # catchError :: Maybe a -> (() -> Maybe a) -> Maybe a #
MonadError e (Either e)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> Either e a # catchError :: Either e a -> (e -> Either e a) -> Either e a #
MonadError e m => MonadError e (MaybeT m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> MaybeT m a # catchError :: MaybeT m a -> (e -> MaybeT m a) -> MaybeT m a #
Monad m => MonadError GQLError (ResolverStateT e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.ResolverState Methods throwError :: GQLError -> ResolverStateT e m a # catchError :: ResolverStateT e m a -> (GQLError -> ResolverStateT e m a) -> ResolverStateT e m a #
(Monoid w, MonadError e m) => MonadError e (AccumT w m)	Since: mtl-2.3
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> AccumT w m a # catchError :: AccumT w m a -> (e -> AccumT w m a) -> AccumT w m a #
Monad m => MonadError e (ExceptT e m)	Since: mtl-2.2
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> ExceptT e m a # catchError :: ExceptT e m a -> (e -> ExceptT e m a) -> ExceptT e m a #
MonadError e m => MonadError e (IdentityT m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> IdentityT m a # catchError :: IdentityT m a -> (e -> IdentityT m a) -> IdentityT m a #
MonadError e m => MonadError e (ReaderT r m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> ReaderT r m a # catchError :: ReaderT r m a -> (e -> ReaderT r m a) -> ReaderT r m a #
MonadError e m => MonadError e (StateT s m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> StateT s m a # catchError :: StateT s m a -> (e -> StateT s m a) -> StateT s m a #
MonadError e m => MonadError e (StateT s m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> StateT s m a # catchError :: StateT s m a -> (e -> StateT s m a) -> StateT s m a #
(Monoid w, MonadError e m) => MonadError e (WriterT w m)	Since: mtl-2.3
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> WriterT w m a # catchError :: WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a #
(Monoid w, MonadError e m) => MonadError e (WriterT w m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> WriterT w m a # catchError :: WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a #
(Monoid w, MonadError e m) => MonadError e (WriterT w m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> WriterT w m a # catchError :: WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a #
(LiftOperation o, Monad m) => MonadError GQLError (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver Methods throwError :: GQLError -> Resolver o e m a # catchError :: Resolver o e m a -> (GQLError -> Resolver o e m a) -> Resolver o e m a #
(Monoid w, MonadError e m) => MonadError e (RWST r w s m)	Since: mtl-2.3
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> RWST r w s m a # catchError :: RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a #
(Monoid w, MonadError e m) => MonadError e (RWST r w s m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> RWST r w s m a # catchError :: RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a #
(Monoid w, MonadError e m) => MonadError e (RWST r w s m)
Instance details Defined in Control.Monad.Error.Class Methods throwError :: e -> RWST r w s m a # catchError :: RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a #

data DirectiveLocation #

Constructors

LOCATION_QUERY
LOCATION_MUTATION
LOCATION_SUBSCRIPTION
LOCATION_FIELD
LOCATION_FRAGMENT_DEFINITION
LOCATION_FRAGMENT_SPREAD
LOCATION_INLINE_FRAGMENT
LOCATION_SCHEMA
LOCATION_SCALAR
LOCATION_OBJECT
LOCATION_FIELD_DEFINITION
LOCATION_ARGUMENT_DEFINITION
LOCATION_INTERFACE
LOCATION_UNION
LOCATION_ENUM
LOCATION_ENUM_VALUE
LOCATION_INPUT_OBJECT
LOCATION_INPUT_FIELD_DEFINITION

Instances

Instances details

Show DirectiveLocation
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods showsPrec :: Int -> DirectiveLocation -> ShowS # show :: DirectiveLocation -> String # showList :: [DirectiveLocation] -> ShowS #
Eq DirectiveLocation
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods (==) :: DirectiveLocation -> DirectiveLocation -> Bool # (/=) :: DirectiveLocation -> DirectiveLocation -> Bool #
RenderGQL DirectiveLocation
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods renderGQL :: DirectiveLocation -> Rendering #
Msg DirectiveLocation
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods msg :: DirectiveLocation -> GQLError #
Lift DirectiveLocation
Instance details Defined in Data.Morpheus.Types.Internal.AST.DirectiveLocation Methods lift :: Quote m => DirectiveLocation -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => DirectiveLocation -> Code m DirectiveLocation #
ToLocations ('[] :: [DirectiveLocation])
Instance details Defined in Data.Morpheus.Server.Types.Directives Methods toLocations :: f '[] -> [DirectiveLocation]
(ToLocation l, ToLocations ls) => ToLocations (l ': ls)
Instance details Defined in Data.Morpheus.Server.Types.Directives Methods toLocations :: f (l ': ls) -> [DirectiveLocation]

class (Monad m, MonadReader ResolverContext m, MonadFail m, MonadError GQLError m, Monad (MonadParam m)) => MonadResolver (m :: Type -> Type) where #

Associated Types

type MonadOperation (m :: Type -> Type) :: OperationType #

type MonadEvent (m :: Type -> Type) #

type MonadQuery (m :: Type -> Type) :: Type -> Type #

type MonadMutation (m :: Type -> Type) :: Type -> Type #

type MonadSubscription (m :: Type -> Type) :: Type -> Type #

type MonadParam (m :: Type -> Type) :: Type -> Type #

Methods

liftState :: ResolverState a -> m a #

getArguments :: m (Arguments VALID) #

subscribe :: MonadOperation m ~ SUBSCRIPTION => Channel (MonadEvent m) -> MonadQuery m (MonadEvent m -> m a) -> SubscriptionField (m a) #

publish :: [MonadEvent m] -> m () #

runResolver :: Maybe (Selection VALID -> ResolverState (Channel (MonadEvent m))) -> m ValidValue -> ResolverContext -> ResponseStream (MonadEvent m) (MonadParam m) ValidValue #

Instances

Instances details

(LiftOperation o, Monad m) => MonadResolver (Resolver o e m)

Instance details

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Associated Types

type MonadOperation (Resolver o e m) :: OperationType #

type MonadEvent (Resolver o e m) #

type MonadQuery (Resolver o e m) :: Type -> Type #

type MonadMutation (Resolver o e m) :: Type -> Type #

type MonadSubscription (Resolver o e m) :: Type -> Type #

type MonadParam (Resolver o e m) :: Type -> Type #

Methods

liftState :: ResolverState a -> Resolver o e m a #

getArguments :: Resolver o e m (Arguments VALID) #

subscribe :: MonadOperation (Resolver o e m) ~ SUBSCRIPTION => Channel (MonadEvent (Resolver o e m)) -> MonadQuery (Resolver o e m) (MonadEvent (Resolver o e m) -> Resolver o e m a) -> SubscriptionField (Resolver o e m a) #

publish :: [MonadEvent (Resolver o e m)] -> Resolver o e m () #

runResolver :: Maybe (Selection VALID -> ResolverState (Channel (MonadEvent (Resolver o e m)))) -> Resolver o e m ValidValue -> ResolverContext -> ResponseStream (MonadEvent (Resolver o e m)) (MonadParam (Resolver o e m)) ValidValue #

class (MonadResolver m, MonadIO m) => MonadIOResolver (m :: Type -> Type) #

Instances

Instances details

(LiftOperation o, Monad m, MonadIO m) => MonadIOResolver (Resolver o e m)
Instance details Defined in Data.Morpheus.App.Internal.Resolving.Resolver

type family Flexible (m :: Type -> Type) (a :: k) #

Instances

Instances details

type Flexible m (a :: Type)
Instance details Defined in Data.Morpheus.Server.Resolvers type Flexible m (a :: Type) = m a
type Flexible m (a :: (Type -> Type) -> Type)
Instance details Defined in Data.Morpheus.Server.Resolvers type Flexible m (a :: (Type -> Type) -> Type) = m (a m)

type family Composed (m :: Type -> Type) (f :: Type -> Type) (a :: k) #

Instances

Instances details

type Composed m f (a :: Type)
Instance details Defined in Data.Morpheus.Server.Resolvers type Composed m f (a :: Type) = m (f a)
type Composed m f (a :: (Type -> Type) -> Type)
Instance details Defined in Data.Morpheus.Server.Resolvers type Composed m f (a :: (Type -> Type) -> Type) = m (f (a m))