Safe HaskellSafe-Inferred

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