Safe HaskellSafe

TypeFamilies2

Synopsis

Documentation

data W #

Exported type

Instances

data Bar W = BarX Z #

Shown because BarX is still exported despite Z being hidden

type Foo W #

type family Foo a #

Exported type family

Instances

type Foo W #
type Foo X = Y #

data family Bar a #

Exported data family

Instances

data Bar W = BarX Z #

Shown because BarX is still exported despite Z being hidden

data Bar Y #