Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Morpheus.CodeGen.Internal.AST

Documentation

data CodeGenConstructor Source #

Constructors

CodeGenConstructor
Fields constructorName :: CodeGenTypeName constructorFields :: [CodeGenField]

Instances

Instances details

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

data CodeGenField Source #

Constructors

CodeGenField
Fields fieldName :: FieldName fieldType :: TypeName wrappers :: [FIELD_TYPE_WRAPPER] fieldIsNullable :: Bool

Instances

Instances details

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

data CodeGenType Source #

Constructors

CodeGenType
Fields cgTypeName :: CodeGenTypeName cgConstructors :: [CodeGenConstructor] cgDerivations :: [DerivingClass]

Instances

Instances details

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

data CodeGenTypeName Source #

Constructors

CodeGenTypeName
Fields namespace :: [FieldName] typeParameters :: [Text] typename :: TypeName

Instances

Instances details

Show CodeGenTypeName Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods showsPrec :: Int -> CodeGenTypeName -> ShowS # show :: CodeGenTypeName -> String # showList :: [CodeGenTypeName] -> ShowS #
Printer CodeGenTypeName Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods print :: CodeGenTypeName -> HSDoc ann Source #
PrintType CodeGenTypeName Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods printType :: CodeGenTypeName -> TypeQ Source #
ToName CodeGenTypeName Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toName :: CodeGenTypeName -> Name Source #

data DerivingClass Source #

Constructors

SHOW
GENERIC
CLASS_EQ

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 #
Pretty DerivingClass Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods pretty :: DerivingClass -> Doc ann # prettyList :: [DerivingClass] -> Doc ann #

data FIELD_TYPE_WRAPPER Source #

Constructors

MONAD
SUBSCRIPTION Name
PARAMETRIZED
ARG TypeName
TAGGED_ARG Name 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 TypeValue Source #

Constructors

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

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 #
PrintExp TypeValue Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods printExp :: TypeValue -> ExpQ Source #
Pretty TypeValue Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods pretty :: TypeValue -> Doc ann # prettyList :: [TypeValue] -> Doc ann #

fromTypeName :: TypeName -> CodeGenTypeName Source #

getFullName :: CodeGenTypeName -> TypeName Source #

data ModuleDefinition dec Source #

Constructors

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

Instances

Instances details

Pretty dec => Pretty (ModuleDefinition dec) Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods pretty :: ModuleDefinition dec -> Doc ann # prettyList :: [ModuleDefinition dec] -> Doc ann #

data TypeClassInstance body Source #

Constructors

TypeClassInstance
Fields typeClassName :: Name typeClassContext :: [(Name, Name)] typeClassTarget :: CodeGenTypeName assoc :: [(Name, AssociatedType)] typeClassMethods :: [(Name, MethodArgument, body)]

Instances

Instances details

Show body => Show (TypeClassInstance body) Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods showsPrec :: Int -> TypeClassInstance body -> ShowS # show :: TypeClassInstance body -> String # showList :: [TypeClassInstance body] -> ShowS #
PrintExp body => PrintDec (TypeClassInstance body) Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods printDec :: TypeClassInstance body -> Q Dec Source #
Pretty a => Pretty (TypeClassInstance a) Source #
Instance details Defined in Data.Morpheus.CodeGen.Internal.AST Methods pretty :: TypeClassInstance a -> Doc ann # prettyList :: [TypeClassInstance a] -> Doc ann #

data AssociatedType Source #

Constructors

AssociatedTypeName Name
AssociatedLocations [DirectiveLocation]

Instances

Instances details

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

data MethodArgument Source #

Constructors

NoArgument
ProxyArgument
DestructArgument Name [Name]

Instances

Instances details

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

printTHName :: Name -> Doc ann Source #

data PrintableValue where Source #

Constructors

PrintableValue :: forall a. (Show a, Lift a) => a -> PrintableValue

Instances

Instances details

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