Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class ToJSON (Dep a) => ResolveNamed (m :: Type -> Type) a where #
resolveNamed :: Dep a -> m a #
Instances
Monad m => ResolveNamed m ID | |
Monad m => ResolveNamed m Text | |
ResolveNamed m a => ResolveNamed m (Maybe a) | |
Defined in Data.Morpheus.Server.NamedResolvers resolveNamed :: Dep (Maybe a) -> m (Maybe a) # | |
ResolveNamed m a => ResolveNamed 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 # description :: f (NamedResolverT m a) -> Maybe Text # directives :: f (NamedResolverT m a) -> DirectiveUsages # getDescriptions :: f (NamedResolverT m a) -> Map Text Description # typeOptions :: f (NamedResolverT m a) -> GQLTypeOptions -> GQLTypeOptions # getDirectives :: f (NamedResolverT m a) -> Map Text (Directives CONST) # defaultValues :: f (NamedResolverT m a) -> Map Text (Value CONST) # __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 #