Safe Haskell	None
Language	Haskell98

Database.Groundhog.TH.Settings

Contents

Orphan instances

Documentation

data PersistDefinitions Source #

Constructors

PersistDefinitions
Fields psEntities :: [PSEntityDef] psEmbeddeds :: [PSEmbeddedDef] psPrimitives :: [PSPrimitiveDef]

Instances

Show PersistDefinitions Source #
Methods showsPrec :: Int -> PersistDefinitions -> ShowS # show :: PersistDefinitions -> String # showList :: [PersistDefinitions] -> ShowS #
Lift PersistDefinitions Source #
Methods lift :: PersistDefinitions -> Q Exp #
FromJSON PersistDefinitions Source #
Methods parseJSON :: Value -> Parser PersistDefinitions # parseJSONList :: Value -> Parser [PersistDefinitions] #

data THEntityDef Source #

Constructors

THEntityDef
Fields thDataName :: Name thDbEntityName :: String thEntitySchema :: Maybe String thAutoKey :: Maybe THAutoKeyDef thUniqueKeys :: [THUniqueKeyDef] thTypeParams :: [TyVarBndr] thConstructors :: [THConstructorDef]

Instances

Eq THEntityDef Source #
Methods (==) :: THEntityDef -> THEntityDef -> Bool # (/=) :: THEntityDef -> THEntityDef -> Bool #
Show THEntityDef Source #
Methods showsPrec :: Int -> THEntityDef -> ShowS # show :: THEntityDef -> String # showList :: [THEntityDef] -> ShowS #

data THEmbeddedDef Source #

Constructors

THEmbeddedDef
Fields thEmbeddedName :: Name thEmbeddedConstructorName :: Name thDbEmbeddedName :: String It is used only to set polymorphic part of name of its container thEmbeddedTypeParams :: [TyVarBndr] thEmbeddedFields :: [THFieldDef]

Instances

Eq THEmbeddedDef Source #
Methods (==) :: THEmbeddedDef -> THEmbeddedDef -> Bool # (/=) :: THEmbeddedDef -> THEmbeddedDef -> Bool #
Show THEmbeddedDef Source #
Methods showsPrec :: Int -> THEmbeddedDef -> ShowS # show :: THEmbeddedDef -> String # showList :: [THEmbeddedDef] -> ShowS #

data THPrimitiveDef Source #

Constructors

THPrimitiveDef
Fields thPrimitiveName :: Name thPrimitiveDbName :: String It is used only to set polymorphic part of name of its container thPrimitiveConverter :: Name Name of a pair of functions converting the value to and from a type that is an instance of `PrimitivePersistField`

Instances

Eq THPrimitiveDef Source #
Methods (==) :: THPrimitiveDef -> THPrimitiveDef -> Bool # (/=) :: THPrimitiveDef -> THPrimitiveDef -> Bool #
Show THPrimitiveDef Source #
Methods showsPrec :: Int -> THPrimitiveDef -> ShowS # show :: THPrimitiveDef -> String # showList :: [THPrimitiveDef] -> ShowS #

data THConstructorDef Source #

Constructors

THConstructorDef
Fields thConstrName :: Name thPhantomConstrName :: String thDbConstrName :: String thDbAutoKeyName :: Maybe String thConstrFields :: [THFieldDef] thConstrUniques :: [THUniqueDef]

Instances

Eq THConstructorDef Source #
Methods (==) :: THConstructorDef -> THConstructorDef -> Bool # (/=) :: THConstructorDef -> THConstructorDef -> Bool #
Show THConstructorDef Source #
Methods showsPrec :: Int -> THConstructorDef -> ShowS # show :: THConstructorDef -> String # showList :: [THConstructorDef] -> ShowS #

data THFieldDef Source #

Constructors

THFieldDef

Fields

thFieldName :: String
name in the record, bar
thDbFieldName :: String
column name, SQLbar
thDbTypeName :: Maybe String
column type, inet, NUMERIC(5, 2), VARCHAR(50), etc.
thExprName :: String
name of constructor in the Field GADT, BarField
thFieldType :: Type
thEmbeddedDef :: Maybe [PSFieldDef String]
thDefaultValue :: Maybe String
default value in the database
thReferenceParent :: Maybe (Maybe ((Maybe String, String), [String]), Maybe ReferenceActionType, Maybe ReferenceActionType)
thFieldConverter :: Maybe Name
name of a pair of functions

Instances

Eq THFieldDef Source #
Methods (==) :: THFieldDef -> THFieldDef -> Bool # (/=) :: THFieldDef -> THFieldDef -> Bool #
Show THFieldDef Source #
Methods showsPrec :: Int -> THFieldDef -> ShowS # show :: THFieldDef -> String # showList :: [THFieldDef] -> ShowS #

data THUniqueDef Source #

Constructors

THUniqueDef
Fields thUniqueName :: String thUniqueType :: UniqueType thUniqueFields :: [Either String String] Either name of field, i.e, thFieldName, or expression

Instances

Eq THUniqueDef Source #
Methods (==) :: THUniqueDef -> THUniqueDef -> Bool # (/=) :: THUniqueDef -> THUniqueDef -> Bool #
Show THUniqueDef Source #
Methods showsPrec :: Int -> THUniqueDef -> ShowS # show :: THUniqueDef -> String # showList :: [THUniqueDef] -> ShowS #

data THUniqueKeyDef Source #

Constructors

THUniqueKeyDef

Fields

thUniqueKeyName :: String
thUniqueKeyPhantomName :: String
thUniqueKeyConstrName :: String
thUniqueKeyDbName :: String
It is used only to set polymorphic part of name of its container | It should repeat fields from THUniqueDef but it may give different settings for them. It is done to allow foreign key fields to be different from parent fields of the entity. These fields are used for creating a the key constructor and instances for it. For example, it can have a default value, or even a different type (INT8 may reference INT4).
thUniqueKeyFields :: [THFieldDef]
thUniqueKeyMakeEmbedded :: Bool
If True, make it an instance of Embedded
thUniqueKeyIsDef :: Bool

Instances

Eq THUniqueKeyDef Source #
Methods (==) :: THUniqueKeyDef -> THUniqueKeyDef -> Bool # (/=) :: THUniqueKeyDef -> THUniqueKeyDef -> Bool #
Show THUniqueKeyDef Source #
Methods showsPrec :: Int -> THUniqueKeyDef -> ShowS # show :: THUniqueKeyDef -> String # showList :: [THUniqueKeyDef] -> ShowS #

data THAutoKeyDef Source #

Constructors

THAutoKeyDef
Fields thAutoKeyConstrName :: String thAutoKeyIsDef :: Bool

Instances

Eq THAutoKeyDef Source #
Methods (==) :: THAutoKeyDef -> THAutoKeyDef -> Bool # (/=) :: THAutoKeyDef -> THAutoKeyDef -> Bool #
Show THAutoKeyDef Source #
Methods showsPrec :: Int -> THAutoKeyDef -> ShowS # show :: THAutoKeyDef -> String # showList :: [THAutoKeyDef] -> ShowS #

data PSEntityDef Source #

Constructors

PSEntityDef
Fields psDataName :: String psDbEntityName :: Maybe String psEntitySchema :: Maybe String psAutoKey :: Maybe (Maybe PSAutoKeyDef) psUniqueKeys :: Maybe [PSUniqueKeyDef] psConstructors :: Maybe [PSConstructorDef]

Instances

Eq PSEntityDef Source #
Methods (==) :: PSEntityDef -> PSEntityDef -> Bool # (/=) :: PSEntityDef -> PSEntityDef -> Bool #
Show PSEntityDef Source #
Methods showsPrec :: Int -> PSEntityDef -> ShowS # show :: PSEntityDef -> String # showList :: [PSEntityDef] -> ShowS #
Lift PSEntityDef Source #
Methods lift :: PSEntityDef -> Q Exp #
ToJSON PSEntityDef Source #
Methods toJSON :: PSEntityDef -> Value # toEncoding :: PSEntityDef -> Encoding # toJSONList :: [PSEntityDef] -> Value # toEncodingList :: [PSEntityDef] -> Encoding #
FromJSON PSEntityDef Source #
Methods parseJSON :: Value -> Parser PSEntityDef # parseJSONList :: Value -> Parser [PSEntityDef] #

data PSEmbeddedDef Source #

Constructors

PSEmbeddedDef
Fields psEmbeddedName :: String psDbEmbeddedName :: Maybe String It is used only to set polymorphic part of name of its container psEmbeddedFields :: Maybe [PSFieldDef String]

Instances

Eq PSEmbeddedDef Source #
Methods (==) :: PSEmbeddedDef -> PSEmbeddedDef -> Bool # (/=) :: PSEmbeddedDef -> PSEmbeddedDef -> Bool #
Show PSEmbeddedDef Source #
Methods showsPrec :: Int -> PSEmbeddedDef -> ShowS # show :: PSEmbeddedDef -> String # showList :: [PSEmbeddedDef] -> ShowS #
Lift PSEmbeddedDef Source #
Methods lift :: PSEmbeddedDef -> Q Exp #
FromJSON PSEmbeddedDef Source #
Methods parseJSON :: Value -> Parser PSEmbeddedDef # parseJSONList :: Value -> Parser [PSEmbeddedDef] #

data PSPrimitiveDef Source #

Constructors

PSPrimitiveDef
Fields psPrimitiveName :: String psPrimitiveDbName :: Maybe String It is used only to set polymorphic part of name of its container psPrimitiveConverter :: String Name of a pair of functions converting the value to and from a type that is an instance of `PrimitivePersistField`

Instances

Eq PSPrimitiveDef Source #
Methods (==) :: PSPrimitiveDef -> PSPrimitiveDef -> Bool # (/=) :: PSPrimitiveDef -> PSPrimitiveDef -> Bool #
Show PSPrimitiveDef Source #
Methods showsPrec :: Int -> PSPrimitiveDef -> ShowS # show :: PSPrimitiveDef -> String # showList :: [PSPrimitiveDef] -> ShowS #
Lift PSPrimitiveDef Source #
Methods lift :: PSPrimitiveDef -> Q Exp #
FromJSON PSPrimitiveDef Source #
Methods parseJSON :: Value -> Parser PSPrimitiveDef # parseJSONList :: Value -> Parser [PSPrimitiveDef] #

data PSConstructorDef Source #

Constructors

PSConstructorDef
Fields psConstrName :: String psPhantomConstrName :: Maybe String psDbConstrName :: Maybe String psDbAutoKeyName :: Maybe String psConstrFields :: Maybe [PSFieldDef String] psConstrUniques :: Maybe [PSUniqueDef]

Instances

Eq PSConstructorDef Source #
Methods (==) :: PSConstructorDef -> PSConstructorDef -> Bool # (/=) :: PSConstructorDef -> PSConstructorDef -> Bool #
Show PSConstructorDef Source #
Methods showsPrec :: Int -> PSConstructorDef -> ShowS # show :: PSConstructorDef -> String # showList :: [PSConstructorDef] -> ShowS #
Lift PSConstructorDef Source #
Methods lift :: PSConstructorDef -> Q Exp #
ToJSON PSConstructorDef Source #
Methods toJSON :: PSConstructorDef -> Value # toEncoding :: PSConstructorDef -> Encoding # toJSONList :: [PSConstructorDef] -> Value # toEncodingList :: [PSConstructorDef] -> Encoding #
FromJSON PSConstructorDef Source #
Methods parseJSON :: Value -> Parser PSConstructorDef # parseJSONList :: Value -> Parser [PSConstructorDef] #

data PSFieldDef str :: * -> * #

Constructors

PSFieldDef

Fields

psFieldName :: str
name in the record, bar
psDbFieldName :: Maybe str
column name, SQLbar
psDbTypeName :: Maybe str
column type, inet, NUMERIC(5, 2), VARCHAR(50), etc.
psExprName :: Maybe str
name of constructor in the Field GADT, BarField
psEmbeddedDef :: Maybe [PSFieldDef str]
psDefaultValue :: Maybe str
default value in the database
psReferenceParent :: Maybe (Maybe ((Maybe str, str), [str]), Maybe ReferenceActionType, Maybe ReferenceActionType)
psFieldConverter :: Maybe str
name of a pair of functions

Instances

Eq str => Eq (PSFieldDef str)
Methods (==) :: PSFieldDef str -> PSFieldDef str -> Bool # (/=) :: PSFieldDef str -> PSFieldDef str -> Bool #
Show str => Show (PSFieldDef str)
Methods showsPrec :: Int -> PSFieldDef str -> ShowS # show :: PSFieldDef str -> String # showList :: [PSFieldDef str] -> ShowS #

data PSUniqueDef Source #

Constructors

PSUniqueDef
Fields psUniqueName :: String psUniqueType :: Maybe UniqueType psUniqueFields :: [Either String String]

Instances

Eq PSUniqueDef Source #
Methods (==) :: PSUniqueDef -> PSUniqueDef -> Bool # (/=) :: PSUniqueDef -> PSUniqueDef -> Bool #
Show PSUniqueDef Source #
Methods showsPrec :: Int -> PSUniqueDef -> ShowS # show :: PSUniqueDef -> String # showList :: [PSUniqueDef] -> ShowS #
Lift PSUniqueDef Source #
Methods lift :: PSUniqueDef -> Q Exp #
ToJSON PSUniqueDef Source #
Methods toJSON :: PSUniqueDef -> Value # toEncoding :: PSUniqueDef -> Encoding # toJSONList :: [PSUniqueDef] -> Value # toEncodingList :: [PSUniqueDef] -> Encoding #
FromJSON PSUniqueDef Source #
Methods parseJSON :: Value -> Parser PSUniqueDef # parseJSONList :: Value -> Parser [PSUniqueDef] #

data PSUniqueKeyDef Source #

Constructors

PSUniqueKeyDef
Fields psUniqueKeyName :: String psUniqueKeyPhantomName :: Maybe String psUniqueKeyConstrName :: Maybe String psUniqueKeyDbName :: Maybe String psUniqueKeyFields :: Maybe [PSFieldDef String] psUniqueKeyMakeEmbedded :: Maybe Bool psUniqueKeyIsDef :: Maybe Bool

Instances

Eq PSUniqueKeyDef Source #
Methods (==) :: PSUniqueKeyDef -> PSUniqueKeyDef -> Bool # (/=) :: PSUniqueKeyDef -> PSUniqueKeyDef -> Bool #
Show PSUniqueKeyDef Source #
Methods showsPrec :: Int -> PSUniqueKeyDef -> ShowS # show :: PSUniqueKeyDef -> String # showList :: [PSUniqueKeyDef] -> ShowS #
Lift PSUniqueKeyDef Source #
Methods lift :: PSUniqueKeyDef -> Q Exp #
ToJSON PSUniqueKeyDef Source #
Methods toJSON :: PSUniqueKeyDef -> Value # toEncoding :: PSUniqueKeyDef -> Encoding # toJSONList :: [PSUniqueKeyDef] -> Value # toEncodingList :: [PSUniqueKeyDef] -> Encoding #
FromJSON PSUniqueKeyDef Source #
Methods parseJSON :: Value -> Parser PSUniqueKeyDef # parseJSONList :: Value -> Parser [PSUniqueKeyDef] #

data PSAutoKeyDef Source #

Constructors

PSAutoKeyDef
Fields psAutoKeyConstrName :: Maybe String psAutoKeyIsDef :: Maybe Bool

Instances

Eq PSAutoKeyDef Source #
Methods (==) :: PSAutoKeyDef -> PSAutoKeyDef -> Bool # (/=) :: PSAutoKeyDef -> PSAutoKeyDef -> Bool #
Show PSAutoKeyDef Source #
Methods showsPrec :: Int -> PSAutoKeyDef -> ShowS # show :: PSAutoKeyDef -> String # showList :: [PSAutoKeyDef] -> ShowS #
Lift PSAutoKeyDef Source #
Methods lift :: PSAutoKeyDef -> Q Exp #
ToJSON PSAutoKeyDef Source #
Methods toJSON :: PSAutoKeyDef -> Value # toEncoding :: PSAutoKeyDef -> Encoding # toJSONList :: [PSAutoKeyDef] -> Value # toEncodingList :: [PSAutoKeyDef] -> Encoding #
FromJSON PSAutoKeyDef Source #
Methods parseJSON :: Value -> Parser PSAutoKeyDef # parseJSONList :: Value -> Parser [PSAutoKeyDef] #

Orphan instances

Lift UniqueType Source #
Methods lift :: UniqueType -> Q Exp #
Lift ReferenceActionType Source #
Methods lift :: ReferenceActionType -> Q Exp #
ToJSON UniqueType Source #
Methods toJSON :: UniqueType -> Value # toEncoding :: UniqueType -> Encoding # toJSONList :: [UniqueType] -> Value # toEncodingList :: [UniqueType] -> Encoding #
ToJSON ReferenceActionType Source #
Methods toJSON :: ReferenceActionType -> Value # toEncoding :: ReferenceActionType -> Encoding # toJSONList :: [ReferenceActionType] -> Value # toEncodingList :: [ReferenceActionType] -> Encoding #
FromJSON UniqueType Source #
Methods parseJSON :: Value -> Parser UniqueType # parseJSONList :: Value -> Parser [UniqueType] #
FromJSON ReferenceActionType Source #
Methods parseJSON :: Value -> Parser ReferenceActionType # parseJSONList :: Value -> Parser [ReferenceActionType] #
Lift (PSFieldDef String) Source #
Methods lift :: PSFieldDef String -> Q Exp #
ToJSON (PSFieldDef String) Source #
Methods toJSON :: PSFieldDef String -> Value # toEncoding :: PSFieldDef String -> Encoding # toJSONList :: [PSFieldDef String] -> Value # toEncodingList :: [PSFieldDef String] -> Encoding #
FromJSON (PSFieldDef String) Source #
Methods parseJSON :: Value -> Parser (PSFieldDef String) # parseJSONList :: Value -> Parser [PSFieldDef String] #