Data.Morpheus.Types.Internal.Resolving

Documentation

data Event e c

Constructors

Event

Fields

• channels :: [e]
• content :: c

Instances

Eq ch => Eq (Channel (Event ch con))

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

Methods

(==) :: Channel (Event ch con) -> Channel (Event ch con) -> Bool

(/=) :: Channel (Event ch con) -> Channel (Event ch con) -> Bool

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

Instances

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

Defined in Data.Morpheus.Types.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, Monad m) => Failure GQLErrors (Resolver o e m)

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

Methods

failure :: GQLErrors -> Resolver o e m v

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

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

Methods

failure :: Message -> Resolver o e m v

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

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

Methods

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

LiftOperation o => MonadTrans (Resolver o e)

Defined in Data.Morpheus.Types.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.Types.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

fail :: String -> Resolver o e m a

Functor m => Functor (Resolver o e m)

Defined in Data.Morpheus.Types.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.Types.Internal.Resolving.Resolver

Methods

fail :: String -> Resolver o e m a

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

Defined in Data.Morpheus.Types.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.Types.Internal.Resolving.Resolver

Methods

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

Show (Resolver o e m value)

Defined in Data.Morpheus.Types.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.Types.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 SUBSCRIPTION

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

Methods

packResolver :: Monad m => ResolverStateT e m a -> Resolver SUBSCRIPTION e m a

LiftOperation MUTATION

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

Methods

packResolver :: Monad m => ResolverStateT e m a -> Resolver MUTATION e m a

LiftOperation QUERY

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

Methods

packResolver :: Monad m => ResolverStateT e m a -> Resolver QUERY e m a

runRootResModel :: Monad m => RootResModel 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 SubEvent event m = Event (Channel event) (event -> m GQLResponse)

type Eventless = Result ()

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

Methods

failure :: error -> f v

Instances

Failure error (Either error)

Defined in Data.Morpheus.Internal.Utils

Methods

failure :: error -> Either error v

Monad m => Failure GQLErrors (ResultT event m)

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

Methods

failure :: GQLErrors -> ResultT event m v

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

Defined in Data.Morpheus.Internal.Utils

Methods

failure :: errors -> ReaderT ctx m v

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

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

Methods

failure :: GQLErrors -> Resolver o e m v

(Monad m, Failure ValidationErrors m) => Failure ValidationErrors (ResolutionT a coll m)

Defined in Data.Morpheus.Internal.Utils

Methods

failure :: ValidationErrors -> ResolutionT a coll m v

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

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

Methods

failure :: Message -> Resolver o e m v

Failure [GQLError] (Result ev)

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

Methods

failure :: [GQLError] -> Result ev v

Failure [ValidationError] (Result ev)

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

Methods

failure :: [ValidationError] -> Result ev v

eventChannels :: Event e c -> [Channel (Event e c)]

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

Constructors

Publish event

Subscribe (SubEvent event m)

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

cleanEvents :: 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.Types.Internal.Resolving.Core

Methods

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

Monad (Result e)

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

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

fail :: String -> Result e a

Functor (Result events)

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

Methods

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

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

Applicative (Result e)

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

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 [GQLError] (Result ev)

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

Methods

failure :: [GQLError] -> Result ev v

Failure [ValidationError] (Result ev)

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

Methods

failure :: [ValidationError] -> Result ev v

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

Constructors

ResultT

Fields

• runResultT :: m (Result event a)

Instances

Monad m => Failure GQLErrors (ResultT event m)

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

Methods

failure :: GQLErrors -> ResultT event m v

Applicative m => PushEvents event (ResultT event m)

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

Methods

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

MonadTrans (ResultT event)

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

Methods

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

Monad m => Monad (ResultT event m)

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

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

fail :: String -> ResultT event m a

Functor m => Functor (ResultT event m)

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

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.Types.Internal.Resolving.Core

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 ObjectResModel o e m

Constructors

ObjectResModel

Fields

• __typename :: TypeName
• objectFields :: HashMap FieldName (Resolver o e m (ResModel o e m))

Instances

(Monad m, Applicative f, LiftOperation o) => SemigroupM f (ObjectResModel o e m)

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

Methods

mergeM :: [Ref] -> ObjectResModel o e m -> ObjectResModel o e m -> f (ObjectResModel o e m)

Show (ObjectResModel o e m)

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

Methods

showsPrec :: Int -> ObjectResModel o e m -> ShowS

show :: ObjectResModel o e m -> String

showList :: [ObjectResModel o e m] -> ShowS

data ResModel (o :: OperationType) e (m :: * -> *)

Constructors

ResNull

ResScalar ScalarValue

ResEnum TypeName TypeName

ResObject (ObjectResModel o e m)

ResList [ResModel o e m]

ResUnion TypeName (Resolver o e m (ResModel o e m))

Instances

(Monad f, Monad m, LiftOperation o, Failure InternalError f) => SemigroupM f (ResModel o e m)

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

Methods

mergeM :: [Ref] -> ResModel o e m -> ResModel o e m -> f (ResModel o e m)

Show (ResModel o e m)

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

Methods

showsPrec :: Int -> ResModel o e m -> ShowS

show :: ResModel o e m -> String

showList :: [ResModel o e m] -> ShowS

type WithOperation (o :: OperationType) = LiftOperation o

class PushEvents e m where

Methods

pushEvents :: [e] -> m ()

Instances

PushEvents events (Result events)

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

Methods

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

Applicative m => PushEvents event (ResultT event m)

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

Methods

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

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

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

Methods

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

subscribe :: forall e channel cont m a. (Monad m, Event channel cont ~ e) => channel -> 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.Types.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.Types.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 RootResModel e m

Constructors

RootResModel

Fields

• query :: ResolverState (ResModel QUERY e m)
• mutation :: ResolverState (ResModel MUTATION e m)
• subscription :: ResolverState (ResModel 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 -> ResModel o e m

mkFloat :: Float -> ResModel o e m

mkInt :: Int -> ResModel o e m

mkEnum :: TypeName -> TypeName -> ResModel o e m

mkList :: [ResModel o e m] -> ResModel o e m

mkUnion :: TypeName -> Resolver o e m (ResModel o e m) -> ResModel o e m

mkObject :: TypeName -> [(FieldName, Resolver o e m (ResModel o e m))] -> ResModel o e m

mkNull :: ResModel o e m

mkString :: Token -> ResModel o e 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

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

data Channel (event :: *) where

Constructors

Channel :: a -> Channel (Event a c)

Instances

Eq ch => Eq (Channel (Event ch con))

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

Methods

(==) :: Channel (Event ch con) -> Channel (Event ch con) -> Bool

(/=) :: Channel (Event ch con) -> Channel (Event ch con) -> Bool

type ResolverState = ResolverStateT () Identity

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

mkValue :: (LiftOperation o, Monad m) => Value -> ResModel o e m

type FieldResModel o e m = (FieldName, Resolver o e m (ResModel o e m))