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>