Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class ToJSON (Dependency a) => ResolveNamed (m :: Type -> Type) (a :: Type) where
- type Dep a :: Type
- resolveBatched :: MonadError GQLError m => [Dependency a] -> m [Maybe a]
- resolveNamed :: MonadError GQLError m => Dependency a -> m a
- data NamedResolverT (m :: Type -> Type) a where
- NamedResolverT :: ResolveNamed m (Target a) => m (NamedRef a) -> NamedResolverT m a
- resolve :: ResolveNamed m (Target a) => m (NamedRef a) -> NamedResolverT m 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
- 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)
- defaultRootResolver :: RootResolver m event Undefined Undefined Undefined
- type ResolverO o e m a = Flexible (Resolver o e m) a
- type ComposedResolver o e m f a = Composed (Resolver o e m) f a
- constRes :: MonadResolver m => b -> a -> m b
- type ResolverQ e m a = ResolverO QUERY e m a
- type ResolverM e m a = ResolverO MUTATION e m a
- type ResolverS e m a = ResolverO SUBSCRIPTION e m a
- useBatched :: (ResolveNamed m a, MonadError GQLError m) => Dependency a -> m a
- ignoreBatching :: Monad m => (a -> m b) -> [a] -> m [Maybe b]
- type family Flexible (m :: Type -> Type) a :: Type
- type family Composed (m :: Type -> Type) f a :: Type
Documentation
class ToJSON (Dependency a) => ResolveNamed (m :: Type -> Type) (a :: Type) where Source #
resolveBatched :: MonadError GQLError m => [Dependency a] -> m [Maybe a] Source #
resolveNamed :: MonadError GQLError m => Dependency a -> m a Source #
Deprecated: use: resolveBatched
Instances
ResolveNamed m ID Source # | |
ResolveNamed m Text Source # | |
ResolveNamed m Bool Source # | |
ResolveNamed m Double Source # | |
ResolveNamed m Float Source # | |
ResolveNamed m Int Source # | |
data NamedResolverT (m :: Type -> Type) a where Source #
NamedResolverT :: ResolveNamed m (Target a) => m (NamedRef a) -> NamedResolverT m a |
Instances
GQLType a => GQLType (NamedResolverT m a) Source # | |
Defined in Data.Morpheus.Server.Types.GQLType type KIND (NamedResolverT m a) :: DerivingKind Source # directives :: f (NamedResolverT m a) -> DirectiveUsages Source # __type :: forall (cat :: TypeCategory). CatType cat (NamedResolverT m a) -> TypeData __deriveType :: forall (c :: TypeCategory). CatType c (NamedResolverT m a) -> SchemaT c (TypeDefinition c CONST) __deriveFieldArguments :: forall (c :: TypeCategory). CatType c (NamedResolverT m a) -> SchemaT c (Maybe (ArgumentsDefinition CONST)) | |
type KIND (NamedResolverT m a) Source # | |
Defined in Data.Morpheus.Server.Types.GQLType |
resolve :: ResolveNamed m (Target a) => m (NamedRef a) -> NamedResolverT m a Source #
data NamedResolvers (m :: Type -> Type) event (qu :: (Type -> Type) -> Type) (mu :: (Type -> Type) -> Type) (su :: (Type -> Type) -> Type) Source #
ResolveNamed (Resolver QUERY event m) (qu (NamedResolverT (Resolver QUERY event m))) => NamedResolvers |
data RootResolver (m :: Type -> Type) event (query :: (Type -> Type) -> Type) (mutation :: (Type -> Type) -> Type) (subscription :: (Type -> Type) -> Type) Source #
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.
RootResolver | |
|
defaultRootResolver :: RootResolver m event Undefined Undefined Undefined Source #
type ComposedResolver o e m f a = Composed (Resolver o e m) f a Source #
constRes :: MonadResolver m => b -> a -> m b Source #
type ResolverS e m a = ResolverO SUBSCRIPTION e m a Source #
useBatched :: (ResolveNamed m a, MonadError GQLError m) => Dependency a -> m a Source #
Deprecated: this function is obsolete
ignoreBatching :: Monad m => (a -> m b) -> [a] -> m [Maybe b] Source #