Module

Droplet.Language.Internal.Condition

Package
purescript-droplet
Repository
easafe/purescript-droplet

Logical operators for filtering records

Do not import this module directly, it will break your code and make it not type safe. Use the sanitized Droplet.Language instead

#ToCondition Source

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

SQL logical expressions

Instances

#ValidComparision Source

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

Whether given types can be compared

Instances

#In Source

data In

Instances

#Comparison Source

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

#Op Source

data Op b c

Wrapper for comparisons

Constructors

Instances

#IsNotNull Source

data IsNotNull

Constructors

Instances

#isNotNull Source

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

#IsNull Source

data IsNull

Constructors

Instances

#isNull Source

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

#in_ Source

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

#and Source

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

#Exists Source

data Exists

Constructors

Instances

#Not Source

data Not

Constructors

Instances

#not Source

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

#equals Source

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

#notEquals Source

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

#greaterThan Source

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

#lesserThan Source

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

#greaterEqualsThan Source

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

#lesserEqualsThan Source

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

#or Source

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

#(.&&.) Source

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

#(.<>.) Source

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

#(.=.) Source

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

#(.||.) Source

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

#(.<.) Source

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

#(.>.) Source

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

#(.<=.) Source

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

#(.>=.) Source

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