Data.Morpheus.Schema.Internal.Types

Documentation

type OutputType = InternalType ObjectField

data InternalType a

Constructors

Scalar Core

Enum [EnumValue] Core

Object (GObject a)

data Core

Constructors

Core

Fields

• name :: Text
• typeDescription :: Text

data Field

Constructors

Field

Fields

• fieldName :: Text
• notNull :: Bool
• kind :: TypeKind
• fieldType :: Text
• asList :: Bool

data ObjectField

Constructors

ObjectField

Fields

• args :: [(Text, InputField)]
• fieldContent :: Field

Instances

(Selector s, GQLObject a) => Selectors (RecSel s a :: Type -> Type) (Text, ObjectField)

Defined in Data.Morpheus.Kind.GQLObject

Methods

getFields :: Proxy (RecSel s a) -> [((Text, ObjectField), TypeLib -> TypeLib)]

type InputType = InternalType InputField

newtype InputField

Constructors

InputField

Fields

• unpackInputField :: Field

Instances

(Selector s, GQLInput a) => Selectors (RecSel s a :: Type -> Type) (Text, InputField)

Defined in Data.Morpheus.Kind.GQLArgs

Methods

getFields :: Proxy (RecSel s a) -> [((Text, InputField), TypeLib -> TypeLib)]

data TypeLib

Constructors

TypeLib

Fields

• leaf :: [(Text, Leaf)]
• inputObject :: [(Text, InputObject)]
• object :: [(Text, OutputObject)]
• query :: (Text, OutputObject)
• mutation :: Maybe (Text, OutputObject)

data GObject a

Constructors

GObject [(Text, a)] Core

data Leaf

Constructors

LScalar Core

LEnum [EnumValue] Core

type InputObject = GObject InputField

type OutputObject = GObject ObjectField

isTypeDefined :: Text -> TypeLib -> Bool

initTypeLib :: (Text, OutputObject) -> TypeLib

defineType :: (Text, LibType) -> TypeLib -> TypeLib

data LibType

Constructors

Leaf Leaf

InputObject InputObject

OutputObject OutputObject