Database.PostgreSQL.Entity.Types

Types and classes

The Entity Typeclass

class Entity e where

An Entity stores the following information about the structure of a database table:

• Its name
• Its primary key
• The fields it contains

Example

data ExampleEntity = E
  { key    :: Key
  , field1 :: Int
  , field2 :: Bool
  }
  deriving stock (Eq, Show, Generic)
  deriving anyclass (FromRow, ToRow)
  deriving Entity
     via (GenericEntity '[TableName "entities"] ExampleEntity)

When using the functions provided by this library, you will sometimes need to be explicit about the Entity you are referring to.

Since: 0.0.1.0

Minimal complete definition

Nothing

Methods

tableName :: Text

The name of the table in the PostgreSQL database.

default tableName :: GetTableName (Rep e) => Text

primaryKey :: Field

The name of the primary key for the table.

default primaryKey :: GetFields (Rep e) => Field

fields :: Vector Field

The fields of the table.

default fields :: GetFields (Rep e) => Vector Field

Instances

Entity BlogPost

Defined in Database.PostgreSQL.Entity.Internal.BlogPost

Methods

tableName :: Text

primaryKey :: Field

fields :: Vector Field

Entity Author

Defined in Database.PostgreSQL.Entity.Internal.BlogPost

Methods

tableName :: Text

primaryKey :: Field

fields :: Vector Field

Entity a => Entity (UpdateRow a)

Defined in Database.PostgreSQL.Entity.Types

Methods

tableName :: Text

primaryKey :: Field

fields :: Vector Field

(EntityOptions t, GetTableName (Rep e), GetFields (Rep e)) => Entity (GenericEntity t e)

Defined in Database.PostgreSQL.Entity.Types

Methods

tableName :: Text

primaryKey :: Field

fields :: Vector Field

Associated Types

data Field

A wrapper for table fields.

Since: 0.0.1.0

Instances

Eq Field

Defined in Database.PostgreSQL.Entity.Internal.Unsafe

Methods

(==) :: Field -> Field -> Bool

(/=) :: Field -> Field -> Bool

Show Field

Defined in Database.PostgreSQL.Entity.Internal.Unsafe

Methods

showsPrec :: Int -> Field -> ShowS

show :: Field -> String

showList :: [Field] -> ShowS

ForbiddenIsString => IsString Field

Using the Overloaded String syntax for Field names is forbidden.

Defined in Database.PostgreSQL.Entity.Internal.Unsafe

Methods

fromString :: String -> Field

field :: QuasiQuoter

A quasi-quoter for safely constructing Fields.

Example:

instance Entity BlogPost where
  tableName  = "blogposts"
  primaryKey = [field| blogpost_id |]
  fields = [ [field| blogpost_id |]
           , [field| author_id |]
           , [field| uuid_list :: uuid[] |] -- ← This is where we specify an optional PostgreSQL type annotation
           , [field| title |]
           , [field| content |]
           , [field| created_at |]
           ]

Since: 0.1.0.0

fieldName :: Field -> Text

Get the name of a field.

Since: 0.1.0.0

fieldType :: Field -> Maybe Text

Get the type of a field, if any.

Since: 0.1.0.0

newtype UpdateRow a

Wrapper used by the update function in order to have the primary key as the last parameter passed, since it appears in the WHERE clause.

Since: 0.0.1.0

Constructors

UpdateRow

Fields

• getUpdate :: a

Instances

Eq a => Eq (UpdateRow a)

Defined in Database.PostgreSQL.Entity.Types

Methods

(==) :: UpdateRow a -> UpdateRow a -> Bool

(/=) :: UpdateRow a -> UpdateRow a -> Bool

Show a => Show (UpdateRow a)

Defined in Database.PostgreSQL.Entity.Types

Methods

showsPrec :: Int -> UpdateRow a -> ShowS

show :: UpdateRow a -> String

showList :: [UpdateRow a] -> ShowS

ToRow a => ToRow (UpdateRow a)

Defined in Database.PostgreSQL.Entity.Types

Methods

toRow :: UpdateRow a -> [Action]

Entity a => Entity (UpdateRow a)

Defined in Database.PostgreSQL.Entity.Types

Methods

tableName :: Text

primaryKey :: Field

fields :: Vector Field

Generics

data Options

Term-level options

Constructors

Options

Fields

• tableNameModifier :: Text -> Text
• primaryKeyModifier :: Text -> Text
• fieldModifier :: Text -> Text

defaultEntityOptions :: Options

DerivingVia Options

newtype GenericEntity t e

Constructors

GenericEntity

Fields

• getGenericEntity :: e

Instances

(EntityOptions t, GetTableName (Rep e), GetFields (Rep e)) => Entity (GenericEntity t e)

Defined in Database.PostgreSQL.Entity.Types

Methods

tableName :: Text

primaryKey :: Field

fields :: Vector Field

class EntityOptions xs where

Type-level options for Deriving Via

Methods

entityOptions :: Options

Instances

EntityOptions ('[] :: [k])

Defined in Database.PostgreSQL.Entity.Types

Methods

entityOptions :: Options

(GetName name, EntityOptions xs) => EntityOptions (PrimaryKey name ': xs :: [Type])

Defined in Database.PostgreSQL.Entity.Types

Methods

entityOptions :: Options

(GetName name, EntityOptions xs) => EntityOptions (TableName name ': xs :: [Type])

Defined in Database.PostgreSQL.Entity.Types

Methods

entityOptions :: Options

data PrimaryKey t

Instances

(GetName name, EntityOptions xs) => EntityOptions (PrimaryKey name ': xs :: [Type])

Defined in Database.PostgreSQL.Entity.Types

Methods

entityOptions :: Options

data TableName t

Instances

(GetName name, EntityOptions xs) => EntityOptions (TableName name ': xs :: [Type])

Defined in Database.PostgreSQL.Entity.Types

Methods

entityOptions :: Options