Droplet.Language.Internal.Definition

type Empty :: Symboltype Empty = ""

data Identity

GENERATED ALWAYS AS IDENTITY constraint

data Default

Constructors

• Default

Instances

• ToValue Default

data Star

Constructors

• Star

data Table :: Symbol -> Row Type -> Typedata Table (name :: Symbol) (fields :: Row Type)

Constructors

• Table

data E

Marks the query end

Constructors

• E

type Dot :: Symboltype Dot = "."

data Composite :: Symbol -> Typedata Composite (name :: Symbol)

data Path :: Symbol -> Symbol -> Typedata Path (alias :: Symbol) (field :: Symbol)

Qualified columns (e.g, table.column)

data ForeignKey :: Symbol -> Type -> Typedata ForeignKey (field :: Symbol) (table :: Type)

data Joined (t :: Type)

A trick to mark left joined columns as nullable

Instances

• (UnwrapDefinition t u) => UnwrapDefinition (Joined t) u
• IsNullable (Joined t)

data PrimaryKey

data Constraint :: forall n. n -> Type -> Typedata Constraint name t

data Unique

data Column (t :: Type) (constraint :: Type)

Constructors

• Column

Instances

• UnwrapDefinition (Column t c) t
• IsNullable (Column (Maybe t) c)

data C :: forall k. k -> Type -> Typedata C n t

class ToType (t :: Type)  where

String representation of field types

Members

• toType :: Proxy t -> String

Instances

• ToType Int
• ToType BigInt
• ToType Date
• ToType DateTime
• ToType String
• ToType Number
• ToType Boolean
• (ToType t) => ToType (Maybe t)

class IsNullable (t :: Type) 

Instances

• IsNullable (Column (Maybe t) c)
• IsNullable (Maybe t)
• IsNullable (Joined t)

class UnwrapNullable (w :: Type) (t :: Type) | w -> t

Convenience to remove nullable wrappers

Instances

• UnwrapNullable (Maybe t) t
• UnwrapNullable t t

class FromValue t  where

Converts a Postgres value into PureScript

Members

• fromValue :: Foreign -> Either String t

Instances

• FromValue Int
• FromValue String
• FromValue Boolean
• FromValue Number
• FromValue Unit
• (FromValue v) => FromValue (Array v)
• FromValue BigInt
• (FromValue v) => FromValue (Maybe v)
• FromValue Date
• FromValue DateTime

class ToParameters :: Row Type -> RowList Type -> Constraintclass ToParameters record (list :: RowList Type)  where

Members

• toParameters :: Proxy list -> Record record -> Array (Tuple String Foreign)

Instances

• ToParameters record Nil
• (IsSymbol name, Reflectable name String, ToValue t, Cons name t e record, ToParameters record rest) => ToParameters record (Cons name t rest)

class ToValue v  where

Converts a PureScript value into Postgres

Members

• toValue :: v -> Foreign

Instances

• ToValue Int
• ToValue String
• ToValue Default
• ToValue Boolean
• ToValue Number
• (ToValue a) => ToValue (Maybe a)
• ToValue BigInt
• ToValue Date
• (ToValue a) => ToValue (Array a)
• ToValue DateTime

class UnwrapDefinition (w :: Type) (t :: Type) | w -> t

Convenience to remove type wrappers

Instances

• UnwrapDefinition (Column t c) t
• (UnwrapDefinition t u) => UnwrapDefinition (Joined t) u
• UnwrapDefinition t t

class AppendPath :: Symbol -> Symbol -> Symbol -> Constraintclass AppendPath (alias :: Symbol) (name :: Symbol) (fullPath :: Symbol) | alias name -> fullPath

Simplify append qualifying column names

Instances

• (Append alias Dot path, Append path name fullPath) => AppendPath alias name fullPath

star :: Star

path :: forall alias field path pathField. Append alias Dot path => Append path field pathField => Proxy alias -> Proxy field -> Path alias field

Operator alias for Droplet.Language.Internal.Definition.path (non-associative / precedence 7)