Data.Morpheus.Types

GQL Types

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

class IsObject (KIND a) => GQLType a where

Minimal complete definition

Nothing

Associated Types

type KIND a :: GQL_KIND

Methods

implements :: Proxy a -> [(TypeName, TypeUpdater)]

description :: Proxy a -> Maybe Text

Instances

GQLType Bool

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND Bool :: GQL_KIND

type CUSTOM Bool :: Bool

Methods

implements :: Proxy Bool -> [(TypeName, TypeUpdater)]

description :: Proxy Bool -> Maybe Text

isObjectKind :: Proxy Bool -> Bool

__typeName :: Proxy Bool -> TypeName

__typeFingerprint :: Proxy Bool -> DataFingerprint

GQLType Float

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND Float :: GQL_KIND

type CUSTOM Float :: Bool

Methods

implements :: Proxy Float -> [(TypeName, TypeUpdater)]

description :: Proxy Float -> Maybe Text

isObjectKind :: Proxy Float -> Bool

__typeName :: Proxy Float -> TypeName

__typeFingerprint :: Proxy Float -> DataFingerprint

GQLType Int

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND Int :: GQL_KIND

type CUSTOM Int :: Bool

Methods

implements :: Proxy Int -> [(TypeName, TypeUpdater)]

description :: Proxy Int -> Maybe Text

isObjectKind :: Proxy Int -> Bool

__typeName :: Proxy Int -> TypeName

__typeFingerprint :: Proxy Int -> DataFingerprint

GQLType ()

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND () :: GQL_KIND

type CUSTOM () :: Bool

Methods

implements :: Proxy () -> [(TypeName, TypeUpdater)]

description :: Proxy () -> Maybe Text

isObjectKind :: Proxy () -> Bool

__typeName :: Proxy () -> TypeName

__typeFingerprint :: Proxy () -> DataFingerprint

GQLType Text

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND Text :: GQL_KIND

type CUSTOM Text :: Bool

Methods

implements :: Proxy Text -> [(TypeName, TypeUpdater)]

description :: Proxy Text -> Maybe Text

isObjectKind :: Proxy Text -> Bool

__typeName :: Proxy Text -> TypeName

__typeFingerprint :: Proxy Text -> DataFingerprint

GQLType ID

Defined in Data.Morpheus.Server.Types.ID

Associated Types

type KIND ID :: GQL_KIND

type CUSTOM ID :: Bool

Methods

implements :: Proxy ID -> [(TypeName, TypeUpdater)]

description :: Proxy ID -> Maybe Text

isObjectKind :: Proxy ID -> Bool

__typeName :: Proxy ID -> TypeName

__typeFingerprint :: Proxy ID -> DataFingerprint

GQLType a => GQLType [a]

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND [a] :: GQL_KIND

type CUSTOM [a] :: Bool

Methods

implements :: Proxy [a] -> [(TypeName, TypeUpdater)]

description :: Proxy [a] -> Maybe Text

isObjectKind :: Proxy [a] -> Bool

__typeName :: Proxy [a] -> TypeName

__typeFingerprint :: Proxy [a] -> DataFingerprint

GQLType a => GQLType (Maybe a)

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND (Maybe a) :: GQL_KIND

type CUSTOM (Maybe a) :: Bool

Methods

implements :: Proxy (Maybe a) -> [(TypeName, TypeUpdater)]

description :: Proxy (Maybe a) -> Maybe Text

isObjectKind :: Proxy (Maybe a) -> Bool

__typeName :: Proxy (Maybe a) -> TypeName

__typeFingerprint :: Proxy (Maybe a) -> DataFingerprint

GQLType a => GQLType (Set a)

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND (Set a) :: GQL_KIND

type CUSTOM (Set a) :: Bool

Methods

implements :: Proxy (Set a) -> [(TypeName, TypeUpdater)]

description :: Proxy (Set a) -> Maybe Text

isObjectKind :: Proxy (Set a) -> Bool

__typeName :: Proxy (Set a) -> TypeName

__typeFingerprint :: Proxy (Set a) -> DataFingerprint

Typeable m => GQLType (Undefined m)

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND (Undefined m) :: GQL_KIND

type CUSTOM (Undefined m) :: Bool

Methods

implements :: Proxy (Undefined m) -> [(TypeName, TypeUpdater)]

description :: Proxy (Undefined m) -> Maybe Text

isObjectKind :: Proxy (Undefined m) -> Bool

__typeName :: Proxy (Undefined m) -> TypeName

__typeFingerprint :: Proxy (Undefined m) -> DataFingerprint

GQLType b => GQLType (a -> b)

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND (a -> b) :: GQL_KIND

type CUSTOM (a -> b) :: Bool

Methods

implements :: Proxy (a -> b) -> [(TypeName, TypeUpdater)]

description :: Proxy (a -> b) -> Maybe Text

isObjectKind :: Proxy (a -> b) -> Bool

__typeName :: Proxy (a -> b) -> TypeName

__typeFingerprint :: Proxy (a -> b) -> DataFingerprint

GQLType a => GQLType (Either s a)

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND (Either s a) :: GQL_KIND

type CUSTOM (Either s a) :: Bool

Methods

implements :: Proxy (Either s a) -> [(TypeName, TypeUpdater)]

description :: Proxy (Either s a) -> Maybe Text

isObjectKind :: Proxy (Either s a) -> Bool

__typeName :: Proxy (Either s a) -> TypeName

__typeFingerprint :: Proxy (Either s a) -> DataFingerprint

(Typeable a, Typeable b, GQLType a, GQLType b) => GQLType (a, b)

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND (a, b) :: GQL_KIND

type CUSTOM (a, b) :: Bool

Methods

implements :: Proxy (a, b) -> [(TypeName, TypeUpdater)]

description :: Proxy (a, b) -> Maybe Text

isObjectKind :: Proxy (a, b) -> Bool

__typeName :: Proxy (a, b) -> TypeName

__typeFingerprint :: Proxy (a, b) -> DataFingerprint

(Typeable k, Typeable v) => GQLType (Map k v)

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND (Map k v) :: GQL_KIND

type CUSTOM (Map k v) :: Bool

Methods

implements :: Proxy (Map k v) -> [(TypeName, TypeUpdater)]

description :: Proxy (Map k v) -> Maybe Text

isObjectKind :: Proxy (Map k v) -> Bool

__typeName :: Proxy (Map k v) -> TypeName

__typeFingerprint :: Proxy (Map k v) -> DataFingerprint

GQLType a => GQLType (Resolver o e m a)

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND (Resolver o e m a) :: GQL_KIND

type CUSTOM (Resolver o e m a) :: Bool

Methods

implements :: Proxy (Resolver o e m a) -> [(TypeName, TypeUpdater)]

description :: Proxy (Resolver o e m a) -> Maybe Text

isObjectKind :: Proxy (Resolver o e m a) -> Bool

__typeName :: Proxy (Resolver o e m a) -> TypeName

__typeFingerprint :: Proxy (Resolver o e m a) -> DataFingerprint

class GQLScalar a where

GraphQL Scalar

parseValue and serialize should be provided for every instances manually

Methods

parseValue :: ScalarValue -> Either Text a

value parsing and validating

for exhaustive pattern matching should be handled all scalar types : ScalarValue, ScalarValue, ScalarValue, Boolean

invalid values can be reported with Left constructor :

  parseValue String _ = Left "" -- without error message
  -- or
  parseValue String _ = Left "Error Message"

serialize :: a -> ScalarValue

serialization of haskell type into scalar value

Instances

GQLScalar Bool

Defined in Data.Morpheus.Server.Types.GQLScalar

Methods

parseValue :: ScalarValue -> Either Text Bool

serialize :: Bool -> ScalarValue

scalarValidator :: Proxy Bool -> ScalarDefinition

GQLScalar Float

Defined in Data.Morpheus.Server.Types.GQLScalar

Methods

parseValue :: ScalarValue -> Either Text Float

serialize :: Float -> ScalarValue

scalarValidator :: Proxy Float -> ScalarDefinition

GQLScalar Int

Defined in Data.Morpheus.Server.Types.GQLScalar

Methods

parseValue :: ScalarValue -> Either Text Int

serialize :: Int -> ScalarValue

scalarValidator :: Proxy Int -> ScalarDefinition

GQLScalar Text

Defined in Data.Morpheus.Server.Types.GQLScalar

Methods

parseValue :: ScalarValue -> Either Text Text

serialize :: Text -> ScalarValue

scalarValidator :: Proxy Text -> ScalarDefinition

GQLScalar ID

Defined in Data.Morpheus.Server.Types.ID

Methods

parseValue :: ScalarValue -> Either Text ID

serialize :: ID -> ScalarValue

scalarValidator :: Proxy ID -> ScalarDefinition

data GQLRequest

GraphQL HTTP Request Body

Constructors

GQLRequest

Fields

• query :: Token
• operationName :: Maybe FieldName
• variables :: Maybe Value

Instances

Show GQLRequest

Defined in Data.Morpheus.Types.IO

Methods

showsPrec :: Int -> GQLRequest -> ShowS

show :: GQLRequest -> String

showList :: [GQLRequest] -> ShowS

Generic GQLRequest

Defined in Data.Morpheus.Types.IO

Associated Types

type Rep GQLRequest :: Type -> Type

Methods

from :: GQLRequest -> Rep GQLRequest x

to :: Rep GQLRequest x -> GQLRequest

ToJSON GQLRequest

Defined in Data.Morpheus.Types.IO

Methods

toJSON :: GQLRequest -> Value

toEncoding :: GQLRequest -> Encoding

toJSONList :: [GQLRequest] -> Value

toEncodingList :: [GQLRequest] -> Encoding

FromJSON GQLRequest

Defined in Data.Morpheus.Types.IO

Methods

parseJSON :: Value -> Parser GQLRequest

parseJSONList :: Value -> Parser [GQLRequest]

Interpreter e m GQLRequest (m GQLResponse)

Defined in Data.Morpheus.Server.Deriving.Interpreter

Methods

interpreter :: (Monad m, RootResCon m e query mut sub) => GQLRootResolver m e query mut sub -> GQLRequest -> m GQLResponse

type Rep GQLRequest

Defined in Data.Morpheus.Types.IO

type Rep GQLRequest = D1 (MetaData "GQLRequest" "Data.Morpheus.Types.IO" "morpheus-graphql-core-0.12.0-EoaVoZlZiMJ44y6UBTUaId" False) (C1 (MetaCons "GQLRequest" PrefixI True) (S1 (MetaSel (Just "query") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Token) :*: (S1 (MetaSel (Just "operationName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe FieldName)) :*: S1 (MetaSel (Just "variables") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Value)))))

data GQLResponse

GraphQL Response

Constructors

Data ValidValue

Errors [GQLError]

Instances

Show GQLResponse

Defined in Data.Morpheus.Types.IO

Methods

showsPrec :: Int -> GQLResponse -> ShowS

show :: GQLResponse -> String

showList :: [GQLResponse] -> ShowS

Generic GQLResponse

Defined in Data.Morpheus.Types.IO

Associated Types

type Rep GQLResponse :: Type -> Type

Methods

from :: GQLResponse -> Rep GQLResponse x

to :: Rep GQLResponse x -> GQLResponse

ToJSON GQLResponse

Defined in Data.Morpheus.Types.IO

Methods

toJSON :: GQLResponse -> Value

toEncoding :: GQLResponse -> Encoding

toJSONList :: [GQLResponse] -> Value

toEncodingList :: [GQLResponse] -> Encoding

FromJSON GQLResponse

Defined in Data.Morpheus.Types.IO

Methods

parseJSON :: Value -> Parser GQLResponse

parseJSONList :: Value -> Parser [GQLResponse]

Interpreter e m GQLRequest (m GQLResponse)

Defined in Data.Morpheus.Server.Deriving.Interpreter

Methods

interpreter :: (Monad m, RootResCon m e query mut sub) => GQLRootResolver m e query mut sub -> GQLRequest -> m GQLResponse

type Rep GQLResponse

Defined in Data.Morpheus.Types.IO

type Rep GQLResponse = D1 (MetaData "GQLResponse" "Data.Morpheus.Types.IO" "morpheus-graphql-core-0.12.0-EoaVoZlZiMJ44y6UBTUaId" False) (C1 (MetaCons "Data" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ValidValue)) :+: C1 (MetaCons "Errors" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [GQLError])))

newtype ID

default GraphQL type, parses only ScalarValue and ScalarValue values, serialized always as ScalarValue

Constructors

ID

Fields

• unpackID :: Text

Instances

Show ID

Defined in Data.Morpheus.Server.Types.ID

Methods

showsPrec :: Int -> ID -> ShowS

show :: ID -> String

showList :: [ID] -> ShowS

Generic ID

Defined in Data.Morpheus.Server.Types.ID

Associated Types

type Rep ID :: Type -> Type

Methods

from :: ID -> Rep ID x

to :: Rep ID x -> ID

ToJSON ID

Defined in Data.Morpheus.Server.Types.ID

Methods

toJSON :: ID -> Value

toEncoding :: ID -> Encoding

toJSONList :: [ID] -> Value

toEncodingList :: [ID] -> Encoding

FromJSON ID

Defined in Data.Morpheus.Server.Types.ID

Methods

parseJSON :: Value -> Parser ID

parseJSONList :: Value -> Parser [ID]

GQLScalar ID

Defined in Data.Morpheus.Server.Types.ID

Methods

parseValue :: ScalarValue -> Either Text ID

serialize :: ID -> ScalarValue

scalarValidator :: Proxy ID -> ScalarDefinition

GQLType ID

Defined in Data.Morpheus.Server.Types.ID

Associated Types

type KIND ID :: GQL_KIND

type CUSTOM ID :: Bool

Methods

implements :: Proxy ID -> [(TypeName, TypeUpdater)]

description :: Proxy ID -> Maybe Text

isObjectKind :: Proxy ID -> Bool

__typeName :: Proxy ID -> TypeName

__typeFingerprint :: Proxy ID -> DataFingerprint

type Rep ID

Defined in Data.Morpheus.Server.Types.ID

type Rep ID = D1 (MetaData "ID" "Data.Morpheus.Server.Types.ID" "morpheus-graphql-0.12.0-GyIvgB1dfhEKPHUCtpqLEM" True) (C1 (MetaCons "ID" PrefixI True) (S1 (MetaSel (Just "unpackID") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

type KIND ID

Defined in Data.Morpheus.Server.Types.ID

type KIND ID = SCALAR

data ScalarValue

Primitive Values for GQLScalar: ScalarValue, ScalarValue, ScalarValue, Boolean. for performance reason type Text represents GraphQl ScalarValue value

Constructors

Int Int

Float Float

String Text

Boolean Bool

Instances

Eq ScalarValue

Defined in Data.Morpheus.Types.Internal.AST.Value

Methods

(==) :: ScalarValue -> ScalarValue -> Bool

(/=) :: ScalarValue -> ScalarValue -> Bool

Show ScalarValue

Defined in Data.Morpheus.Types.Internal.AST.Value

Methods

showsPrec :: Int -> ScalarValue -> ShowS

show :: ScalarValue -> String

showList :: [ScalarValue] -> ShowS

Generic ScalarValue

Defined in Data.Morpheus.Types.Internal.AST.Value

Associated Types

type Rep ScalarValue :: Type -> Type

Methods

from :: ScalarValue -> Rep ScalarValue x

to :: Rep ScalarValue x -> ScalarValue

Lift ScalarValue

Defined in Data.Morpheus.Types.Internal.AST.Value

Methods

lift :: ScalarValue -> Q Exp

ToJSON ScalarValue

Defined in Data.Morpheus.Types.Internal.AST.Value

Methods

toJSON :: ScalarValue -> Value

toEncoding :: ScalarValue -> Encoding

toJSONList :: [ScalarValue] -> Value

toEncodingList :: [ScalarValue] -> Encoding

FromJSON ScalarValue

Defined in Data.Morpheus.Types.Internal.AST.Value

Methods

parseJSON :: Value -> Parser ScalarValue

parseJSONList :: Value -> Parser [ScalarValue]

type Rep ScalarValue

Defined in Data.Morpheus.Types.Internal.AST.Value

type Rep ScalarValue = D1 (MetaData "ScalarValue" "Data.Morpheus.Types.Internal.AST.Value" "morpheus-graphql-core-0.12.0-EoaVoZlZiMJ44y6UBTUaId" False) ((C1 (MetaCons "Int" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "Float" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Float))) :+: (C1 (MetaCons "String" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "Boolean" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))

data GQLRootResolver (m :: * -> *) event (query :: (* -> *) -> *) (mut :: (* -> *) -> *) (sub :: (* -> *) -> *)

GraphQL Root resolver, also the interpreter generates a GQL schema from it. queryResolver is required, mutationResolver and subscriptionResolver are optional, if your schema does not supports mutation or subscription , you can use () for it.

Constructors

GQLRootResolver

Fields

• queryResolver :: query (Resolver QUERY event m)
• mutationResolver :: mut (Resolver MUTATION event m)
• subscriptionResolver :: sub (Resolver SUBSCRIPTION event m)

constRes :: (WithOperation o, Monad m) => b -> a -> Resolver o e m b

constMutRes :: Monad m => [e] -> a -> args -> ResolverM e m a

data Undefined (m :: * -> *)

Constructors

Undefined

Instances

Show (Undefined m)

Defined in Data.Morpheus.Server.Types.Types

Methods

showsPrec :: Int -> Undefined m -> ShowS

show :: Undefined m -> String

showList :: [Undefined m] -> ShowS

Generic (Undefined m)

Defined in Data.Morpheus.Server.Types.Types

Associated Types

type Rep (Undefined m) :: Type -> Type

Methods

from :: Undefined m -> Rep (Undefined m) x

to :: Rep (Undefined m) x -> Undefined m

Typeable m => GQLType (Undefined m)

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND (Undefined m) :: GQL_KIND

type CUSTOM (Undefined m) :: Bool

Methods

implements :: Proxy (Undefined m) -> [(TypeName, TypeUpdater)]

description :: Proxy (Undefined m) -> Maybe Text

isObjectKind :: Proxy (Undefined m) -> Bool

__typeName :: Proxy (Undefined m) -> TypeName

__typeFingerprint :: Proxy (Undefined m) -> DataFingerprint

type Rep (Undefined m)

Defined in Data.Morpheus.Server.Types.Types

type Rep (Undefined m) = D1 (MetaData "Undefined" "Data.Morpheus.Server.Types.Types" "morpheus-graphql-0.12.0-GyIvgB1dfhEKPHUCtpqLEM" False) (C1 (MetaCons "Undefined" PrefixI False) (U1 :: Type -> Type))

type KIND (Undefined m)

Defined in Data.Morpheus.Server.Types.GQLType

type KIND (Undefined m) = WRAPPER

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

Instances

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, Monad m) => Failure Message (Resolver o e m)

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

Methods

failure :: Message -> Resolver o e 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 => 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

GQLType a => GQLType (Resolver o e m a)

Defined in Data.Morpheus.Server.Types.GQLType

Associated Types

type KIND (Resolver o e m a) :: GQL_KIND

type CUSTOM (Resolver o e m a) :: Bool

Methods

implements :: Proxy (Resolver o e m a) -> [(TypeName, TypeUpdater)]

description :: Proxy (Resolver o e m a) -> Maybe Text

isObjectKind :: Proxy (Resolver o e m a) -> Bool

__typeName :: Proxy (Resolver o e m a) -> TypeName

__typeFingerprint :: Proxy (Resolver o e m a) -> DataFingerprint

type UnSubResolver (Resolver SUBSCRIPTION e m)

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

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

type KIND (Resolver o e m a)

Defined in Data.Morpheus.Server.Types.GQLType

type KIND (Resolver o e m a) = WRAPPER

type QUERY = Query

type MUTATION = Mutation

type SUBSCRIPTION = Subscription

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

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

liftEither :: (MonadTrans t, Monad (t m), Failure Message (t m)) => Monad m => m (Either String a) -> t m a

failRes :: (Monad m, WithOperation o) => String -> Resolver o e m a

Deprecated: use "fail" from MonadFail

type WithOperation (o :: OperationType) = LiftOperation o

publish :: Monad m => [e] -> Resolver MUTATION e m ()

subscribe :: (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

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

type SubField m a = m (a (UnSubResolver m))

type ComposedSubField m f a = m (f (a (UnSubResolver m)))

data Input (api :: API)

Instances

Interpreter e m (Input api) (Stream api e m)

Defined in Data.Morpheus.Server.Deriving.Interpreter

Methods

interpreter :: (Monad m, RootResCon m e query mut sub) => GQLRootResolver m e query mut sub -> Input api -> Stream api e m

data Stream (api :: API) e (m :: * -> *)

Instances

Interpreter e m (Input api) (Stream api e m)

Defined in Data.Morpheus.Server.Deriving.Interpreter

Methods

interpreter :: (Monad m, RootResCon m e query mut sub) => GQLRootResolver m e query mut sub -> Input api -> Stream api e m

type WS = WS

type HTTP = HTTP

type ResolverO o e m a = WithOperation o => Flexible (Resolver o e m) a

type ComposedResolver o e m f a = WithOperation o => Composed (Resolver o e m) f a

type ResolverQ e m a = Flexible (Resolver QUERY e m) a

type ResolverM e m a = Flexible (Resolver MUTATION e m) a

type ResolverS e m a = Resolver SUBSCRIPTION e m (a (Resolver QUERY e m))

type ResolveQ e m a = ResolverQ e m a

Deprecated: use ResolverQ

type ResolveM e m a = ResolverM e m a

Deprecated: use ResolverM

type ResolveS e m a = ResolverS e m a

Deprecated: use ResolverS

type Res = Resolver QUERY

Deprecated: use ResolverQ

type MutRes = Resolver MUTATION

Deprecated: use ResolverM

type SubRes = Resolver SUBSCRIPTION

Deprecated: use ResolverS

type IORes e = Res e IO

Deprecated: use ResolverQ

type IOMutRes e = MutRes e IO

Deprecated: use ResolverM

type IOSubRes e = SubRes e IO

Deprecated: use ResolverS

interface :: (GQLType a, Introspect a) => Proxy a -> (TypeName, TypeUpdater)