Function module_def

crates/expr/src/check.rs:240–275

()

    use super::{SchemaView, TypingResult};

    fn module_def() -> ModuleDef {
        build_module_def(vec![
            (
                "t",
                ProductType::from([
                    ("ts", AlgebraicType::timestamp()),
                    ("i8", AlgebraicType::I8),
                    ("u8", AlgebraicType::U8),
                    ("i16", AlgebraicType::I16),
                    ("u16", AlgebraicType::U16),
                    ("i32", AlgebraicType::I32),
                    ("u32", AlgebraicType::U32),
                    ("i64", AlgebraicType::I64),
                    ("u64", AlgebraicType::U64),
                    ("int", AlgebraicType::U32),
                    ("f32", AlgebraicType::F32),
                    ("f64", AlgebraicType::F64),
                    ("i128", AlgebraicType::I128),
                    ("u128", AlgebraicType::U128),
                    ("i256", AlgebraicType::I256),
                    ("u256", AlgebraicType::U256),
                    ("str", AlgebraicType::String),
                    ("arr", AlgebraicType::array(AlgebraicType::String)),
                ]),
            ),
            (
                "s",
                ProductType::from([
                    ("id", AlgebraicType::identity()),
                    ("u32", AlgebraicType::U32),
                    ("arr", AlgebraicType::array(AlgebraicType::String)),
                    ("bytes", AlgebraicType::bytes()),
                ]),
            ),
        ])
    }

    /// A wrapper around [super::parse_and_type_sub] that takes a dummy [AuthCtx]
    fn parse_and_type_sub(sql: &str, tx: &impl SchemaView) -> TypingResult<ProjectName> {