Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class ToJSON (Dep a) => ResolveNamed (m :: Type -> Type) a where #
resolveBatched :: [Dep a] -> m [Maybe a] #
resolveNamed :: Dep a -> m a #
Instances
Monad m => ResolveNamed m ID | |
Defined in Data.Morpheus.Server.NamedResolvers | |
Monad m => ResolveNamed m Text | |
Defined in Data.Morpheus.Server.NamedResolvers | |
(ResolveNamed m a, MonadError GQLError m) => ResolveNamed m (Maybe a) | |
Defined in Data.Morpheus.Server.NamedResolvers | |
(ResolveNamed m a, MonadError GQLError m) => ResolveNamed m [a] | |
Defined in Data.Morpheus.Server.NamedResolvers resolveBatched :: [Dep [a]] -> m [Maybe [a]] # resolveNamed :: Dep [a] -> m [a] # |
data NamedResolverT (m :: Type -> Type) a where #
Ref :: forall (m :: Type -> Type) a. ResolveNamed m a => m (Dep a) -> NamedResolverT m a | |
Refs :: forall (m :: Type -> Type) a1. ResolveNamed m a1 => m [Dep a1] -> NamedResolverT m [a1] | |
Value :: forall (m :: Type -> Type) a. m a -> NamedResolverT m a |
Instances
GQLType a => GQLType (NamedResolverT m a) | |
Defined in Data.Morpheus.Server.Types.GQLType type KIND (NamedResolverT m a) :: DerivingKind # directives :: f (NamedResolverT m a) -> DirectiveUsages # __type :: f (NamedResolverT m a) -> TypeCategory -> TypeData | |
type KIND (NamedResolverT m a) | |
Defined in Data.Morpheus.Server.Types.GQLType |
resolve :: forall m a b. (ResolveByType (RES_TYPE a b) m a b, Monad m) => m a -> NamedResolverT m b #
useBatched :: (ResolveNamed m a, MonadError GQLError m) => Dep a -> m a #