Droplet.Language.Internal.Condition

class ToCondition :: Type -> Row Type -> Symbol -> Constraintclass ToCondition (c :: Type) (fields :: Row Type) (alias :: Symbol) 

SQL logical expressions

Instances

• (ToCondition (Op a b) fields alias, ToCondition (Op c d) fields alias) => ToCondition (Op (Op a b) (Op c d)) fields alias

  AND/OR

• ToCondition (Op Exists b) fields alias
• (Cons name t d fields, IsNullable t) => ToCondition (Op IsNull (Proxy name)) fields alias
• (Cons name t d fields, IsNullable t) => ToCondition (Op IsNull (Path alias name)) fields alias
• ToCondition (Op IsNull (Path table name)) fields alias
• (Cons name t d fields, IsNullable t) => ToCondition (Op IsNotNull (Proxy name)) fields alias
• (Cons name t d fields, IsNullable t) => ToCondition (Op IsNotNull (Path alias name)) fields alias
• ToCondition (Op IsNotNull (Path table name)) fields alias
• (ToCondition a fields alias) => ToCondition (Op Not a) fields alias
• (ToCondition (Op a b) fields alias) => ToCondition (Op In (Op a (NonEmptyArray b))) fields alias
• (Comparison a fields alias t, Comparison b fields alias u, ValidComparision t u) => ToCondition (Op a b) fields alias

class ValidComparision (t :: Type) (u :: Type) 

Whether given types can be compared

Instances

• ValidComparision t OuterScope
• ValidComparision OuterScope t
• ValidComparision t t

data OuterScope

Instances

• Comparison (Path table name) fields alias OuterScope
• ValidComparision t OuterScope
• ValidComparision OuterScope t

data In

Instances

• (ToCondition (Op a b) fields alias) => ToCondition (Op In (Op a (NonEmptyArray b))) fields alias

class Comparison :: Type -> Row Type -> Symbol -> Type -> Constraintclass Comparison (c :: Type) (fields :: Row Type) (alias :: Symbol) (t :: Type) | c -> fields t

Whether expression can be compared

Instances

• (Cons name t d fields, UnwrapDefinition t u, UnwrapNullable u v) => Comparison (Proxy name) fields alias v
• (Cons name t d fields, UnwrapDefinition t u, UnwrapNullable u v) => Comparison (Path alias name) fields alias v
• Comparison (Path table name) fields alias OuterScope
• (Fail (Text "Comparisons must not be wrapped in Maybe")) => Comparison (Maybe t) fields alias t
• (ToValue t) => Comparison t fields alias t

data Op b c

Wrapper for comparisons

Constructors

• Op (Maybe BinaryOperator) b c

Instances

• (ToCondition (Op a b) fields alias, ToCondition (Op c d) fields alias) => ToCondition (Op (Op a b) (Op c d)) fields alias

  AND/OR

• ToCondition (Op Exists b) fields alias
• (Cons name t d fields, IsNullable t) => ToCondition (Op IsNull (Proxy name)) fields alias
• (Cons name t d fields, IsNullable t) => ToCondition (Op IsNull (Path alias name)) fields alias
• ToCondition (Op IsNull (Path table name)) fields alias
• (Cons name t d fields, IsNullable t) => ToCondition (Op IsNotNull (Proxy name)) fields alias
• (Cons name t d fields, IsNullable t) => ToCondition (Op IsNotNull (Path alias name)) fields alias
• ToCondition (Op IsNotNull (Path table name)) fields alias
• (ToCondition a fields alias) => ToCondition (Op Not a) fields alias
• (ToCondition (Op a b) fields alias) => ToCondition (Op In (Op a (NonEmptyArray b))) fields alias
• (Comparison a fields alias t, Comparison b fields alias u, ValidComparision t u) => ToCondition (Op a b) fields alias

data IsNotNull

Constructors

• IsNotNull

Instances

• (Cons name t d fields, IsNullable t) => ToCondition (Op IsNotNull (Proxy name)) fields alias
• (Cons name t d fields, IsNullable t) => ToCondition (Op IsNotNull (Path alias name)) fields alias
• ToCondition (Op IsNotNull (Path table name)) fields alias

isNotNull :: forall field. field -> Op IsNotNull field

data IsNull

Constructors

• IsNull

Instances

• (Cons name t d fields, IsNullable t) => ToCondition (Op IsNull (Proxy name)) fields alias
• (Cons name t d fields, IsNullable t) => ToCondition (Op IsNull (Path alias name)) fields alias
• ToCondition (Op IsNull (Path table name)) fields alias

isNull :: forall field. field -> Op IsNull field

in_ :: forall compared field. field -> compared -> Op In (Op field compared)

and :: forall a b c d. Op a b -> Op c d -> Op (Op a b) (Op c d)

data Exists

Constructors

• Exists

Instances

• ToCondition (Op Exists b) fields alias

data Not

Constructors

• Not

Instances

• (ToCondition a fields alias) => ToCondition (Op Not a) fields alias

not :: forall compared field. Op field compared -> Op Not (Op field compared)

data BinaryOperator

Constructors

• Equals
• NotEquals
• GreaterThan
• LesserThan
• GreaterEqualsThan
• LesserEqualsThan
• And
• Or

Instances

• Eq BinaryOperator

equals :: forall field other. field -> other -> Op field other

notEquals :: forall compared field. field -> compared -> Op field compared

greaterThan :: forall compared field. field -> compared -> Op field compared

lesserThan :: forall compared field. field -> compared -> Op field compared

greaterEqualsThan :: forall compared field. field -> compared -> Op field compared

lesserEqualsThan :: forall compared field. field -> compared -> Op field compared

or :: forall a b c d. Op a b -> Op c d -> Op (Op a b) (Op c d)

Operator alias for Droplet.Language.Internal.Condition.and (left-associative / precedence 3)

Operator alias for Droplet.Language.Internal.Condition.notEquals (non-associative / precedence 4)

Operator alias for Droplet.Language.Internal.Condition.equals (non-associative / precedence 4)

Operator alias for Droplet.Language.Internal.Condition.or (left-associative / precedence 2)

Operator alias for Droplet.Language.Internal.Condition.lesserThan (non-associative / precedence 4)

Operator alias for Droplet.Language.Internal.Condition.greaterThan (non-associative / precedence 4)

Operator alias for Droplet.Language.Internal.Condition.lesserEqualsThan (non-associative / precedence 4)

Operator alias for Droplet.Language.Internal.Condition.greaterEqualsThan (non-associative / precedence 4)