Data.Morpheus.Types

GQL Types

Documentation

data Event e c

Constructors

Event

Fields

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

class IsObject (KIND a) => GQLType a where

Minimal complete definition

Nothing

Associated Types

type KIND a :: GQL_KIND

Methods

description :: Proxy a -> Maybe Text

Instances

GQLType Bool

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND Bool :: GQL_KIND

type CUSTOM Bool :: Bool

Methods

description :: Proxy Bool -> Maybe Text

isObjectKind :: Proxy Bool -> Bool

__typeName :: Proxy Bool -> Text

__typeFingerprint :: Proxy Bool -> DataFingerprint

GQLType Float

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND Float :: GQL_KIND

type CUSTOM Float :: Bool

Methods

description :: Proxy Float -> Maybe Text

isObjectKind :: Proxy Float -> Bool

__typeName :: Proxy Float -> Text

__typeFingerprint :: Proxy Float -> DataFingerprint

GQLType Int

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND Int :: GQL_KIND

type CUSTOM Int :: Bool

Methods

description :: Proxy Int -> Maybe Text

isObjectKind :: Proxy Int -> Bool

__typeName :: Proxy Int -> Text

__typeFingerprint :: Proxy Int -> DataFingerprint

GQLType ()

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND () :: GQL_KIND

type CUSTOM () :: Bool

Methods

description :: Proxy () -> Maybe Text

isObjectKind :: Proxy () -> Bool

__typeName :: Proxy () -> Text

__typeFingerprint :: Proxy () -> DataFingerprint

GQLType Text

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND Text :: GQL_KIND

type CUSTOM Text :: Bool

Methods

description :: Proxy Text -> Maybe Text

isObjectKind :: Proxy Text -> Bool

__typeName :: Proxy Text -> Text

__typeFingerprint :: Proxy Text -> DataFingerprint

GQLType ID

Defined in Data.Morpheus.Types.ID

Associated Types

type KIND ID :: GQL_KIND

type CUSTOM ID :: Bool

Methods

description :: Proxy ID -> Maybe Text

isObjectKind :: Proxy ID -> Bool

__typeName :: Proxy ID -> Text

__typeFingerprint :: Proxy ID -> DataFingerprint

GQLType a => GQLType [a]

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND [a] :: GQL_KIND

type CUSTOM [a] :: Bool

Methods

description :: Proxy [a] -> Maybe Text

isObjectKind :: Proxy [a] -> Bool

__typeName :: Proxy [a] -> Text

__typeFingerprint :: Proxy [a] -> DataFingerprint

GQLType a => GQLType (Maybe a)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (Maybe a) :: GQL_KIND

type CUSTOM (Maybe a) :: Bool

Methods

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

isObjectKind :: Proxy (Maybe a) -> Bool

__typeName :: Proxy (Maybe a) -> Text

__typeFingerprint :: Proxy (Maybe a) -> DataFingerprint

GQLType a => GQLType (Set a)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (Set a) :: GQL_KIND

type CUSTOM (Set a) :: Bool

Methods

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

isObjectKind :: Proxy (Set a) -> Bool

__typeName :: Proxy (Set a) -> Text

__typeFingerprint :: Proxy (Set a) -> DataFingerprint

Typeable m => GQLType (Undefined m)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (Undefined m) :: GQL_KIND

type CUSTOM (Undefined m) :: Bool

Methods

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

isObjectKind :: Proxy (Undefined m) -> Bool

__typeName :: Proxy (Undefined m) -> Text

__typeFingerprint :: Proxy (Undefined m) -> DataFingerprint

GQLType b => GQLType (a -> b)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (a -> b) :: GQL_KIND

type CUSTOM (a -> b) :: Bool

Methods

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

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

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

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

GQLType a => GQLType (Either s a)

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (Either s a) :: GQL_KIND

type CUSTOM (Either s a) :: Bool

Methods

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

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

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

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

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

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (a, b) :: GQL_KIND

type CUSTOM (a, b) :: Bool

Methods

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

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

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

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

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

Defined in Data.Morpheus.Types.GQLType

Associated Types

type KIND (Map k v) :: GQL_KIND

type CUSTOM (Map k v) :: Bool

Methods

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

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

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

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

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

Defined in Data.Morpheus.Types.GQLType

Associated Types

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

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

Methods

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

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

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

__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.Types.GQLScalar

Methods

parseValue :: ScalarValue -> Either Text Bool

serialize :: Bool -> ScalarValue

scalarValidator :: Proxy Bool -> DataValidator

GQLScalar Float

Defined in Data.Morpheus.Types.GQLScalar

Methods

parseValue :: ScalarValue -> Either Text Float

serialize :: Float -> ScalarValue

scalarValidator :: Proxy Float -> DataValidator

GQLScalar Int

Defined in Data.Morpheus.Types.GQLScalar

Methods

parseValue :: ScalarValue -> Either Text Int

serialize :: Int -> ScalarValue

scalarValidator :: Proxy Int -> DataValidator

GQLScalar Text

Defined in Data.Morpheus.Types.GQLScalar

Methods

parseValue :: ScalarValue -> Either Text Text

serialize :: Text -> ScalarValue

scalarValidator :: Proxy Text -> DataValidator

GQLScalar ID

Defined in Data.Morpheus.Types.ID

Methods

parseValue :: ScalarValue -> Either Text ID

serialize :: ID -> ScalarValue

scalarValidator :: Proxy ID -> DataValidator

data GQLRequest

GraphQL HTTP Request Body

Constructors

GQLRequest

Fields

• query :: Key
• operationName :: Maybe Key
• 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 (GQLRequest -> m GQLResponse) m e

Defined in Data.Morpheus.Execution.Server.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-0.8.0-GqQbC5VkuucF3CVtmsv1IY" False) (C1 (MetaCons "GQLRequest" PrefixI True) (S1 (MetaSel (Just "query") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Key) :*: (S1 (MetaSel (Just "operationName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Key)) :*: 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 (GQLRequest -> m GQLResponse) m e

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

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.Types.ID

Methods

showsPrec :: Int -> ID -> ShowS

show :: ID -> String

showList :: [ID] -> ShowS

Generic ID

Defined in Data.Morpheus.Types.ID

Associated Types

type Rep ID :: Type -> Type

Methods

from :: ID -> Rep ID x

to :: Rep ID x -> ID

GQLScalar ID

Defined in Data.Morpheus.Types.ID

Methods

parseValue :: ScalarValue -> Either Text ID

serialize :: ID -> ScalarValue

scalarValidator :: Proxy ID -> DataValidator

GQLType ID

Defined in Data.Morpheus.Types.ID

Associated Types

type KIND ID :: GQL_KIND

type CUSTOM ID :: Bool

Methods

description :: Proxy ID -> Maybe Text

isObjectKind :: Proxy ID -> Bool

__typeName :: Proxy ID -> Text

__typeFingerprint :: Proxy ID -> DataFingerprint

type Rep ID

Defined in Data.Morpheus.Types.ID

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

type KIND ID

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

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-0.8.0-GqQbC5VkuucF3CVtmsv1IY" 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 acn 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 :: (LiftEither o Resolver, Monad m) => b -> a -> Resolver o e m b

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

data Undefined (m :: * -> *)

Constructors

Undefined

Instances

Show (Undefined m)

Defined in Data.Morpheus.Types.Types

Methods

showsPrec :: Int -> Undefined m -> ShowS

show :: Undefined m -> String

showList :: [Undefined m] -> ShowS

Generic (Undefined m)

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

Associated Types

type KIND (Undefined m) :: GQL_KIND

type CUSTOM (Undefined m) :: Bool

Methods

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

isObjectKind :: Proxy (Undefined m) -> Bool

__typeName :: Proxy (Undefined m) -> Text

__typeFingerprint :: Proxy (Undefined m) -> DataFingerprint

type Rep (Undefined m)

Defined in Data.Morpheus.Types.Types

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

type KIND (Undefined m)

Defined in Data.Morpheus.Types.GQLType

type KIND (Undefined m) = WRAPPER

type Res = Resolver QUERY

type MutRes = Resolver MUTATION

type SubRes = Resolver SUBSCRIPTION

type IORes e = Res e IO

type IOMutRes e = MutRes e IO

type IOSubRes e = SubRes e IO

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

Constructors

QueryResolver

Fields

• :: { unQueryResolver :: ResultT () String True m value
•    } -> Resolver QUERY event m value

MutResolver

Fields

• :: { unMutResolver :: ResultT event String True m ([event], value)
•    } -> Resolver MUTATION event m value

SubResolver

Fields

• :: { subChannels :: [StreamChannel event]
•    , subResolver :: event -> Resolver QUERY event m value
•    } -> Resolver SUBSCRIPTION event m value

Instances

MonadTrans (Resolver MUTATION e)

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

Methods

lift :: Monad m => m a -> Resolver MUTATION e m a

MonadTrans (Resolver QUERY e)

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

Methods

lift :: Monad m => m a -> Resolver QUERY e m a

Monad m => Monad (Resolver MUTATION e m)

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

Methods

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

(>>) :: Resolver MUTATION e m a -> Resolver MUTATION e m b -> Resolver MUTATION e m b

return :: a -> Resolver MUTATION e m a

fail :: String -> Resolver MUTATION e m a

Monad m => Monad (Resolver QUERY e m)

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

Methods

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

(>>) :: Resolver QUERY e m a -> Resolver QUERY e m b -> Resolver QUERY e m b

return :: a -> Resolver QUERY e m a

fail :: String -> Resolver QUERY 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

(LiftEither o Resolver, 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

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

Defined in Data.Morpheus.Types.GQLType

Associated Types

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

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

Methods

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

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

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

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

type KIND (Resolver o e m a)

Defined in Data.Morpheus.Types.GQLType

type KIND (Resolver o e m a) = WRAPPER

type QUERY = Query

type MUTATION = Mutation

type SUBSCRIPTION = Subscription

liftEither :: (LiftEither o res, Monad m) => m (Either (ResError res) a) -> res o event m a

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

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

type ResolveQ e m a = Res e m (a (Res e m))

type ResolveM e m a = MutRes e m (a (MutRes e m))

type ResolveS e m a = SubRes e m (a (Res e m))

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