Interface Case<Ext>

CASE [expr] WHEN condition THEN result
[WHEN ...]
[ELSE result]
END
interface Case<Ext> {
    _tag: "Case";
    cases: {
        condition: Expr<Ext>;
        result: Expr<Ext>;
    }[];
    elseCase: null | Expr<Ext>;
    expr: null | Expr<Ext>;
    extensions: null | Ext["Case"];
}

Type Parameters

Hierarchy

  • Tagged<"Case", {
        cases: {
            condition: Expr<Ext>;
            result: Expr<Ext>;
        }[];
        elseCase: Expr<Ext> | null;
        expr: Expr<Ext> | null;
        extensions: Ext["Case"] | null;
    }>
    • Case

Properties

_tag: "Case"
cases: {
    condition: Expr<Ext>;
    result: Expr<Ext>;
}[]

Type declaration

elseCase: null | Expr<Ext>
expr: null | Expr<Ext>
extensions: null | Ext["Case"]

Generated using TypeDoc