typelevel-1.2.3: Useful type level operations (type families and related operators).

Safe HaskellNone
LanguageHaskell2010

Constraint.Container.Homo

Documentation

type family Homo (a :: *) :: Constraint Source #

Instances
type Homo (t, t2) Source # 
Instance details

Defined in Constraint.Container.Homo

type Homo (t, t2) = t ~ t2
type Homo (t, t2, t3) Source # 
Instance details

Defined in Constraint.Container.Homo

type Homo (t, t2, t3) = (t ~ t2, t ~ t3)
type Homo (t, t2, t3, t4) Source # 
Instance details

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 # 
Instance details

Defined in Constraint.Container.Homo

type Homo (t, t2, t3, t4, t5) = (t ~ t2, t ~ t3, t ~ t4, t ~ t5)