Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class ToJSON (Dependency a) => ResolveNamed (m :: Type -> Type) a where #
resolveBatched :: [Dependency a] -> m [Maybe a] #
resolveNamed :: Dependency a -> m a #
data NamedResolverT (m :: Type -> Type) a where #
Ref :: forall (m :: Type -> Type) a. ResolveNamed m (Target a) => m (Dependency a) -> NamedResolverT m a | |
Refs :: forall (m :: Type -> Type) a1. ResolveNamed m (Target a1) => m [Dependency a1] -> NamedResolverT m [a1] | |
Value :: forall (m :: Type -> Type) a. m a -> NamedResolverT m a |
Instances
MonadTrans NamedResolverT | |
Defined in Data.Morpheus.Server.NamedResolvers lift :: Monad m => m a -> NamedResolverT m a # | |
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. (ResolveRef (NamedResolverTarget b) m a b, Monad m) => m a -> NamedResolverT m b #
useBatched :: (ResolveNamed m a, MonadError GQLError m) => Dependency a -> m a #