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