Squeal.PostgreSQL.Expression.Type

Type expressions.

Documentation

newtype TypeExpression (schemas :: SchemasType) (ty :: NullityType)

TypeExpressions are used in casts and createTable commands.

Constructors

UnsafeTypeExpression

Fields

• renderTypeExpression :: ByteString

Instances

Eq (TypeExpression schemas ty)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

(==) :: TypeExpression schemas ty -> TypeExpression schemas ty -> Bool

(/=) :: TypeExpression schemas ty -> TypeExpression schemas ty -> Bool

Ord (TypeExpression schemas ty)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

compare :: TypeExpression schemas ty -> TypeExpression schemas ty -> Ordering

(<) :: TypeExpression schemas ty -> TypeExpression schemas ty -> Bool

(<=) :: TypeExpression schemas ty -> TypeExpression schemas ty -> Bool

(>) :: TypeExpression schemas ty -> TypeExpression schemas ty -> Bool

(>=) :: TypeExpression schemas ty -> TypeExpression schemas ty -> Bool

max :: TypeExpression schemas ty -> TypeExpression schemas ty -> TypeExpression schemas ty

min :: TypeExpression schemas ty -> TypeExpression schemas ty -> TypeExpression schemas ty

Show (TypeExpression schemas ty)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

showsPrec :: Int -> TypeExpression schemas ty -> ShowS

show :: TypeExpression schemas ty -> String

showList :: [TypeExpression schemas ty] -> ShowS

Generic (TypeExpression schemas ty)

Defined in Squeal.PostgreSQL.Expression.Type

Associated Types

type Rep (TypeExpression schemas ty) :: Type -> Type

Methods

from :: TypeExpression schemas ty -> Rep (TypeExpression schemas ty) x

to :: Rep (TypeExpression schemas ty) x -> TypeExpression schemas ty

NFData (TypeExpression schemas ty)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

rnf :: TypeExpression schemas ty -> ()

RenderSQL (TypeExpression schemas ty)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

renderSQL :: TypeExpression schemas ty -> ByteString

type Rep (TypeExpression schemas ty)

Defined in Squeal.PostgreSQL.Expression.Type

type Rep (TypeExpression schemas ty) = D1 (MetaData "TypeExpression" "Squeal.PostgreSQL.Expression.Type" "squeal-postgresql-0.5.2.0-4fAomBtpMjd6mRwLthA4w2" True) (C1 (MetaCons "UnsafeTypeExpression" PrefixI True) (S1 (MetaSel (Just "renderTypeExpression") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

cast

Arguments

:: TypeExpression schemas ty1

type to cast as

-> Expression outer commons grp schemas params from ty0

value to convert

-> Expression outer commons grp schemas params from ty1

>>> printSQL $ true & cast int4
(TRUE :: int4)

astype

Arguments

:: TypeExpression schemas ty

type to specify as

-> Expression outer commons grp schemas params from ty

value

-> Expression outer commons grp schemas params from ty

A safe version of cast which just matches a value with its type.

>>> printSQL (1 & astype int)
(1 :: int)

inferredtype :: PGTyped schemas ty => Expression outer common grp schemas params from ty -> Expression outer common grp schemas params from ty

inferredtype will add a type annotation to an Expression which can be useful for fixing the storage type of a value.

>>> printSQL (inferredtype true)
(TRUE :: bool)

class PGTyped schemas (ty :: NullityType) where

pgtype is a demoted version of a PGType

Methods

pgtype :: TypeExpression schemas ty

Instances

PGTyped schemas (null PGtsquery)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGtsquery)

PGTyped schemas (null PGtsvector)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGtsvector)

(All KnownNat dims, PGTyped schemas ty) => PGTyped schemas (null (PGfixarray dims ty))

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null (PGfixarray dims ty))

PGTyped schemas ty => PGTyped schemas (null (PGvararray ty))

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null (PGvararray ty))

PGTyped schemas (null PGjsonb)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGjsonb)

PGTyped schemas (null PGjson)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGjson)

PGTyped schemas (null PGuuid)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGuuid)

PGTyped schemas (null PGinterval)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGinterval)

PGTyped schemas (null PGtimetz)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGtimetz)

PGTyped schemas (null PGtime)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGtime)

PGTyped schemas (null PGdate)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGdate)

PGTyped schemas (null PGtimestamptz)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGtimestamptz)

PGTyped schemas (null PGtimestamp)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGtimestamp)

PGTyped schemas (null PGbytea)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGbytea)

(KnownNat n, 1 <= n) => PGTyped schemas (null (PGvarchar n))

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null (PGvarchar n))

(KnownNat n, 1 <= n) => PGTyped schemas (null (PGchar n))

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null (PGchar n))

PGTyped schemas (null PGtext)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGtext)

PGTyped schemas (null PGmoney)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGmoney)

PGTyped schemas (null PGfloat8)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGfloat8)

PGTyped schemas (null PGfloat4)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGfloat4)

PGTyped schemas (null PGnumeric)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGnumeric)

PGTyped schemas (null PGint8)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGint8)

PGTyped schemas (null PGint4)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGint4)

PGTyped schemas (null PGint2)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGint2)

PGTyped schemas (null PGbool)

Defined in Squeal.PostgreSQL.Expression.Type

Methods

pgtype :: TypeExpression schemas (null PGbool)

typedef :: (Has sch schemas schema, Has td schema (Typedef ty)) => QualifiedAlias sch td -> TypeExpression schemas (null ty)

The enum or composite type in a Typedef can be expressed by its alias.

typetable :: (Has sch schemas schema, Has tab schema (Table table)) => QualifiedAlias sch tab -> TypeExpression schemas (null (PGcomposite (TableToRow table)))

The composite type corresponding to a Table definition can be expressed by its alias.

typeview :: (Has sch schemas schema, Has vw schema (View view)) => QualifiedAlias sch vw -> TypeExpression schemas (null (PGcomposite view))

The composite type corresponding to a View definition can be expressed by its alias.

bool :: TypeExpression schemas (null PGbool)

logical Boolean (true/false)

int2 :: TypeExpression schemas (null PGint2)

signed two-byte integer

smallint :: TypeExpression schemas (null PGint2)

signed two-byte integer

int4 :: TypeExpression schemas (null PGint4)

signed four-byte integer

int :: TypeExpression schemas (null PGint4)

signed four-byte integer

integer :: TypeExpression schemas (null PGint4)

signed four-byte integer

int8 :: TypeExpression schemas (null PGint8)

signed eight-byte integer

bigint :: TypeExpression schemas (null PGint8)

signed eight-byte integer

numeric :: TypeExpression schemas (null PGnumeric)

arbitrary precision numeric type

float4 :: TypeExpression schemas (null PGfloat4)

single precision floating-point number (4 bytes)

real :: TypeExpression schemas (null PGfloat4)

single precision floating-point number (4 bytes)

float8 :: TypeExpression schemas (null PGfloat8)

double precision floating-point number (8 bytes)

doublePrecision :: TypeExpression schemas (null PGfloat8)

double precision floating-point number (8 bytes)

money :: TypeExpression schema (null PGmoney)

currency amount

text :: TypeExpression schemas (null PGtext)

variable-length character string

char :: forall n schemas null. (KnownNat n, 1 <= n) => TypeExpression schemas (null (PGchar n))

fixed-length character string

character :: forall n schemas null. (KnownNat n, 1 <= n) => TypeExpression schemas (null (PGchar n))

fixed-length character string

varchar :: forall n schemas null. (KnownNat n, 1 <= n) => TypeExpression schemas (null (PGvarchar n))

variable-length character string

characterVarying :: forall n schemas null. (KnownNat n, 1 <= n) => TypeExpression schemas (null (PGvarchar n))

variable-length character string

bytea :: TypeExpression schemas (null PGbytea)

binary data ("byte array")

timestamp :: TypeExpression schemas (null PGtimestamp)

date and time (no time zone)

timestampWithTimeZone :: TypeExpression schemas (null PGtimestamptz)

date and time, including time zone

date :: TypeExpression schemas (null PGdate)

calendar date (year, month, day)

time :: TypeExpression schemas (null PGtime)

time of day (no time zone)

timeWithTimeZone :: TypeExpression schemas (null PGtimetz)

time of day, including time zone

interval :: TypeExpression schemas (null PGinterval)

time span

uuid :: TypeExpression schemas (null PGuuid)

universally unique identifier

inet :: TypeExpression schemas (null PGinet)

IPv4 or IPv6 host address

json :: TypeExpression schemas (null PGjson)

textual JSON data

jsonb :: TypeExpression schemas (null PGjsonb)

binary JSON data, decomposed

vararray :: TypeExpression schemas pg -> TypeExpression schemas (null (PGvararray pg))

variable length array

fixarray :: forall dims schemas null pg. All KnownNat dims => TypeExpression schemas pg -> TypeExpression schemas (null (PGfixarray dims pg))

fixed length array

>>> renderSQL (fixarray @'[2] json)
"json[2]"

tsvector :: TypeExpression schemas (null PGtsvector)

text search query

tsquery :: TypeExpression schemas (null PGtsquery)

text search document