Safe Haskell	None
Language	Haskell2010

Data.Morpheus.Server.Resolvers

Synopsis

class ToJSON (Dependency a) => ResolveNamed (m :: Type -> Type) a where
- type Dep a
- resolveBatched :: [Dependency a] -> m [Maybe a]
- resolveNamed :: Dependency a -> m a
data NamedResolverT (m :: Type -> Type) a where
- NamedResolverT :: forall (m :: Type -> Type) a. 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 :: forall (m :: Type -> Type) event. RootResolver m event Undefined Undefined Undefined
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
constRes :: MonadResolver m => b -> a -> m b
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
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 :: k)
type family Composed (m :: Type -> Type) (f :: Type -> Type) (a :: k)

Documentation

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

Minimal complete definition

resolveBatched

Associated Types

type Dep a Source #

Methods

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

resolveNamed :: Dependency a -> m a Source #

Deprecated: use: resolveBatched

Instances

Instances details

ResolveNamed m ID Source #

Instance details

Defined in Data.Morpheus.Server.Types.NamedResolvers

Associated Types

type Dep ID
Instance details Defined in Data.Morpheus.Server.Types.NamedResolvers type Dep ID = ID

Methods

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

resolveNamed :: Dependency ID -> m ID Source #

ResolveNamed m Text Source #

Instance details

Defined in Data.Morpheus.Server.Types.NamedResolvers

Associated Types

type Dep Text
Instance details Defined in Data.Morpheus.Server.Types.NamedResolvers type Dep Text = Text

Methods

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

resolveNamed :: Dependency Text -> m Text Source #

ResolveNamed m Bool Source #

Instance details

Defined in Data.Morpheus.Server.Types.NamedResolvers

Associated Types

type Dep Bool
Instance details Defined in Data.Morpheus.Server.Types.NamedResolvers type Dep Bool = Bool

Methods

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

resolveNamed :: Dependency Bool -> m Bool Source #

ResolveNamed m Double Source #

Instance details

Defined in Data.Morpheus.Server.Types.NamedResolvers

Associated Types

type Dep Double
Instance details Defined in Data.Morpheus.Server.Types.NamedResolvers type Dep Double = Double

Methods

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

resolveNamed :: Dependency Double -> m Double Source #

ResolveNamed m Float Source #

Instance details

Defined in Data.Morpheus.Server.Types.NamedResolvers

Associated Types

type Dep Float
Instance details Defined in Data.Morpheus.Server.Types.NamedResolvers type Dep Float = Float

Methods

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

resolveNamed :: Dependency Float -> m Float Source #

ResolveNamed m Int Source #

Instance details

Defined in Data.Morpheus.Server.Types.NamedResolvers

Associated Types

type Dep Int
Instance details Defined in Data.Morpheus.Server.Types.NamedResolvers type Dep Int = Int

Methods

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

resolveNamed :: Dependency Int -> m Int Source #

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

Constructors

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

Instances

Instances details

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

Instance details

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND (NamedResolverT m a)
Instance details Defined in Data.Morpheus.Server.Types.GQLType type KIND (NamedResolverT m a) = CUSTOM

Methods

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) -> GQLResult (GQLTypeNode c)

__exploreRef :: forall (c :: TypeCategory). CatType c (NamedResolverT m a) -> [ScanRef (FreeCatType :: Type -> Type) GQLType]

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

type KIND (NamedResolverT m a) Source #

Instance details

Defined in Data.Morpheus.Server.Types.GQLType

type KIND (NamedResolverT m a) = CUSTOM

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 #

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 queryResolver :: query (Resolver QUERY event m) mutationResolver :: mutation (Resolver MUTATION event m) subscriptionResolver :: subscription (Resolver SUBSCRIPTION event m)

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

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

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

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

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

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

type ResolverS e (m :: Type -> Type) (a :: k) = 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 #

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

Instances

Instances details

type Flexible m (a :: Type) Source #
Instance details Defined in Data.Morpheus.Server.Resolvers type Flexible m (a :: Type) = m a
type Flexible m (a :: (Type -> Type) -> Type) Source #
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) Source #

Instances

Instances details

type Composed m f (a :: Type) Source #
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) Source #
Instance details Defined in Data.Morpheus.Server.Resolvers type Composed m f (a :: (Type -> Type) -> Type) = m (f (a m))