Documentation
patternMatchFailureMessage :: SrcSpan -> TCPat -> Value -> ErrorMessageSource
funBindPatternMatchFailureMessage :: SrcSpan -> Name -> [[Value]] -> ErrorMessageSource
patternMatchFailureMessage :: SrcSpan -> TCPat -> Value -> ErrorMessageSource
funBindPatternMatchFailureMessage :: SrcSpan -> Name -> [[Value]] -> ErrorMessageSource