Safe Haskell | Safe-Inferred
Language | Haskell2010

SpuriousSuperclassConstraints

Description

What is tested here:

Due to a change in GHC 7.6.1 we had a bug that superclass contraints were included in the instances list. Edward K. repported it here:

http://www.haskell.org/pipermail/haskell-cafe/2012-September/103600.html

And here is the corresponding thread on glasgow-haskell-users:

http://www.haskell.org/pipermail/glasgow-haskell-users/2012-September/022914.html

It has been fixed in:

    6ccf78e15a525282fef61bc4f58a279aa9c21771
    Fix spurious superclass constraints bug.

# Documentation

data SomeType (f :: Type -> Type) a #

#### Instances

Instances details

Applicative f => Applicative (SomeType f) # |
Instance details Defined in SpuriousSuperclassConstraints Methods pure :: a -> SomeType f a # (<*>) :: SomeType f (a -> b) -> SomeType f a -> SomeType f b # liftA2 :: (a -> b -> c) -> SomeType f a -> SomeType f b -> SomeType f c # (*>) :: SomeType f a -> SomeType f b -> SomeType f b # (<*) :: SomeType f a -> SomeType f b -> SomeType f a #
Functor (SomeType f) # |
Instance details Defined in SpuriousSuperclassConstraints Methods fmap :: (a -> b) -> SomeType f a -> SomeType f b # (<$) :: a -> SomeType f b -> SomeType f a #