Data.Morpheus.Server.Resolvers

Documentation

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

Minimal complete definition

resolveBatched

Associated Types

type Dep a :: Type

Methods

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

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

Deprecated: use: resolveBatched

Instances

ResolveNamed m ID

Defined in Data.Morpheus.Server.Types.NamedResolvers

Associated Types

type Dep ID

Methods

resolveBatched :: [Dependency ID] -> m [Maybe ID]

resolveNamed :: Dependency ID -> m ID

ResolveNamed m Text

Defined in Data.Morpheus.Server.Types.NamedResolvers

Associated Types

type Dep Text

Methods

resolveBatched :: [Dependency Text] -> m [Maybe Text]

resolveNamed :: Dependency Text -> m Text

ResolveNamed m Bool

Defined in Data.Morpheus.Server.Types.NamedResolvers

Associated Types

type Dep Bool

Methods

resolveBatched :: [Dependency Bool] -> m [Maybe Bool]

resolveNamed :: Dependency Bool -> m Bool

ResolveNamed m Double

Defined in Data.Morpheus.Server.Types.NamedResolvers

Associated Types

type Dep Double

Methods

resolveBatched :: [Dependency Double] -> m [Maybe Double]

resolveNamed :: Dependency Double -> m Double

ResolveNamed m Float

Defined in Data.Morpheus.Server.Types.NamedResolvers

Associated Types

type Dep Float

Methods

resolveBatched :: [Dependency Float] -> m [Maybe Float]

resolveNamed :: Dependency Float -> m Float

ResolveNamed m Int

Defined in Data.Morpheus.Server.Types.NamedResolvers

Associated Types

type Dep Int

Methods

resolveBatched :: [Dependency Int] -> m [Maybe Int]

resolveNamed :: Dependency Int -> m Int

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

Constructors

NamedResolverT :: ResolveNamed m (Target a) => m (NamedRef a) -> NamedResolverT m a

Instances

GQLType a => GQLType (NamedResolverT m a)

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) -> SchemaT c (TypeDefinition c CONST)

__deriveFieldArguments :: forall (c :: TypeCategory). CatType c (NamedResolverT m a) -> SchemaT c (Maybe (ArgumentsDefinition CONST))

type KIND (NamedResolverT m a)

Defined in Data.Morpheus.Server.Types.GQLType

type KIND (NamedResolverT m a) = CUSTOM

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)

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)

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)

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

Deprecated: this function is obsolete

ignoreBatching :: Monad m => (a -> m b) -> [a] -> m [Maybe b]

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

Instances

type Flexible m (a :: Type)

Defined in Data.Morpheus.Server.Resolvers

type Flexible m (a :: Type) = m a

type Flexible m (a :: (Type -> Type) -> Type)

Defined in Data.Morpheus.Server.Resolvers

type Flexible m (a :: (Type -> Type) -> Type) = m (a m)

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

Instances

type Composed m f (a :: Type)

Defined in Data.Morpheus.Server.Resolvers

type Composed m f (a :: Type) = m (f a)

type Composed m f (a :: (Type -> Type) -> Type)

Defined in Data.Morpheus.Server.Resolvers

type Composed m f (a :: (Type -> Type) -> Type) = m (f (a m))