| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Constraint.Container.Homo
Documentation
type family Homo (a :: *) :: Constraint Source #
Instances
| type Homo (t, t2) Source # | |
Defined in Constraint.Container.Homo type Homo (t, t2) = t ~ t2 | |
| type Homo (t, t2, t3) Source # | |
Defined in Constraint.Container.Homo type Homo (t, t2, t3) = (t ~ t2, t ~ t3) | |
| type Homo (t, t2, t3, t4) Source # | |
Defined in Constraint.Container.Homo type Homo (t, t2, t3, t4) = (t ~ t2, t ~ t3, t ~ t4) | |
| type Homo (t, t2, t3, t4, t5) Source # | |
Defined in Constraint.Container.Homo type Homo (t, t2, t3, t4, t5) = (t ~ t2, t ~ t3, t ~ t4, t ~ t5) | |