typelevel-1.2.2: 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 # 
type Homo (t, t2) = (~) * t t2
type Homo (t, t2, t3) Source # 
type Homo (t, t2, t3) = ((~) * t t2, (~) * t t3)
type Homo (t, t2, t3, t4) Source # 
type Homo (t, t2, t3, t4) = ((~) * t t2, (~) * t t3, (~) * t t4)
type Homo (t, t2, t3, t4, t5) Source # 
type Homo (t, t2, t3, t4, t5) = ((~) * t t2, (~) * t t3, (~) * t t4, (~) * t t5)