GHC.Definitions.TH.Example

Documentation

data DefinitionsRecord

Constructors

DefinitionsRecord

Fields

• _idVar :: Var
• _maybeTyCon :: TyCon
• _nothingDataCon :: DataCon
• _plusVar :: Var
• _minusTyCon :: TyCon
• _ordClass :: Class

type Definitions = ?definitions :: DefinitionsRecord

ordClass :: Definitions => Class

minusTyCon :: Definitions => TyCon

plusVar :: Definitions => Var

promotedNothingTyCon :: Definitions => TyCon

nothingDataCon :: Definitions => DataCon

maybeTyCon :: Definitions => TyCon

idVar :: Definitions => Var

findDefinitions :: TcPluginM (Dict Definitions)

pattern MaybeTy :: Definitions => [Type] -> Type

pattern IdExpr :: Definitions => [Expr a] -> Expr a

pattern NothingExpr :: Definitions => [Expr a] -> Expr a

pattern NothingTy :: Definitions => [Type] -> Type

pattern EqTy :: [Type] -> Type

pattern MinusTy :: Definitions => [Type] -> Type

pattern OrdTy :: Definitions => [Type] -> Type