morpheus-graphql-server-0.26.0: Morpheus GraphQL
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Morpheus.Server.Resolvers

Synopsis

Documentation

class ToJSON (Dependency a) => ResolveNamed (m :: Type -> Type) (a :: Type) where Source #

Minimal complete definition

resolveBatched

Associated Types

type Dep a :: Type Source #

Methods

resolveBatched :: MonadError GQLError m => [Dependency a] -> m [Maybe a] Source #

resolveNamed :: MonadError GQLError m => Dependency a -> m a Source #

Deprecated: use: resolveBatched

data NamedResolverT (m :: Type -> Type) a where Source #

Constructors

Ref :: ResolveNamed m (Target a) => m (Dependency a) -> NamedResolverT m a 
Refs :: ResolveNamed m (Target a) => m [Dependency a] -> NamedResolverT m [a] 
Value :: m a -> NamedResolverT m a 

Instances

Instances details
MonadTrans NamedResolverT Source # 
Instance details

Defined in Data.Morpheus.Server.NamedResolvers

Methods

lift :: Monad m => m a -> NamedResolverT m a #

GQLType a => GQLType (NamedResolverT m a) Source # 
Instance details

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND (NamedResolverT m a) :: DerivingKind Source #

Methods

directives :: f (NamedResolverT m a) -> DirectiveUsages Source #

__type :: f (NamedResolverT m a) -> TypeCategory -> TypeData

type KIND (NamedResolverT m a) Source # 
Instance details

Defined in Data.Morpheus.Server.Types.GQLType

resolve :: forall m a b. ResolveRef (NamedResolverTarget b) m a b => Monad m => m a -> NamedResolverT m b Source #

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

Constructors

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.

Constructors

RootResolver 

Fields

type ResolverO o e m a = Flexible (Resolver o e m) a Source #

type ComposedResolver o e m f a = Composed (Resolver o e m) f a Source #

publish :: Monad m => [e] -> Resolver MUTATION e m () Source #

constRes :: (WithOperation o, Monad m) => b -> a -> Resolver o e m b Source #

type ResolverQ e m a = Flexible (Resolver QUERY e m) a Source #

type ResolverM e m a = Flexible (Resolver MUTATION e m) a Source #

type ResolverS e m a = Flexible (Resolver 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 #