Safe Haskell | Safe-Inferred
Language | Haskell2010

TypeFamilies2

Synopsis

- data W
- type family Foo a
- data family Bar a

# Documentation

data W #

Exported type

#### Instances

Instances details

data Bar W # | Shown because BarX is still exported despite Z being hidden
Instance details Defined in TypeFamilies2 data Bar W = BarX Z
type Foo W # | Should be visible, but with a hidden right hand side
Instance details Defined in TypeFamilies2 type Foo W

type family Foo a #

Exported type family

#### Instances

Instances details

type Foo X # | External instance
Instance details Defined in TypeFamilies type Foo X = Y
type Foo W # | Should be visible, but with a hidden right hand side
Instance details Defined in TypeFamilies2 type Foo W

data family Bar a #

Exported data family

#### Instances

Instances details

data Bar Y # |
Instance details Defined in TypeFamilies data Bar Y
data Bar W # | Shown because BarX is still exported despite Z being hidden
Instance details Defined in TypeFamilies2 data Bar W = BarX Z