ghc-9.12: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Gen.Pat

Description

Typechecking patterns

Synopsis

Documentation

data LetBndrSpec Source #

Instances

Instances details
Outputable LetBndrSpec Source # 
Instance details

Defined in GHC.Tc.Gen.Pat

Methods

ppr :: LetBndrSpec -> SDoc Source #

tcCheckPat_O Source #

Arguments

:: HsMatchContextRn 
-> CtOrigin

origin to use if the type needs inst'ing

-> LPat GhcRn 
-> Scaled TcSigmaTypeFRR 
-> TcM a 
-> TcM (LPat GhcTc, a) 

A variant of tcPat that takes a custom origin

tcMatchPats Source #

Arguments

:: HsMatchContextRn 
-> [LPat GhcRn]

patterns

-> [ExpPatType]

types of the patterns

-> TcM a

checker for the body

-> TcM ([LPat GhcTc], a)