morpheus-graphql-0.25.0: Morpheus GraphQL
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Morpheus.NamedResolvers

Documentation

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

Minimal complete definition

resolveNamed

Associated Types

type Dep a #

Methods

resolveBatched :: [Dep a] -> m [Maybe a] #

resolveNamed :: Dep a -> m a #

Instances

Instances details
Monad m => ResolveNamed m ID 
Instance details

Defined in Data.Morpheus.Server.NamedResolvers

Associated Types

type Dep ID #

Methods

resolveBatched :: [Dep ID] -> m [Maybe ID] #

resolveNamed :: Dep ID -> m ID #

Monad m => ResolveNamed m Text 
Instance details

Defined in Data.Morpheus.Server.NamedResolvers

Associated Types

type Dep Text #

(ResolveNamed m a, MonadError GQLError m) => ResolveNamed m (Maybe a) 
Instance details

Defined in Data.Morpheus.Server.NamedResolvers

Associated Types

type Dep (Maybe a) #

Methods

resolveBatched :: [Dep (Maybe a)] -> m [Maybe (Maybe a)] #

resolveNamed :: Dep (Maybe a) -> m (Maybe a) #

(ResolveNamed m a, MonadError GQLError m) => ResolveNamed m [a] 
Instance details

Defined in Data.Morpheus.Server.NamedResolvers

Associated Types

type Dep [a] #

Methods

resolveBatched :: [Dep [a]] -> m [Maybe [a]] #

resolveNamed :: Dep [a] -> m [a] #

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

Constructors

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

Instances details
GQLType a => GQLType (NamedResolverT m a) 
Instance details

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND (NamedResolverT m a) :: DerivingKind #

Methods

directives :: f (NamedResolverT m a) -> DirectiveUsages #

__type :: f (NamedResolverT m a) -> TypeCategory -> TypeData

type KIND (NamedResolverT m a) 
Instance details

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 #