Droplet.Language.Internal.Function

class TextColumn (t :: Type) 

Extra class for clearer error messages

Instances

• TextColumn String
• TextColumn (Maybe String)

count :: forall f fields. ToCount f fields => f -> Aggregate f E fields BigInt

class ToCount :: Type -> Row Type -> Constraintclass ToCount (f :: Type) (fields :: Row Type) | f -> fields

Instances

• (Cons name t e fields) => ToCount (Proxy name) fields
• (Cons name t e fields) => ToCount (Path alias name) fields
• ToCount Star fields

random :: FunctionSignature' Number

data Aggregate :: Type -> Type -> Row Type -> Type -> Typedata Aggregate input rest (fields :: Row Type) (output :: Type)

Built-in aggregate functions

Constructors

• Count input
• StringAgg input rest
• ArrayAgg input

function' :: forall output. String -> FunctionSignature' output

Represents a function that takes no arguments

string_agg :: forall f rest fields. ToStringAgg f rest fields => f -> rest -> Aggregate f rest fields (Maybe String)

class ToStringAgg :: Type -> Type -> Row Type -> Constraintclass ToStringAgg (f :: Type) (rest :: Type) (fields :: Row Type) | f -> fields

Instances

• (Cons name t e fields, TextColumn t) => ToStringAgg (Proxy name) String fields
• (Cons name t e fields, TextColumn t) => ToStringAgg (Path alias name) String fields

class ToArrayAgg :: Type -> Row Type -> Type -> Constraintclass ToArrayAgg (f :: Type) (fields :: Row Type) (t :: Type) | f -> fields t

Instances

• (Cons name t e fields, UnwrapDefinition t u) => ToArrayAgg (Proxy name) fields u
• (AppendPath alias name fullPath, Cons fullPath t e fields, UnwrapDefinition t u) => ToArrayAgg (Path alias name) fields u

class ToCoalesce :: Type -> Row Type -> Type -> Constraintclass ToCoalesce (a :: Type) (fields :: Row Type) (t :: Type) | a -> t

coalesce arguments must be of same type

Instances

• (ToCoalesce inp fields t, ToCoalesce ut fields t) => ToCoalesce (Tuple inp ut) fields t
• (MatchArgument i fields t) => ToCoalesce i fields t

data PgFunction :: Type -> Type -> Row Type -> Type -> Typedata PgFunction (input :: Type) args (fields :: Row Type) (output :: Type)

Declares a functions

Constructors

• PgFunction String args

Instances

• (UnwrapNullable o t, TypeEquals fd fields) => MatchArgument (PgFunction i a fd o) fields t

array_agg :: forall f t fields. ToArrayAgg f fields t => f -> Aggregate f E fields (Maybe (Array t))

class MatchArgument :: Type -> Row Type -> Type -> Constraintclass MatchArgument (a :: Type) (fields :: Row Type) (t :: Type) | a -> t

Instances

• (Cons name t d fields, UnwrapDefinition t u, UnwrapNullable u v) => MatchArgument (Proxy name) fields v
• (AppendPath alias name fullPath, Cons fullPath t d fields, UnwrapDefinition t u, UnwrapNullable u v) => MatchArgument (Path alias name) fields v
• (UnwrapNullable o t, TypeEquals fd fields) => MatchArgument (PgFunction i a fd o) fields t
• (ToValue a, UnwrapNullable a t) => MatchArgument a fields t

function :: forall input output. String -> FunctionSignature input output

Represents a function that takes arguments

class MatchArgumentList :: Type -> Type -> Row Type -> Constraintclass MatchArgumentList (input :: Type) (args :: Type) (fields :: Row Type) 

Function arguments must match input type

Instances

• (MatchArgumentList inp ar fields, MatchArgumentList ut gs fields) => MatchArgumentList (Tuple inp ut) (Tuple ar gs) fields
• (MatchArgument i fields t, MatchArgument a fields t) => MatchArgumentList i a fields

type FunctionSignature input output = forall args fields. MatchArgumentList input args fields => args -> PgFunction input args fields output

type FunctionSignature' output = forall fields. PgFunction Void Unit fields output

coalesce :: forall input output fields. ToCoalesce input fields output => input -> PgFunction input input fields (Maybe output)