type-level-bytestrings-0.1.0: Tools for manipulating type-level bytes and bytestrings
Safe HaskellSafe-Inferred
LanguageGHC2021

Raehik.Data.Type.Common

Synopsis

Documentation

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

(a ': l) ++ r = a ': (l ++ r) 
'[] ++ r = r