Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Event e c = Event {}
- data Resolver (o :: OperationType) event (m :: * -> *) value
- class LiftOperation (o :: OperationType)
- runRootResModel :: Monad m => RootResModel e m -> ResolverContext -> ResponseStream e m (Value VALID)
- lift :: (MonadTrans t, Monad m) => m a -> t m a
- type SubEvent event m = Event (Channel event) (event -> m GQLResponse)
- type Eventless = Result ()
- class Applicative f => Failure error (f :: * -> *) where
- failure :: error -> f v
- eventChannels :: Event e c -> [Channel (Event e c)]
- data ResponseEvent 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
- newtype ResultT event (m :: * -> *) a = ResultT {
- runResultT :: m (Result event a)
- unpackEvents :: Result event a -> [event]
- data ObjectResModel o e m = ObjectResModel {
- __typename :: TypeName
- objectFields :: [FieldResModel o e m]
- data ResModel (o :: OperationType) e (m :: * -> *)
- type FieldResModel o e m = (FieldName, Resolver o e m (ResModel o e m))
- type WithOperation (o :: OperationType) = LiftOperation o
- class PushEvents e m where
- pushEvents :: [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 = ResolverContext {}
- unsafeInternalContext :: (Monad m, LiftOperation o) => Resolver o e m ResolverContext
- data RootResModel e m = RootResModel {
- 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
- SubscriptionField :: {..} -> SubscriptionField a
- getArguments :: (LiftOperation o, Monad m) => Resolver o e m (Arguments VALID)
- data Channel (event :: *) where
- 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
Documentation
data Resolver (o :: OperationType) event (m :: * -> *) value Source #
Instances
class LiftOperation (o :: OperationType) Source #
packResolver
Instances
LiftOperation SUBSCRIPTION Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Resolver packResolver :: Monad m => ResolverStateT e m a -> Resolver SUBSCRIPTION e m a | |
LiftOperation MUTATION Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Resolver packResolver :: Monad m => ResolverStateT e m a -> Resolver MUTATION e m a | |
LiftOperation QUERY Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Resolver packResolver :: Monad m => ResolverStateT e m a -> Resolver QUERY e m a |
runRootResModel :: Monad m => RootResModel e m -> ResolverContext -> ResponseStream e m (Value VALID) Source #
lift :: (MonadTrans t, Monad m) => m a -> t m a #
Lift a computation from the argument monad to the constructed monad.
class Applicative f => Failure error (f :: * -> *) where Source #
Instances
Failure error (Either error) Source # | |
Defined in Data.Morpheus.Internal.Utils | |
Monad m => Failure GQLErrors (ResultT event m) Source # | |
(Monad m, Failure errors m) => Failure errors (ReaderT ctx m) Source # | |
Defined in Data.Morpheus.Internal.Utils | |
(LiftOperation o, Monad m) => Failure GQLErrors (Resolver o e m) Source # | |
(Stream s, Ord e, Failure GQLErrors m) => Failure ValidationErrors (ParsecT e s m) Source # | |
Defined in Data.Morpheus.Internal.Utils failure :: ValidationErrors -> ParsecT e s m v Source # | |
(LiftOperation o, Monad m) => Failure Message (Resolver o e m) Source # | |
Failure [GQLError] (Result ev) Source # | |
Failure [ValidationError] (Result ev) Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Core failure :: [ValidationError] -> Result ev v Source # |
type ResponseStream event (m :: * -> *) = ResultT (ResponseEvent event m) m Source #
Instances
PushEvents events (Result events) Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Core pushEvents :: [events] -> Result events () Source # | |
Monad (Result e) Source # | |
Functor (Result events) Source # | |
Applicative (Result e) Source # | |
Failure [GQLError] (Result ev) Source # | |
Failure [ValidationError] (Result ev) Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Core failure :: [ValidationError] -> Result ev v Source # |
newtype ResultT event (m :: * -> *) a Source #
ResultT | |
|
Instances
Monad m => Failure GQLErrors (ResultT event m) Source # | |
Applicative m => PushEvents event (ResultT event m) Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Core pushEvents :: [event] -> ResultT event m () Source # | |
MonadTrans (ResultT event) Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Core | |
Monad m => Monad (ResultT event m) Source # | |
Functor m => Functor (ResultT event m) Source # | |
Applicative m => Applicative (ResultT event m) Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Core 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] Source #
data ObjectResModel o e m Source #
ObjectResModel | |
|
Instances
Applicative f => SemigroupM f (ObjectResModel o e m) Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Resolver mergeM :: [Ref] -> ObjectResModel o e m -> ObjectResModel o e m -> f (ObjectResModel o e m) Source # | |
Show (ObjectResModel o e m) Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Resolver 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 :: * -> *) Source #
ResNull | |
ResScalar ScalarValue | |
ResEnum TypeName TypeName | |
ResList [ResModel o e m] | |
ResObject (ObjectResModel o e m) | |
ResUnion TypeName (Resolver o e m (ResModel o e m)) |
type WithOperation (o :: OperationType) = LiftOperation o Source #
class PushEvents e m where Source #
pushEvents :: [e] -> m () Source #
Instances
PushEvents events (Result events) Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Core pushEvents :: [events] -> Result events () Source # | |
Applicative m => PushEvents event (ResultT event m) Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Core pushEvents :: [event] -> ResultT event m () Source # | |
Monad m => PushEvents e (Resolver MUTATION e m) Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Resolver pushEvents :: [e] -> Resolver MUTATION e m () Source # |
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) Source #
data ResolverContext Source #
Instances
Show ResolverContext Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.ResolverState showsPrec :: Int -> ResolverContext -> ShowS # show :: ResolverContext -> String # showList :: [ResolverContext] -> ShowS # | |
(LiftOperation o, Monad m) => MonadReader ResolverContext (Resolver o e m) Source # | |
Defined in Data.Morpheus.Types.Internal.Resolving.Resolver 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 Source #
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 Source #
RootResModel | |
|
withArguments :: (LiftOperation o, Monad m) => (Arguments VALID -> Resolver o e m a) -> Resolver o e m a Source #
data SubscriptionField (a :: *) where Source #
SubscriptionField | |
|
getArguments :: (LiftOperation o, Monad m) => Resolver o e m (Arguments VALID) Source #
type ResolverState = ResolverStateT () Identity Source #
liftResolverState :: (LiftOperation o, Monad m) => ResolverState a -> Resolver o e m a Source #