Data.Morpheus.Types.Internal.Resolving

Documentation

data Event e c

Constructors

Event

Fields

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

Instances

GQLChannel (Event channel content)

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

Associated Types

type StreamChannel (Event channel content) :: Type

Methods

streamChannels :: Event channel content -> [Channel (Event channel content)]

type StreamChannel (Event channel content)

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

type StreamChannel (Event channel content) = channel

type family UnSubResolver (a :: * -> *) :: * -> *

Instances

type UnSubResolver (Resolver SUBSCRIPTION e m)

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

type UnSubResolver (Resolver SUBSCRIPTION e m) = Resolver QUERY e m

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

Instances

(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

type UnSubResolver (Resolver SUBSCRIPTION e m)

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

type UnSubResolver (Resolver SUBSCRIPTION e m) = Resolver QUERY e m

class MapStrategy (from :: OperationType) (to :: OperationType) where

Methods

mapStrategy :: Monad m => Resolver from e m (ResModel from e m) -> Resolver to e m (ResModel to e m)

Instances

MapStrategy o o

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

Methods

mapStrategy :: Monad m => Resolver o e m (ResModel o e m) -> Resolver o e m (ResModel o e m)

MapStrategy QUERY SUBSCRIPTION

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

Methods

mapStrategy :: Monad m => Resolver QUERY e m (ResModel QUERY e m) -> Resolver SUBSCRIPTION e m (ResModel SUBSCRIPTION e m)

class LiftOperation (o :: OperationType)

Minimal complete definition

packResolver, withResolver

Instances

LiftOperation SUBSCRIPTION

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

Methods

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

withResolver :: Monad m => ResolverState e m a -> (a -> Resolver SUBSCRIPTION e m b) -> Resolver SUBSCRIPTION e m b

LiftOperation MUTATION

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

Methods

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

withResolver :: Monad m => ResolverState e m a -> (a -> Resolver MUTATION e m b) -> Resolver MUTATION e m b

LiftOperation QUERY

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

Methods

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

withResolver :: Monad m => ResolverState e m a -> (a -> Resolver QUERY e m b) -> Resolver QUERY e m b

runRootResModel :: Monad m => RootResModel e m -> Context -> ResponseStream e m (Value VALID)

toResolver :: forall o e m a b. (LiftOperation o, Monad m) => (Arguments VALID -> Eventless a) -> (a -> Resolver o e m b) -> Resolver o e m b

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

Failure Message (Result e)

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

Methods

failure :: Message -> Result e v

Monad m => Failure GQLErrors (ResultT event m)

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

Methods

failure :: GQLErrors -> ResultT event m v

Applicative m => Failure Message (ResultT event m)

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

Methods

failure :: Message -> ResultT event 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

(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

(Stream s, Ord e, Failure [a] m) => Failure [a] (ParsecT e s m)

Defined in Data.Morpheus.Internal.Utils

Methods

failure :: [a] -> ParsecT e s m v

class GQLChannel a where

Associated Types

type StreamChannel a :: *

Methods

streamChannels :: a -> [Channel a]

Instances

GQLChannel ()

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

Associated Types

type StreamChannel () :: Type

Methods

streamChannels :: () -> [Channel ()]

GQLChannel (Event channel content)

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

Associated Types

type StreamChannel (Event channel content) :: Type

Methods

streamChannels :: Event channel content -> [Channel (Event channel content)]

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

Failure Message (Result e)

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

Methods

failure :: Message -> Result e v

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

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 => Failure Message (ResultT event m)

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

Methods

failure :: Message -> 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]

type LibUpdater lib = lib -> Eventless lib

resolveUpdates :: Monad m => lib -> [lib -> m lib] -> m lib

setTypeName :: Monad m => TypeName -> Resolver o e m a -> Resolver o e m a

data ObjectResModel o e m

Constructors

ObjectResModel

Fields

• __typename :: TypeName
• objectFields :: [FieldResModel o e m]

Instances

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

Merge (ObjectResModel o e m)

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

Methods

merge :: (Monad m0, Failure GQLErrors m0) => [Ref] -> ObjectResModel o e m -> ObjectResModel o e m -> m0 (ObjectResModel o e m)

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

Constructors

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

Instances

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

Merge (ResModel o e m)

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

Methods

merge :: (Monad m0, Failure GQLErrors m0) => [Ref] -> ResModel o e m -> ResModel o e m -> m0 (ResModel o 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

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 m a. (PushEvents (Channel e) (ResolverState (Channel e) m), Monad m) => [StreamChannel e] -> Resolver QUERY e m (e -> Resolver QUERY e m a) -> Resolver SUBSCRIPTION e m a

data Context

A datatype to expose Schema and the query's AST information (Selection, Operation).

Constructors

Context

Fields

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

Instances

Show Context

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

Methods

showsPrec :: Int -> Context -> ShowS

show :: Context -> String

showList :: [Context] -> ShowS

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

A function to return the internal Context within a resolver's monad. Using the Context 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 :: Eventless (ResModel QUERY e m)
• mutation :: Eventless (ResModel MUTATION e m)
• subscription :: Eventless (ResModel SUBSCRIPTION e m)

unsafeBind :: forall o e m a b. Monad m => Resolver o e m a -> (a -> Resolver o e m b) -> Resolver o e m b

liftStateless :: (LiftOperation o, Monad m) => Eventless a -> Resolver o e m a

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

withArguments :: forall o e m a. (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