Safe Haskell | Safe-Inferred
Language | Haskell2010

Bug1103

# Documentation

data family Foo1 :: Type -> Type #

#### Instances

Instances details

data Foo1 Bool # |
Instance details Defined in Bug1103 data Foo1 Bool = Foo1Bool
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 Bool = Foo2Bool
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 -> Char) # |
Instance details Defined in Bug1103 data Foo3 (a :: Char -> Char)
data Foo3 (a :: Char) # |
Instance details Defined in Bug1103 data Foo3 (a :: Char)
data Foo3 Bool # |
Instance details Defined in Bug1103 data Foo3 Bool = Foo3Bool
data Foo3 (Maybe a :: Type) # |
Instance details Defined in Bug1103 data Foo3 (Maybe a :: Type)