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) => 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, 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 => 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 Failure = MonadError

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

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

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

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

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

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

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

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

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

• 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]

resultOr :: (NonEmpty err -> a') -> (a -> a') -> Result err 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

mkList :: [ResolverValue m] -> ResolverValue m

mkNull :: ResolverValue m

mkString :: Text -> ResolverValue m

mkValue :: Monad m => Value -> 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 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

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

sortErrors :: Result GQLError a -> Result GQLError a

class EventHandler e where

Associated Types

type Channel e

Methods

getChannels :: e -> [Channel e]

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)

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

IsString (ResolverValue m)

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

Methods

fromString :: String -> ResolverValue m

data NamedResolver (m :: Type -> Type)

Constructors

NamedResolver

Fields

• resolverName :: TypeName
• resolver :: ValidValue -> m (NamedResolverResult 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

data NamedResolverRef

Constructors

NamedResolverRef

Fields

• resolverTypeName :: TypeName
• resolverArgument :: ValidValue

Instances

Show NamedResolverRef

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

Methods

showsPrec :: Int -> NamedResolverRef -> ShowS

show :: NamedResolverRef -> String

showList :: [NamedResolverRef] -> ShowS