Data.Morpheus.App.Internal.Resolving

Documentation

data Resolver (o :: OperationType) event (m :: * -> *) 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, Failure err (ResolverStateT e m)) => Failure err (Resolver o e m)

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

Methods

failure :: err -> Resolver o e m v

(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) => 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

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) => MonadFail (Resolver o e m)

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

Methods

fail :: String -> 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

(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

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

(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

class LiftOperation (o :: OperationType)

Minimal complete definition

packResolver

Instances

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 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 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)

lift :: (MonadTrans t, Monad m) => m a -> t m a

Lift a computation from the argument monad to the constructed monad.

type Eventless = Result ()

class Applicative f => Failure error (f :: Type -> Type) where

Methods

failure :: error -> f v

Instances

Failure error (Either error)

Defined in Data.Morpheus.Ext.Failure

Methods

failure :: error -> Either error v

(Monad m, Failure errors m) => Failure errors (ReaderT ctx m)

Defined in Data.Morpheus.Ext.Failure

Methods

failure :: errors -> ReaderT ctx m v

Monad m => Failure GQLErrors (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

failure :: GQLErrors -> ResultT event m v

(LiftOperation o, Monad m, Failure err (ResolverStateT e m)) => Failure err (Resolver o e m)

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

Methods

failure :: err -> Resolver o e m v

Failure [ValidationError] (Result ev)

Defined in Data.Morpheus.Ext.Result

Methods

failure :: [ValidationError] -> Result ev v

Failure [GQLError] (Result ev)

Defined in Data.Morpheus.Ext.Result

Methods

failure :: [GQLError] -> Result ev v

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

Constructors

Publish event

Subscribe

Fields

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

type ResponseStream event (m :: * -> *) = 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 events a

Constructors

Success

Fields

• result :: a
• warnings :: GQLErrors
• events :: [events]

Failure

Fields

• errors :: GQLErrors

Instances

PushEvents events (Result events)

Defined in Data.Morpheus.Ext.Result

Methods

pushEvents :: [events] -> Result events ()

Monad (Result e)

Defined in Data.Morpheus.Ext.Result

Methods

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

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

return :: a -> Result e a

Functor (Result events)

Defined in Data.Morpheus.Ext.Result

Methods

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

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

Applicative (Result e)

Defined in Data.Morpheus.Ext.Result

Methods

pure :: a -> Result e a

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

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

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

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

Failure [ValidationError] (Result ev)

Defined in Data.Morpheus.Ext.Result

Methods

failure :: [ValidationError] -> Result ev v

Failure [GQLError] (Result ev)

Defined in Data.Morpheus.Ext.Result

Methods

failure :: [GQLError] -> Result ev v

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

Constructors

ResultT

Fields

• runResultT :: m (Result event a)

Instances

Applicative m => PushEvents event (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

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

Monad m => Failure GQLErrors (ResultT event m)

Defined in Data.Morpheus.Ext.Result

Methods

failure :: GQLErrors -> ResultT event m v

MonadTrans (ResultT event)

Defined in Data.Morpheus.Ext.Result

Methods

lift :: Monad m => m a -> 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

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

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

unpackEvents :: Result event a -> [event]

data ResolverObject m

Constructors

ResolverObject

Fields

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

Instances

(Monad m, Applicative f, Failure InternalError m) => SemigroupM f (ResolverObject m)

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

Methods

mergeM :: [Ref FieldName] -> ResolverObject m -> ResolverObject m -> f (ResolverObject m)

Show (ResolverObject m)

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

Methods

showsPrec :: Int -> ResolverObject m -> ShowS

show :: ResolverObject m -> String

showList :: [ResolverObject m] -> ShowS

data ResolverValue (m :: * -> *)

Constructors

ResNull

ResScalar ScalarValue

ResEnum TypeName

ResObject (ResolverObject m)

ResList [ResolverValue m]

ResUnion TypeName (m (ResolverValue m))

Instances

(Monad f, Monad m, Failure InternalError f, Failure InternalError m) => SemigroupM f (ResolverValue m)

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

Methods

mergeM :: [Ref FieldName] -> ResolverValue m -> ResolverValue m -> f (ResolverValue m)

Show (ResolverValue m)

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

Methods

showsPrec :: Int -> ResolverValue m -> ShowS

show :: ResolverValue m -> String

showList :: [ResolverValue m] -> ShowS

type WithOperation (o :: OperationType) = LiftOperation o

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

Methods

pushEvents :: [e] -> m ()

Instances

PushEvents events (Result events)

Defined in Data.Morpheus.Ext.Result

Methods

pushEvents :: [events] -> Result events ()

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 ()

subscribe :: Monad m => Channel e -> Resolver QUERY e m (e -> Resolver SUBSCRIPTION e m a) -> SubscriptionField (Resolver SUBSCRIPTION e m a)

data ResolverContext

Constructors

ResolverContext

Fields

• currentSelection :: Selection VALID
• schema :: Schema VALID
• operation :: Operation VALID
• currentTypeName :: TypeName
• config :: Config

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

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

A function to return the internal ResolverContext within a resolver's monad. Using the ResolverContext itself is unsafe because it expposes internal structures of the AST, but you can use the Data.Morpheus.Types.SelectionTree typeclass to manipulate the internal AST with a safe interface.

data RootResolverValue e m

Constructors

RootResolverValue

Fields

• query :: ResolverState (ResolverValue (Resolver QUERY e m))
• mutation :: ResolverState (ResolverValue (Resolver MUTATION e m))
• subscription :: ResolverState (ResolverValue (Resolver SUBSCRIPTION e m))
• channelMap :: Maybe (Selection VALID -> ResolverState (Channel e))

resultOr :: (GQLErrors -> a') -> (a -> a') -> Result e a -> a'

withArguments :: (LiftOperation o, Monad m) => (Arguments VALID -> Resolver o e m a) -> Resolver o e m a

mkBoolean :: Bool -> ResolverValue m

mkFloat :: Double -> ResolverValue m

mkInt :: Int -> ResolverValue m

mkEnum :: TypeName -> ResolverValue m

mkList :: [ResolverValue m] -> ResolverValue m

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

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

mkNull :: ResolverValue m

mkString :: Token -> ResolverValue m

data SubscriptionField (a :: *) where

Constructors

SubscriptionField

Fields

• :: { channel :: forall e m v. a ~ Resolver SUBSCRIPTION e m v => Channel e
•    , 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)

getArguments :: (LiftOperation o, Monad m) => Resolver o e m (Arguments VALID)

type ResolverState = ResolverStateT () Identity

liftResolverState :: (LiftOperation o, Monad m) => ResolverState a -> Resolver o e m a

mkValue :: Monad m => Value -> ResolverValue m

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

sortErrors :: Result e a -> Result e a

class EventHandler e where

Associated Types

type Channel e

Methods

getChannels :: e -> [Channel e]