Safe HaskellSafe-Inferred
LanguageHaskell2010

Bug923

Synopsis
  • data T :: (* -> (*, *)) -> * where

Documentation

data T :: (* -> (*, *)) -> * where #

A promoted tuple type

Constructors

T :: a -> T ('(,) a) 

Instances

Instances details
Eq a => Eq (T ('(,) a :: Type -> (Type, Type))) #

A promoted tuple type in an instance

Instance details

Defined in Bug923

Methods

(==) :: T ('(,) a) -> T ('(,) a) -> Bool #

(/=) :: T ('(,) a) -> T ('(,) a) -> Bool #