ghc-8.10.4: The GHC API
Safe HaskellNone
LanguageHaskell2010

BuildTyCl

Synopsis

Documentation

buildPatSyn Source #

Arguments

:: Name 
-> Bool 
-> (Id, Bool) 
-> Maybe (Id, Bool) 
-> ([TyVarBinder], ThetaType)

Univ and req

-> ([TyVarBinder], ThetaType)

Ex and prov

-> [Type]

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.