ghc-9.4.8: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

:: HsMatchContext GhcTc 
-> 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

tcPats Source #

Arguments

:: HsMatchContext GhcTc 
-> [LPat GhcRn]

atterns

-> [Scaled ExpSigmaTypeFRR]

types of the patterns

-> TcM a

checker for the body

-> TcM ([LPat GhcTc], a)