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

GHC.Tc.TyCl.Build

Synopsis

Documentation

buildPatSyn Source #

Arguments

:: Name 
-> Bool 
-> PatSynMatcher 
-> PatSynBuilder 
-> ([InvisTVBinder], ThetaType)

Univ and req

-> ([InvisTVBinder], ThetaType)

Ex and prov

-> [FRRType]

Argument types

-> Type

Result type

-> [FieldLabel]

Field labels for a record pattern synonym

-> PatSyn 

mkNewTyConRhs :: Name -> TyCon -> DataCon -> TcRnIf m n AlgTyConRhs Source #

Monadic because it makes a Name for the coercion TyCon We pass the Name of the parent TyCon, as well as the TyCon itself, because the latter is part of a knot, whereas the former is not.