Safe HaskellSafe-Inferred
LanguageHaskell2010

Bug1103

Documentation

data family Foo1 :: Type -> Type #

Instances

Instances details
data Foo1 Bool # 
Instance details

Defined in Bug1103

data Foo1 (Maybe a) # 
Instance details

Defined in Bug1103

data Foo1 (Maybe a)

data family Foo2 :: k -> Type #

Instances

Instances details
data Foo2 (a :: Char) # 
Instance details

Defined in Bug1103

data Foo2 (a :: Char)
data Foo2 Bool # 
Instance details

Defined in Bug1103

data Foo2 (Maybe a :: Type) # 
Instance details

Defined in Bug1103

data Foo2 (Maybe a :: Type)
data Foo2 (a :: Char -> Char) # 
Instance details

Defined in Bug1103

data Foo2 (a :: Char -> Char)

data family Foo3 :: k #

Instances

Instances details
data Foo3 # 
Instance details

Defined in Bug1103

data Foo3
data Foo3 (a :: Char) # 
Instance details

Defined in Bug1103

data Foo3 (a :: Char)
data Foo3 (a :: Char -> Char) # 
Instance details

Defined in Bug1103

data Foo3 (a :: Char -> Char)
data Foo3 Bool # 
Instance details

Defined in Bug1103

data Foo3 (Maybe a :: Type) # 
Instance details

Defined in Bug1103

data Foo3 (Maybe a :: Type)