Safe HaskellSafe

TypeFamilies3

Synopsis
  • type family Foo a where ...
  • type family Bar a
  • data family Baz a

Documentation

type family Foo a where ... #

A closed type family

Equations

Foo () = Int
Foo _ = ()

type family Bar a #

An open family

Instances
type Bar Int #
Instance details

Defined in TypeFamilies3

type Bar Int = ()
type Bar () #
Instance details

Defined in TypeFamilies3

type Bar () = Int

data family Baz a #

A data family

Instances
newtype Baz Double #
Instance details

Defined in TypeFamilies3

newtype Baz Double = Baz3 Float
data Baz Int #
Instance details

Defined in TypeFamilies3

data Baz Int = Baz2 Bool
data Baz () #
Instance details

Defined in TypeFamilies3

data Baz () = Baz1