morpheus-graphql-0.9.0: Morpheus GraphQL

Safe HaskellNone
LanguageHaskell2010

Data.Morpheus.Types.Internal.AST

Synopsis

Documentation

type Key = Text Source #

type Collection a = [(Key, a)] Source #

data Ref Source #

Constructors

Ref 
Instances
Eq Ref Source # 
Instance details

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

Methods

(==) :: Ref -> Ref -> Bool #

(/=) :: Ref -> Ref -> Bool #

Ord Ref Source # 
Instance details

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

Methods

compare :: Ref -> Ref -> Ordering #

(<) :: Ref -> Ref -> Bool #

(<=) :: Ref -> Ref -> Bool #

(>) :: Ref -> Ref -> Bool #

(>=) :: Ref -> Ref -> Bool #

max :: Ref -> Ref -> Ref #

min :: Ref -> Ref -> Ref #

Show Ref Source # 
Instance details

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

Methods

showsPrec :: Int -> Ref -> ShowS #

show :: Ref -> String #

showList :: [Ref] -> ShowS #

Lift Ref Source # 
Instance details

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

Methods

lift :: Ref -> Q Exp #

data Position Source #

Constructors

Position 

Fields

Instances
Show Position Source # 
Instance details

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

Generic Position Source # 
Instance details

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

Associated Types

type Rep Position :: Type -> Type #

Methods

from :: Position -> Rep Position x #

to :: Rep Position x -> Position #

Lift Position Source # 
Instance details

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

Methods

lift :: Position -> Q Exp #

ToJSON Position Source # 
Instance details

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

FromJSON Position Source # 
Instance details

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

type Rep Position Source # 
Instance details

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

type Rep Position = D1 (MetaData "Position" "Data.Morpheus.Types.Internal.AST.Base" "morpheus-graphql-0.9.0-Enb7NwejdImAguE6LnqUfW" False) (C1 (MetaCons "Position" PrefixI True) (S1 (MetaSel (Just "line") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "column") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

type Name = Key Source #

type RESOLVED = RESOLVED Source #

type VALID = VALID Source #

type RAW = RAW Source #

data Value (valid :: Stage) where Source #

Constructors

ResolvedVariable :: Ref -> Variable VALID -> Value RESOLVED 
VariableValue :: Ref -> Value RAW 
Object :: Object a -> Value a 
List :: [Value a] -> Value a 
Enum :: Name -> Value a 
Scalar :: ScalarValue -> Value a 
Null :: Value a 
Instances
Show (Value a) Source # 
Instance details

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

Methods

showsPrec :: Int -> Value a -> ShowS #

show :: Value a -> String #

showList :: [Value a] -> ShowS #

Lift (Value a) Source # 
Instance details

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

Methods

lift :: Value a -> Q Exp #

ToJSON (Value a) Source # 
Instance details

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

FromJSON (Value a) Source # 
Instance details

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

GQLValue (Value a) Source # 
Instance details

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

data ScalarValue Source #

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

Instances
Show ScalarValue Source # 
Instance details

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

Generic ScalarValue Source # 
Instance details

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

Associated Types

type Rep ScalarValue :: Type -> Type #

Lift ScalarValue Source # 
Instance details

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

Methods

lift :: ScalarValue -> Q Exp #

ToJSON ScalarValue Source # 
Instance details

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

FromJSON ScalarValue Source # 
Instance details

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

type Rep ScalarValue Source # 
Instance details

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

data Argument (valid :: Stage) Source #

Constructors

Argument 
Instances
Show (Argument valid) Source # 
Instance details

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

Methods

showsPrec :: Int -> Argument valid -> ShowS #

show :: Argument valid -> String #

showList :: [Argument valid] -> ShowS #

Lift (Argument valid) Source # 
Instance details

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

Methods

lift :: Argument valid -> Q Exp #

data Selection (valid :: Stage) where Source #

Constructors

Selection 

Fields

InlineFragment :: Fragment -> Selection RAW 
Spread :: Ref -> Selection RAW 
Instances
Show (Selection a) Source # 
Instance details

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

Lift (Selection a) Source # 
Instance details

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

Methods

lift :: Selection a -> Q Exp #

data Operation (stage :: Stage) Source #

Instances
Show (Operation stage) Source # 
Instance details

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

Methods

showsPrec :: Int -> Operation stage -> ShowS #

show :: Operation stage -> String #

showList :: [Operation stage] -> ShowS #

Lift (Operation stage) Source # 
Instance details

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

Methods

lift :: Operation stage -> Q Exp #

data Variable (stage :: Stage) Source #

Instances
Show (Variable stage) Source # 
Instance details

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

Methods

showsPrec :: Int -> Variable stage -> ShowS #

show :: Variable stage -> String #

showList :: [Variable stage] -> ShowS #

Lift (Variable stage) Source # 
Instance details

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

Methods

lift :: Variable stage -> Q Exp #

data Schema Source #

Instances
Show Schema Source # 
Instance details

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

DataLookup Schema DataType Source # 
Instance details

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

Methods

lookupResult :: (Failure e m, Monad m) => e -> Name -> Schema -> m DataType Source #

DataLookup Schema (Name, DataObject) Source # 
Instance details

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

Methods

lookupResult :: (Failure e m, Monad m) => e -> Name -> Schema -> m (Name, DataObject) Source #

data TypeRef Source #

Instances
Show TypeRef Source # 
Instance details

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

Lift TypeRef Source # 
Instance details

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

Methods

lift :: TypeRef -> Q Exp #

lookupInputType :: Failure e m => Key -> Schema -> e -> m DataType Source #

coerceDataObject :: Failure error m => error -> DataType -> m (Name, DataObject) Source #

lookupDataUnion :: (Monad m, Failure e m) => e -> Key -> Schema -> m DataUnion Source #

lookupField :: Failure error m => Key -> [(Key, field)] -> error -> m field Source #

lookupUnionTypes :: (Monad m, Failure GQLErrors m) => Position -> Key -> Schema -> DataField -> m [(Name, DataObject)] Source #

lookupSelectionField :: Failure GQLErrors Validation => Position -> Name -> Name -> DataObject -> Validation DataField Source #

lookupFieldAsSelectionSet :: (Monad m, Failure GQLErrors m) => Position -> Key -> Schema -> DataField -> m (Name, DataObject) Source #

data Meta Source #

Instances
Show Meta Source # 
Instance details

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

Methods

showsPrec :: Int -> Meta -> ShowS #

show :: Meta -> String #

showList :: [Meta] -> ShowS #

Lift Meta Source # 
Instance details

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

Methods

lift :: Meta -> Q Exp #

type TypeUpdater = LibUpdater Schema Source #

data TypeD Source #

Constructors

TypeD 

Fields

Instances
Show TypeD Source # 
Instance details

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

Methods

showsPrec :: Int -> TypeD -> ShowS #

show :: TypeD -> String #

showList :: [TypeD] -> ShowS #

data ConsD Source #

Constructors

ConsD 

Fields

Instances
Show ConsD Source # 
Instance details

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

Methods

showsPrec :: Int -> ConsD -> ShowS #

show :: ConsD -> String #

showList :: [ConsD] -> ShowS #

checkForUnknownKeys :: Failure e m => [Ref] -> [Name] -> ([Ref] -> e) -> m [Ref] Source #

checkNameCollision :: (Failure e m, Ord a) => [a] -> ([a] -> e) -> m [a] Source #

class DataLookup l a where Source #

Methods

lookupResult :: (Failure e m, Monad m) => e -> Name -> l -> m a Source #

Instances
DataLookup Schema DataType Source # 
Instance details

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

Methods

lookupResult :: (Failure e m, Monad m) => e -> Name -> Schema -> m DataType Source #

DataLookup Schema (Name, DataObject) Source # 
Instance details

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

Methods

lookupResult :: (Failure e m, Monad m) => e -> Name -> Schema -> m (Name, DataObject) Source #