Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Morpheus.CodeGen.Internal.AST

Documentation

data ModuleDefinition Source #

Constructors

ModuleDefinition
Fields moduleName :: Text imports :: [(Text, [Text])] extensions :: [Text] types :: [ServerTypeDefinition]

newtype CodeGenConfig Source #

Constructors

CodeGenConfig
Fields namespace :: Bool

data ServerTypeDefinition Source #

Constructors

ServerTypeDefinition
Fields tName :: Text typeParameters :: [Text] tCons :: [ServerConstructorDefinition] tKind :: TypeKind derives :: [DerivingClass] typeGQLType :: Maybe GQLTypeDefinition
DirectiveTypeDefinition
Fields directiveConstructor :: ServerConstructorDefinition directiveDerives :: [DerivingClass] directiveLocations :: [DirectiveLocation] directiveGQLType :: GQLTypeDefinition
ServerInterfaceDefinition TypeName TypeName TypeName

Instances

Instances details

Show ServerTypeDefinition Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods showsPrec :: Int -> ServerTypeDefinition -> ShowS # show :: ServerTypeDefinition -> String # showList :: [ServerTypeDefinition] -> ShowS #

data GQLTypeDefinition Source #

Constructors

GQLTypeDefinition
Fields gqlKind :: Kind gqlTypeDescription :: Maybe Text gqlTypeDescriptions :: Map Text Description gqlTypeDirectiveUses :: [ServerDirectiveUsage] gqlTypeDefaultValues :: Map Text (Value CONST)

Instances

Instances details

Show GQLTypeDefinition Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods showsPrec :: Int -> GQLTypeDefinition -> ShowS # show :: GQLTypeDefinition -> String # showList :: [GQLTypeDefinition] -> ShowS #

type CONST = 'CONST #

data TypeKind #

Constructors

KindScalar
KindObject (Maybe OperationType)
KindUnion
KindEnum
KindInputObject
KindList
KindNonNull
KindInputUnion
KindInterface

Instances

Instances details

Show TypeKind
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods showsPrec :: Int -> TypeKind -> ShowS # show :: TypeKind -> String # showList :: [TypeKind] -> ShowS #
Eq TypeKind
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods (==) :: TypeKind -> TypeKind -> Bool # (/=) :: TypeKind -> TypeKind -> Bool #
RenderGQL TypeKind
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods renderGQL :: TypeKind -> Rendering #
Strictness TypeKind
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods isResolverType :: TypeKind -> Bool #
Lift TypeKind
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods lift :: Quote m => TypeKind -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => TypeKind -> Code m TypeKind #

type TypeName = Name 'TYPE #

data TypeRef #

Constructors

TypeRef
Fields typeConName :: TypeName typeWrappers :: TypeWrapper

Instances

Instances details

Show TypeRef
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods showsPrec :: Int -> TypeRef -> ShowS # show :: TypeRef -> String # showList :: [TypeRef] -> ShowS #
Eq TypeRef
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods (==) :: TypeRef -> TypeRef -> Bool # (/=) :: TypeRef -> TypeRef -> Bool #
RenderGQL TypeRef
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods renderGQL :: TypeRef -> Rendering #
Msg TypeRef
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods msg :: TypeRef -> GQLError #
Nullable TypeRef
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods isNullable :: TypeRef -> Bool # toNullable :: TypeRef -> TypeRef #
Subtyping TypeRef
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods isSubtype :: TypeRef -> TypeRef -> Bool #
StructuralCompatibility TypeRef
Instance details Defined in Data.Morpheus.Validation.Document.Interface Associated Types type Context TypeRef :: PLACE -> Type Methods isCompatibleTo :: TypeRef -> TypeRef -> SchemaValidator (Context TypeRef ON_INTERFACE) () isCompatibleBy :: (t -> TypeRef) -> t -> t -> SchemaValidator (Context TypeRef ON_INTERFACE) ()
Lift TypeRef
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods lift :: Quote m => TypeRef -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => TypeRef -> Code m TypeRef #
type Context TypeRef
Instance details Defined in Data.Morpheus.Validation.Document.Interface type Context TypeRef = Field

data TypeWrapper #

Constructors

TypeList !TypeWrapper !Bool
BaseType !Bool

Instances

Instances details

Show TypeWrapper
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods showsPrec :: Int -> TypeWrapper -> ShowS # show :: TypeWrapper -> String # showList :: [TypeWrapper] -> ShowS #
Eq TypeWrapper
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods (==) :: TypeWrapper -> TypeWrapper -> Bool # (/=) :: TypeWrapper -> TypeWrapper -> Bool #
Nullable TypeWrapper
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods isNullable :: TypeWrapper -> Bool # toNullable :: TypeWrapper -> TypeWrapper #
Subtyping TypeWrapper
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods isSubtype :: TypeWrapper -> TypeWrapper -> Bool #
Lift TypeWrapper
Instance details Defined in Data.Morpheus.Types.Internal.AST.Type Methods lift :: Quote m => TypeWrapper -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => TypeWrapper -> Code m TypeWrapper #

unpackName :: forall (t :: NAME). NamePacking a => Name t -> a #

data DerivingClass Source #

Constructors

SHOW
GENERIC

Instances

Instances details

Show DerivingClass Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods showsPrec :: Int -> DerivingClass -> ShowS # show :: DerivingClass -> String # showList :: [DerivingClass] -> ShowS #

data FIELD_TYPE_WRAPPER Source #

Constructors

MONAD
SUBSCRIPTION
PARAMETRIZED
ARG TypeName
TAGGED_ARG FieldName TypeRef
GQL_WRAPPER TypeWrapper

Instances

Instances details

Show FIELD_TYPE_WRAPPER Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods showsPrec :: Int -> FIELD_TYPE_WRAPPER -> ShowS # show :: FIELD_TYPE_WRAPPER -> String # showList :: [FIELD_TYPE_WRAPPER] -> ShowS #

data ServerConstructorDefinition Source #

Constructors

ServerConstructorDefinition
Fields constructorName :: TypeName constructorFields :: [ServerFieldDefinition]

Instances

Instances details

Show ServerConstructorDefinition Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods showsPrec :: Int -> ServerConstructorDefinition -> ShowS # show :: ServerConstructorDefinition -> String # showList :: [ServerConstructorDefinition] -> ShowS #

data ServerFieldDefinition Source #

Constructors

ServerFieldDefinition
Fields fieldType :: Text fieldName :: FieldName wrappers :: [FIELD_TYPE_WRAPPER]

Instances

Instances details

Show ServerFieldDefinition Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods showsPrec :: Int -> ServerFieldDefinition -> ShowS # show :: ServerFieldDefinition -> String # showList :: [ServerFieldDefinition] -> ShowS #

data Kind Source #

Constructors

Scalar
Type

Instances

Instances details

Show Kind Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods showsPrec :: Int -> Kind -> ShowS # show :: Kind -> String # showList :: [Kind] -> ShowS #

data ServerDirectiveUsage Source #

Constructors

TypeDirectiveUsage TypeValue
FieldDirectiveUsage FieldName TypeValue
EnumDirectiveUsage TypeName TypeValue

Instances

Instances details

Show ServerDirectiveUsage Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods showsPrec :: Int -> ServerDirectiveUsage -> ShowS # show :: ServerDirectiveUsage -> String # showList :: [ServerDirectiveUsage] -> ShowS #

data TypeValue Source #

Constructors

TypeValueObject TypeName [(FieldName, TypeValue)]
TypeValueNumber Double
TypeValueString Text
TypeValueBool Bool
TypeValueList [TypeValue]
TypedValueMaybe (Maybe TypeValue)

Instances

Instances details

Show TypeValue Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods showsPrec :: Int -> TypeValue -> ShowS # show :: TypeValue -> String # showList :: [TypeValue] -> ShowS #
Pretty TypeValue Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods pretty :: TypeValue -> Doc ann # prettyList :: [TypeValue] -> Doc ann #