Function skiff::static_checking::exhaustiveness::check_pattern_exhaustiveness[][src]

pub fn check_pattern_exhaustiveness<'a>(
    target_type: &Type,
    patterns: &Vec<Pattern>,
    data_table: &HashMap<String, Vec<(String, Vec<Type>)>>
) -> Result<bool, ExhaustivenessError>