Selda.Expr

data Literal a

Constructors

• LBoolean Boolean (Boolean ~ a)
• LString String (String ~ a)
• LInt Int (Int ~ a)
• LNull (Exists (None a))
• LJust (Exists (Some a))
• Any String

data Some a b

Constructors

• Some (Literal b) ((Maybe b) ~ a)

data None a b

Constructors

• None ((Maybe b) ~ a)

data BinOp i o

Constructors

• Or (Boolean ~ i) (Boolean ~ o)
• Gt (Boolean ~ o)
• Eq (Boolean ~ o)

data UnOp i o

Constructors

• IsNull (Boolean ~ o)
• Not (Boolean ~ i) (Boolean ~ o)

data Expr o

Constructors

• EColumn (Column o)
• ELit (Literal o)
• EBinOp (Exists (BinExp o))
• EUnOp (Exists (UnExp o))
• EFn (Exists (Fn o))
• EInArray (Exists (InArray o))

data BinExp o i

Constructors

• BinExp (BinOp i o) (Expr i) (Expr i)

data UnExp o i

Constructors

• UnExp (UnOp i o) (Expr i)

data Fn o i

Constructors

• FnMax (Expr i) ((Maybe i) ~ o)
• FnCount (Expr i) (String ~ o)
• FnSum (Expr i) ((Maybe String) ~ o)

data InArray o i

Constructors

• InArray (Expr i) (Array (Expr i)) (Boolean ~ o)

primPGEscape :: String -> String

showLiteral :: forall a. Literal a -> String

showBinOp :: forall o i. BinOp i o -> String

showExpr :: forall a. Expr a -> String

showBinExp :: forall i o. BinExp o i -> String

showUnExp :: forall i o. UnExp o i -> String

showFn :: forall i o. Fn o i -> String

showInArray :: forall i o. InArray o i -> String