TypeFamilies3

Safe Haskell | Safe

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