Raehik.Data.Type.Common
type IfNatLte n m fThen fElse = OrdCond (CmpNat n m) fThen fThen fElse Source #
Simplified common type-level conditional.
type family l ++ r where ... Source #
Append two type-level lists.
Equations