Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Morpheus.CodeGen.TH

Documentation

apply :: (Apply a, ToCon i a) => i -> [a] -> a Source #

applyVars :: (ToName con, ToName var, Apply res, ToCon con res, ToVar var res) => con -> [var] -> res Source #

toCon :: ToCon a b => a -> b Source #

class ToVar a b where Source #

Methods

Instances details

ToName a => ToVar a Exp Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toVar :: a -> Exp Source #
ToName a => ToVar a Pat Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toVar :: a -> Pat Source #
ToName a => ToVar a Type Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toVar :: a -> Type Source #
ToVar a b => ToVar a (Q b) Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toVar :: a -> Q b Source #

class ToName a where Source #

Methods

Instances details

ToName CodeGenTypeName Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toName :: CodeGenTypeName -> Name Source #
ToName DirectiveLocation Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toName :: DirectiveLocation -> Name Source #
ToName FieldName Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toName :: FieldName -> Name Source #
ToName TypeName Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toName :: TypeName -> Name Source #
ToName Name Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toName :: Name -> Name Source #
ToName Text Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toName :: Text -> Name Source #
ToName String Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toName :: String -> Name Source #

class ToString a b where Source #

Methods

Instances details

ToString FieldName Exp Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toString :: FieldName -> Exp Source #
ToString FieldName Lit Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toString :: FieldName -> Lit Source #
ToString TypeName Exp Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toString :: TypeName -> Exp Source #
ToString TypeName Lit Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toString :: TypeName -> Lit Source #
ToString TypeName Pat Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toString :: TypeName -> Pat Source #
ToString a b => ToString a (Q b) Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods toString :: a -> Q b Source #

class PrintExp a where Source #

Methods

Instances details

PrintExp PrintableValue Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods printExp :: PrintableValue -> ExpQ Source #
PrintExp TypeValue Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods printExp :: TypeValue -> ExpQ Source #

Methods

Instances details

PrintType AssociatedType Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods printType :: AssociatedType -> TypeQ Source #
PrintType CodeGenTypeName Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods printType :: CodeGenTypeName -> TypeQ Source #

class PrintDec a where Source #

Methods

Instances details

PrintDec CodeGenType Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods printDec :: CodeGenType -> Q Dec Source #
PrintExp body => PrintDec (TypeClassInstance body) Source #
Instance details Defined in Data.Morpheus.CodeGen.TH Methods printDec :: TypeClassInstance body -> Q Dec Source #