Safe Haskell	Safe-Inferred

Bug1103

Documentation

data family Foo1 :: Type -> Type #

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