Data.Morpheus.App.Internal.Resolving

Documentation

data Resolver (o :: OperationType) event (m :: Type -> Type) value

Instances

Monad m => PushEvents e (Resolver MUTATION e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

pushEvents :: [e] -> Resolver MUTATION e m ()

(LiftOperation o, Monad m) => MonadError GQLError (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

throwError :: GQLError -> Resolver o e m a

catchError :: Resolver o e m a -> (GQLError -> Resolver o e m a) -> Resolver o e m a

(LiftOperation o, Monad m) => MonadReader ResolverContext (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

ask :: Resolver o e m ResolverContext

local :: (ResolverContext -> ResolverContext) -> Resolver o e m a -> Resolver o e m a

reader :: (ResolverContext -> a) -> Resolver o e m a

LiftOperation o => MonadTrans (Resolver o e)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

lift :: Monad m => m a -> Resolver o e m a

(Monad m, LiftOperation o) => MonadFail (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

fail :: String -> Resolver o e m a

(MonadIO m, LiftOperation o) => MonadIO (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

liftIO :: IO a -> Resolver o e m a

(LiftOperation o, Monad m) => Applicative (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

pure :: a -> Resolver o e m a

(<*>) :: Resolver o e m (a -> b) -> Resolver o e m a -> Resolver o e m b

liftA2 :: (a -> b -> c) -> Resolver o e m a -> Resolver o e m b -> Resolver o e m c

(*>) :: Resolver o e m a -> Resolver o e m b -> Resolver o e m b

(<*) :: Resolver o e m a -> Resolver o e m b -> Resolver o e m a

Functor m => Functor (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

fmap :: (a -> b) -> Resolver o e m a -> Resolver o e m b

(<$) :: a -> Resolver o e m b -> Resolver o e m a

(Monad m, LiftOperation o) => Monad (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

(>>=) :: Resolver o e m a -> (a -> Resolver o e m b) -> Resolver o e m b

(>>) :: Resolver o e m a -> Resolver o e m b -> Resolver o e m b

return :: a -> Resolver o e m a

(LiftOperation o, Monad m, MonadIO m) => MonadIOResolver (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

(LiftOperation o, Monad m) => MonadResolver (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Associated Types

type MonadOperation (Resolver o e m) :: OperationType

type MonadEvent (Resolver o e m)

type MonadQuery (Resolver o e m) :: Type -> Type

type MonadMutation (Resolver o e m) :: Type -> Type

type MonadSubscription (Resolver o e m) :: Type -> Type

type MonadParam (Resolver o e m) :: Type -> Type

Methods

liftState :: ResolverState a -> Resolver o e m a

getArguments :: Resolver o e m (Arguments VALID)

subscribe :: MonadOperation (Resolver o e m) ~ SUBSCRIPTION => Channel (MonadEvent (Resolver o e m)) -> MonadQuery (Resolver o e m) (MonadEvent (Resolver o e m) -> Resolver o e m a) -> SubscriptionField (Resolver o e m a)

publish :: [MonadEvent (Resolver o e m)] -> Resolver o e m ()

runResolver :: Maybe (Selection VALID -> ResolverState (Channel (MonadEvent (Resolver o e m)))) -> Resolver o e m ValidValue -> ResolverContext -> ResponseStream (MonadEvent (Resolver o e m)) (MonadParam (Resolver o e m)) ValidValue

(Monad m, Semigroup a, LiftOperation o) => Semigroup (Resolver o e m a)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

(<>) :: Resolver o e m a -> Resolver o e m a -> Resolver o e m a

sconcat :: NonEmpty (Resolver o e m a) -> Resolver o e m a

stimes :: Integral b => b -> Resolver o e m a -> Resolver o e m a

Show (Resolver o e m value)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

showsPrec :: Int -> Resolver o e m value -> ShowS

show :: Resolver o e m value -> String

showList :: [Resolver o e m value] -> ShowS

type MonadEvent (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

type MonadEvent (Resolver o e m) = e

type MonadMutation (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

type MonadMutation (Resolver o e m) = Resolver MUTATION e m

type MonadOperation (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

type MonadOperation (Resolver o e m) = o

type MonadParam (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

type MonadParam (Resolver o e m) = m

type MonadQuery (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

type MonadQuery (Resolver o e m) = Resolver QUERY e m

type MonadSubscription (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

type MonadSubscription (Resolver o e m) = Resolver SUBSCRIPTION e m

class LiftOperation (o :: OperationType)

Minimal complete definition

packResolver

Instances

LiftOperation MUTATION

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

packResolver :: forall (m :: Type -> Type) e a. Monad m => ResolverStateT e m a -> Resolver MUTATION e m a

LiftOperation QUERY

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

packResolver :: forall (m :: Type -> Type) e a. Monad m => ResolverStateT e m a -> Resolver QUERY e m a

LiftOperation SUBSCRIPTION

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

packResolver :: forall (m :: Type -> Type) e a. Monad m => ResolverStateT e m a -> Resolver SUBSCRIPTION e m a

runRootResolverValue :: Monad m => RootResolverValue e m -> ResolverContext -> ResponseStream e m (Value VALID)

data ResponseEvent event (m :: Type -> Type)

Constructors

Publish event

Subscribe

Fields

• subChannel :: Channel event
• subRes :: event -> m GQLResponse

type ResponseStream event (m :: Type -> Type) = ResultT (ResponseEvent event m) m

cleanEvents :: forall (m :: Type -> Type) e a e'. Functor m => ResultT e m a -> ResultT e' m a

data Result err a

Constructors

Success

Fields

• result :: a
• warnings :: [err]

Failure

Fields

• errors :: NonEmpty err

Instances

Bifunctor Result

Defined in Data.Morpheus.Ext.Result

Methods

bimap :: (a -> b) -> (c -> d) -> Result a c -> Result b d

first :: (a -> b) -> Result a c -> Result b c

second :: (b -> c) -> Result a b -> Result a c

MonadError er (Result er)

Defined in Data.Morpheus.Ext.Result

Methods

throwError :: er -> Result er a

catchError :: Result er a -> (er -> Result er a) -> Result er a

IsString err => MonadFail (Result err)

Defined in Data.Morpheus.Ext.Result

Methods

fail :: String -> Result err a

Applicative (Result er)

Defined in Data.Morpheus.Ext.Result

Methods

pure :: a -> Result er a

(<*>) :: Result er (a -> b) -> Result er a -> Result er b

liftA2 :: (a -> b -> c) -> Result er a -> Result er b -> Result er c

(*>) :: Result er a -> Result er b -> Result er b

(<*) :: Result er a -> Result er b -> Result er a

Functor (Result err)

Defined in Data.Morpheus.Ext.Result

Methods

fmap :: (a -> b) -> Result err a -> Result err b

(<$) :: a -> Result err b -> Result err a

Monad (Result er)

Defined in Data.Morpheus.Ext.Result

Methods

(>>=) :: Result er a -> (a -> Result er b) -> Result er b

(>>) :: Result er a -> Result er b -> Result er b

return :: a -> Result er a

newtype ResultT event (m :: Type -> Type) a

Constructors

ResultT

Fields

• runResultT :: m (Result GQLError ([event], a))

Instances

Applicative m => PushEvents event (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

pushEvents :: [event] -> ResultT event m ()

Monad m => MonadError GQLError (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

throwError :: GQLError -> ResultT event m a

catchError :: ResultT event m a -> (GQLError -> ResultT event m a) -> ResultT event m a

MonadTrans (ResultT event)

Defined in Data.Morpheus.Ext.Result

Methods

lift :: Monad m => m a -> ResultT event m a

Applicative m => Applicative (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

pure :: a -> ResultT event m a

(<*>) :: ResultT event m (a -> b) -> ResultT event m a -> ResultT event m b

liftA2 :: (a -> b -> c) -> ResultT event m a -> ResultT event m b -> ResultT event m c

(*>) :: ResultT event m a -> ResultT event m b -> ResultT event m b

(<*) :: ResultT event m a -> ResultT event m b -> ResultT event m a

Functor m => Functor (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

fmap :: (a -> b) -> ResultT event m a -> ResultT event m b

(<$) :: a -> ResultT event m b -> ResultT event m a

Monad m => Monad (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

(>>=) :: ResultT event m a -> (a -> ResultT event m b) -> ResultT event m b

(>>) :: ResultT event m a -> ResultT event m b -> ResultT event m b

return :: a -> ResultT event m a

newtype ObjectTypeResolver m

Constructors

ObjectTypeResolver

Fields

• objectFields :: HashMap FieldName (m (ResolverValue m))

Instances

(Monad m, Applicative f, MonadError GQLError m) => Merge f (ObjectTypeResolver m)

Defined in Data.Morpheus.App.Internal.Resolving.Types

Methods

merge :: ObjectTypeResolver m -> ObjectTypeResolver m -> f (ObjectTypeResolver m)

Show (ObjectTypeResolver m)

Defined in Data.Morpheus.App.Internal.Resolving.Types

Methods

showsPrec :: Int -> ObjectTypeResolver m -> ShowS

show :: ObjectTypeResolver m -> String

showList :: [ObjectTypeResolver m] -> ShowS

type WithOperation (o :: OperationType) = LiftOperation o

class PushEvents e (m :: Type -> Type) where

Methods

pushEvents :: [e] -> m ()

Instances

Applicative m => PushEvents event (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

pushEvents :: [event] -> ResultT event m ()

Monad m => PushEvents e (Resolver MUTATION e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

pushEvents :: [e] -> Resolver MUTATION e m ()

data ResolverContext

Constructors

ResolverContext

Fields

• currentSelection :: Selection VALID
• schema :: Schema VALID
• operation :: Operation VALID
• config :: Config
• currentType :: TypeDefinition ANY VALID

Instances

Show ResolverContext

Defined in Data.Morpheus.App.Internal.Resolving.ResolverState

Methods

showsPrec :: Int -> ResolverContext -> ShowS

show :: ResolverContext -> String

showList :: [ResolverContext] -> ShowS

(LiftOperation o, Monad m) => MonadReader ResolverContext (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Methods

ask :: Resolver o e m ResolverContext

local :: (ResolverContext -> ResolverContext) -> Resolver o e m a -> Resolver o e m a

reader :: (ResolverContext -> a) -> Resolver o e m a

data RootResolverValue e m

Constructors

RootResolverValue

Fields

• queryResolver :: ResolverState (ObjectTypeResolver (Resolver QUERY e m))
• mutationResolver :: ResolverState (ObjectTypeResolver (Resolver MUTATION e m))
• subscriptionResolver :: ResolverState (ObjectTypeResolver (Resolver SUBSCRIPTION e m))
• channelMap :: Maybe (Selection VALID -> ResolverState (Channel e))

NamedResolversValue

Fields

• queryResolverMap :: ResolverMap (Resolver QUERY e m)

Instances

Monad m => FromJSON (RootResolverValue e m)

Defined in Data.Morpheus.App.Internal.Resolving.RootResolverValue

Methods

parseJSON :: Value -> Parser (RootResolverValue e m)

parseJSONList :: Value -> Parser [RootResolverValue e m]

omittedField :: Maybe (RootResolverValue e m)

resultOr :: (NonEmpty err -> a') -> (a -> a') -> Result err a -> a'

withArguments :: MonadResolver m => (Arguments VALID -> m a) -> m a

mkBoolean :: Bool -> ResolverValue m

mkFloat :: Double -> ResolverValue m

mkInt :: Int -> ResolverValue m

mkList :: [ResolverValue m] -> ResolverValue m

mkNull :: ResolverValue m

mkString :: Text -> ResolverValue m

mkValue :: (MonadReader ResolverContext f, MonadReader ResolverContext m) => Value -> f (ResolverValue m)

mkEnum :: TypeName -> ResolverValue m

mkUnion :: Monad m => TypeName -> [ResolverEntry m] -> ResolverValue m

mkObject :: TypeName -> [ResolverEntry m] -> ResolverValue m

data SubscriptionField (a :: Type) where

Constructors

SubscriptionField

Fields

• :: { channel :: forall m v. (a ~ m v, MonadResolver m, MonadOperation m ~ SUBSCRIPTION) => Channel (MonadEvent m)
•    , unSubscribe :: a
•    } -> SubscriptionField a

Instances

EncodeWrapper SubscriptionField

Defined in Data.Morpheus.Types.GQLWrapper

Methods

encodeWrapper :: Monad m => (a -> m (ResolverValue m)) -> SubscriptionField a -> m (ResolverValue m)

type ResolverState = ResolverStateT () Identity

class (Monad m, MonadReader ResolverContext m, MonadFail m, MonadError GQLError m, Monad (MonadParam m)) => MonadResolver (m :: Type -> Type) where

Associated Types

type MonadOperation m :: OperationType

type MonadEvent m :: Type

type MonadQuery m :: Type -> Type

type MonadMutation m :: Type -> Type

type MonadSubscription m :: Type -> Type

type MonadParam m :: Type -> Type

Methods

liftState :: ResolverState a -> m a

getArguments :: m (Arguments VALID)

subscribe :: MonadOperation m ~ SUBSCRIPTION => Channel (MonadEvent m) -> MonadQuery m (MonadEvent m -> m a) -> SubscriptionField (m a)

publish :: MonadOperation m ~ MUTATION => [MonadEvent m] -> m ()

runResolver :: Maybe (Selection VALID -> ResolverState (Channel (MonadEvent m))) -> m ValidValue -> ResolverContext -> ResponseStream (MonadEvent m) (MonadParam m) ValidValue

Instances

(LiftOperation o, Monad m) => MonadResolver (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

Associated Types

type MonadOperation (Resolver o e m) :: OperationType

type MonadEvent (Resolver o e m)

type MonadQuery (Resolver o e m) :: Type -> Type

type MonadMutation (Resolver o e m) :: Type -> Type

type MonadSubscription (Resolver o e m) :: Type -> Type

type MonadParam (Resolver o e m) :: Type -> Type

Methods

liftState :: ResolverState a -> Resolver o e m a

getArguments :: Resolver o e m (Arguments VALID)

subscribe :: MonadOperation (Resolver o e m) ~ SUBSCRIPTION => Channel (MonadEvent (Resolver o e m)) -> MonadQuery (Resolver o e m) (MonadEvent (Resolver o e m) -> Resolver o e m a) -> SubscriptionField (Resolver o e m a)

publish :: [MonadEvent (Resolver o e m)] -> Resolver o e m ()

runResolver :: Maybe (Selection VALID -> ResolverState (Channel (MonadEvent (Resolver o e m)))) -> Resolver o e m ValidValue -> ResolverContext -> ResponseStream (MonadEvent (Resolver o e m)) (MonadParam (Resolver o e m)) ValidValue

class (MonadResolver m, MonadIO m) => MonadIOResolver (m :: Type -> Type)

Instances

(LiftOperation o, Monad m, MonadIO m) => MonadIOResolver (Resolver o e m)

Defined in Data.Morpheus.App.Internal.Resolving.Resolver

type ResolverEntry m = (FieldName, m (ResolverValue m))

sortErrors :: Result GQLError a -> Result GQLError a

class EventHandler e

Associated Types

type Channel e :: Type

requireObject :: MonadError GQLError f => ResolverValue m -> f (ObjectTypeResolver m)

data ResolverValue (m :: Type -> Type)

Constructors

ResNull

ResScalar ScalarValue

ResList [ResolverValue m]

ResEnum TypeName

ResObject (Maybe TypeName) (ObjectTypeResolver m)

ResRef (m NamedResolverRef)

ResLazy (m (ResolverValue m))

Instances

(Monad f, MonadError GQLError f, Merge f (ObjectTypeResolver m)) => Merge f (ResolverValue m)

Defined in Data.Morpheus.App.Internal.Resolving.Types

Methods

merge :: ResolverValue m -> ResolverValue m -> f (ResolverValue m)

IsString (ResolverValue m)

Defined in Data.Morpheus.App.Internal.Resolving.Types

Methods

fromString :: String -> ResolverValue m

Show (ResolverValue m)

Defined in Data.Morpheus.App.Internal.Resolving.Types

Methods

showsPrec :: Int -> ResolverValue m -> ShowS

show :: ResolverValue m -> String

showList :: [ResolverValue m] -> ShowS

data NamedResolver (m :: Type -> Type)

Constructors

NamedResolver

Fields

• resolverName :: TypeName
• resolverFun :: NamedResolverFun m

Instances

KeyOf TypeName (NamedResolver m)

Defined in Data.Morpheus.App.Internal.Resolving.Types

Methods

keyOf :: NamedResolver m -> TypeName

Show (NamedResolver m)

Defined in Data.Morpheus.App.Internal.Resolving.Types

Methods

showsPrec :: Int -> NamedResolver m -> ShowS

show :: NamedResolver m -> String

showList :: [NamedResolver m] -> ShowS

data NamedResolverResult (m :: Type -> Type)

Constructors

NamedObjectResolver (ObjectTypeResolver m)

NamedUnionResolver NamedResolverRef

NamedEnumResolver TypeName

NamedScalarResolver ScalarValue

NamedNullResolver

Instances

Show (NamedResolverResult m)

Defined in Data.Morpheus.App.Internal.Resolving.Types

Methods

showsPrec :: Int -> NamedResolverResult m -> ShowS

show :: NamedResolverResult m -> String

showList :: [NamedResolverResult m] -> ShowS

data NamedResolverRef

Constructors

NamedResolverRef

Fields

• resolverTypeName :: TypeName
• resolverArgument :: NamedResolverArg

Instances

Show NamedResolverRef

Defined in Data.Morpheus.App.Internal.Resolving.Types

Methods

showsPrec :: Int -> NamedResolverRef -> ShowS

show :: NamedResolverRef -> String

showList :: [NamedResolverRef] -> ShowS