Droplet.Language.Internal.Definition

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

type Empty :: Symboltype Empty = ""

class InvalidField (t :: Type) 

Instances

• (Fail (Text "Auto columns cannot be inserted or updated")) => InvalidField (Auto t)
• InvalidField t

class IsNullable (t :: Type) 

Instances

• IsNullable (Maybe t)
• IsNullable (Joined t)

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

Instances

• UnwrapNullable (Maybe t) t
• UnwrapNullable t t

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, 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 t)
• 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 (Auto t) t
• UnwrapDefinition (Default t) t
• (UnwrapDefinition t u) => UnwrapDefinition (Joined t) u
• UnwrapDefinition t t

data Auto (a :: Type)

Identity fields

Instances

• (Eq a) => Eq (Auto a)
• UnwrapDefinition (Auto t) t
• (Fail (Text "Auto columns cannot be inserted or updated")) => InvalidField (Auto t)

data Default (a :: Type)

Default constraints

Constructors

• Default

Instances

• (Eq a) => Eq (Default a)
• ToValue (Default t)
• UnwrapDefinition (Default t) t

data Star

Constructors

• Star

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

Constructors

• Table

star :: Star

data Joined (a :: Type)

A trick to mark left joined columns as nullable

Instances

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

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)

data E

Marks the query end

Constructors

• E

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

Qualified columns (e.g, table.column)

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