Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class ToJSON (Dep a) => ResolveNamed (m :: Type -> Type) a where Source #
resolveNamed :: Monad m => Dep a -> m a Source #
Instances
Monad m => ResolveNamed m Text Source # | |
Monad m => ResolveNamed m ID Source # | |
ResolveNamed m a => ResolveNamed m [a] Source # | |
Defined in Data.Morpheus.NamedResolvers resolveNamed :: Dep [a] -> m [a] Source # | |
ResolveNamed m a => ResolveNamed m (Maybe a) Source # | |
data NamedResolverT (m :: Type -> Type) a where Source #
Ref :: ResolveNamed m a => m (Dep a) -> NamedResolverT m a | |
Refs :: ResolveNamed m a => m [Dep a] -> NamedResolverT m [a] | |
Value :: m a -> NamedResolverT m a |
Instances
GQLType a => GQLType (NamedResolverT m a) Source # | |
Defined in Data.Morpheus.Server.Types.GQLType type KIND (NamedResolverT m a) :: DerivingKind Source # description :: f (NamedResolverT m a) -> Maybe Text Source # getDescriptions :: f (NamedResolverT m a) -> Map Text Description Source # typeOptions :: f (NamedResolverT m a) -> GQLTypeOptions -> GQLTypeOptions Source # getDirectives :: f (NamedResolverT m a) -> Map Text (Directives CONST) Source # defaultValues :: f (NamedResolverT m a) -> Map Text (Value CONST) Source # __isEmptyType :: f (NamedResolverT m a) -> Bool __type :: f (NamedResolverT m a) -> TypeCategory -> TypeData | |
type KIND (NamedResolverT m a) Source # | |
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 Source #