Data.Morpheus.Client

Documentation

raw :: QuasiQuoter

QuasiQuoter to insert multiple lines of text in Haskell

class (RequestType a, ToJSON (Args a), FromJSON a) => Fetch a where

Associated Types

type Args a :: Type

Methods

fetch :: Monad m => (ByteString -> m ByteString) -> Args a -> m (Either (FetchError a) a)

Instances

(RequestType a, ToJSON (Args a), FromJSON a) => Fetch a

Defined in Data.Morpheus.Client.Fetch

Associated Types

type Args a

Methods

fetch :: Monad m => (ByteString -> m ByteString) -> Args a -> m (Either (FetchError a) a)

data FetchError a

Constructors

FetchErrorParseFailure String

FetchErrorProducedErrors GQLErrors (Maybe a)

FetchErrorNoResult

Instances

Generic (FetchError a)

Defined in Data.Morpheus.Client.Fetch.Types

Associated Types

type Rep (FetchError a) :: Type -> Type

Methods

from :: FetchError a -> Rep (FetchError a) x

to :: Rep (FetchError a) x -> FetchError a

Show a => Show (FetchError a)

Defined in Data.Morpheus.Client.Fetch.Types

Methods

showsPrec :: Int -> FetchError a -> ShowS

show :: FetchError a -> String

showList :: [FetchError a] -> ShowS

Eq a => Eq (FetchError a)

Defined in Data.Morpheus.Client.Fetch.Types

Methods

(==) :: FetchError a -> FetchError a -> Bool

(/=) :: FetchError a -> FetchError a -> Bool

type Rep (FetchError a)

Defined in Data.Morpheus.Client.Fetch.Types

type Rep (FetchError a) = D1 ('MetaData "FetchError" "Data.Morpheus.Client.Fetch.Types" "morpheus-graphql-client-0.27.0-5azuRqPYpKn3QKKXExR1lT" 'False) (C1 ('MetaCons "FetchErrorParseFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "FetchErrorProducedErrors" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GQLErrors) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))) :+: C1 ('MetaCons "FetchErrorNoResult" 'PrefixI 'False) (U1 :: Type -> Type)))

data ScalarValue

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

Constructors

Int Int

Float Double

String Text

Boolean Bool

Value Value

Instances

FromJSON ScalarValue

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

Methods

parseJSON :: Value -> Parser ScalarValue

parseJSONList :: Value -> Parser [ScalarValue]

ToJSON ScalarValue

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

Methods

toJSON :: ScalarValue -> Value

toEncoding :: ScalarValue -> Encoding

toJSONList :: [ScalarValue] -> Value

toEncodingList :: [ScalarValue] -> Encoding

IsString ScalarValue

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

Methods

fromString :: String -> ScalarValue

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

Show ScalarValue

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

Methods

showsPrec :: Int -> ScalarValue -> ShowS

show :: ScalarValue -> String

showList :: [ScalarValue] -> ShowS

Eq ScalarValue

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

Methods

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

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

RenderGQL ScalarValue

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

Methods

renderGQL :: ScalarValue -> Rendering

Lift ScalarValue

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

Methods

lift :: Quote m => ScalarValue -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => ScalarValue -> Code m 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.27.0-6kwLaZNKUDnI7xQD4dSyYD" '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 Double))) :+: (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)) :+: C1 ('MetaCons "Value" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))))

class DecodeScalar a where

GraphQL Scalar parser

Methods

decodeScalar :: ScalarValue -> Either Text a

Instances

DecodeScalar ID

Defined in Data.Morpheus.Types.ID

Methods

decodeScalar :: ScalarValue -> Either Text ID

DecodeScalar Text

Defined in Data.Morpheus.Types.GQLScalar

Methods

decodeScalar :: ScalarValue -> Either Text Text

DecodeScalar Bool

Defined in Data.Morpheus.Types.GQLScalar

Methods

decodeScalar :: ScalarValue -> Either Text Bool

DecodeScalar Double

Defined in Data.Morpheus.Types.GQLScalar

Methods

decodeScalar :: ScalarValue -> Either Text Double

DecodeScalar Float

Defined in Data.Morpheus.Types.GQLScalar

Methods

decodeScalar :: ScalarValue -> Either Text Float

DecodeScalar Int

Defined in Data.Morpheus.Types.GQLScalar

Methods

decodeScalar :: ScalarValue -> Either Text Int

class EncodeScalar a where

GraphQL Scalar Serializer

Methods

encodeScalar :: a -> ScalarValue

Instances

EncodeScalar ID

Defined in Data.Morpheus.Types.ID

Methods

encodeScalar :: ID -> ScalarValue

EncodeScalar Text

Defined in Data.Morpheus.Types.GQLScalar

Methods

encodeScalar :: Text -> ScalarValue

EncodeScalar Bool

Defined in Data.Morpheus.Types.GQLScalar

Methods

encodeScalar :: Bool -> ScalarValue

EncodeScalar Double

Defined in Data.Morpheus.Types.GQLScalar

Methods

encodeScalar :: Double -> ScalarValue

EncodeScalar Float

Defined in Data.Morpheus.Types.GQLScalar

Methods

encodeScalar :: Float -> ScalarValue

EncodeScalar Int

Defined in Data.Morpheus.Types.GQLScalar

Methods

encodeScalar :: Int -> ScalarValue

newtype ID

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

Constructors

ID

Fields

• unpackID :: Text

Instances

FromJSON ID

Defined in Data.Morpheus.Types.ID

Methods

parseJSON :: Value -> Parser ID

parseJSONList :: Value -> Parser [ID]

ToJSON ID

Defined in Data.Morpheus.Types.ID

Methods

toJSON :: ID -> Value

toEncoding :: ID -> Encoding

toJSONList :: [ID] -> Value

toEncodingList :: [ID] -> Encoding

IsString ID

Defined in Data.Morpheus.Types.ID

Methods

fromString :: String -> ID

Semigroup ID

Defined in Data.Morpheus.Types.ID

Methods

(<>) :: ID -> ID -> ID

sconcat :: NonEmpty ID -> ID

stimes :: Integral b => b -> ID -> ID

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

Show ID

Defined in Data.Morpheus.Types.ID

Methods

showsPrec :: Int -> ID -> ShowS

show :: ID -> String

showList :: [ID] -> ShowS

Eq ID

Defined in Data.Morpheus.Types.ID

Methods

(==) :: ID -> ID -> Bool

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

Hashable ID

Defined in Data.Morpheus.Types.ID

Methods

hashWithSalt :: Int -> ID -> Int

hash :: ID -> Int

DecodeScalar ID

Defined in Data.Morpheus.Types.ID

Methods

decodeScalar :: ScalarValue -> Either Text ID

EncodeScalar ID

Defined in Data.Morpheus.Types.ID

Methods

encodeScalar :: ID -> ScalarValue

type Rep ID

Defined in Data.Morpheus.Types.ID

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

declareGlobalTypes

Arguments

:: FilePath

the schema path relative to the project location, both introspection (.json) and schema definition (.gql, .graphql) are accepted.

-> Q [Dec]

declares input, enum and scalar types for specified schema

Example where the schema is defined in SDL format

declareGlobalTypes "schema.gql"

Example with schema as introspection in JSON format.

declareGlobalTypes "schema.json"

declareGlobalTypesByName :: FilePath -> [TypeName] -> Q [Dec]

declares global types like declareGlobalTypes, while enabling to select only the types that are needed.

declareLocalTypes

Arguments

:: FilePath

the schema path relative to the project location. both introspection (`.json`) and schema definition (`.gql`, `.graphql`) are accepted.

-> FilePath

query path relative to the project location

-> Q [Dec]

declares object, interface and union types for specified schema and query.

Example where the schema is defined in SDL format

declareLocalTypes "schema.gql" "query.gql"

Example with schema as introspection in JSON format.

declareLocalTypes "schema.json" "query.gql"

declareLocalTypesInline

Arguments

:: FilePath

the schema path relative to the project location. both introspection (`.json`) and schema definition (`.gql`, `.graphql`) are accepted.

-> ExecutableSource

inline graphql query in Text format

-> Q [Dec]

inline version of declareLocalTypes, however instead of specifying the file path, you can simply pass the query as text using QuasiQuoter raw

declareLocalTypesInline "schema.gql"
    [raw|
       query GetUsers {
          users {
            name
          }
       }
    ]
 

clientTypeDeclarations :: SchemaSource -> Maybe ExecutableSource -> Q [Dec]

declares global or local types, depending on whether the second argument is specified or not

data GQLClient

Instances

IsString GQLClient

Defined in Data.Morpheus.Client.Fetch.GQLClient

Methods

fromString :: String -> GQLClient

type GQLClientResult (a :: Type) = Either (FetchError a) a

data ResponseStream a

withHeaders :: GQLClient -> [Header] -> GQLClient

request :: (ClientTypeConstraint a, MonadFail m) => GQLClient -> Args a -> m (ResponseStream a)

forEach :: (MonadIO m, MonadUnliftIO m, MonadFail m) => (GQLClientResult a -> m ()) -> ResponseStream a -> m ()

returns loop listening subscription events forever. if you want to run it in background use forkIO

single :: MonadIO m => ResponseStream a -> m (GQLClientResult a)

returns first response from the server

parseClientTypeDeclarations :: SchemaSource -> Maybe Text -> GQLResult ([ClientDeclaration], Flags)

readSchemaSource :: FilePath -> IO SchemaSource

data SchemaSource

Instances

Show SchemaSource

Defined in Data.Morpheus.Client.Fetch.Types

Methods

showsPrec :: Int -> SchemaSource -> ShowS

show :: SchemaSource -> String

showList :: [SchemaSource] -> ShowS

Eq SchemaSource

Defined in Data.Morpheus.Client.Fetch.Types

Methods

(==) :: SchemaSource -> SchemaSource -> Bool

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

class RequestType a where

Associated Types

type RequestArgs a :: Type

Methods

__name :: f a -> FieldName

__query :: f a -> String

__type :: f a -> OperationType