typelevel-rewrite-rules-0.1: Solve type equalities using custom type-level rewrite rules

Safe HaskellSafe
LanguageHaskell2010

TypeLevel.Append

Documentation

type family as ++ bs where ... Source #

Equations

'[] ++ bs = bs 
(a ': as) ++ bs = a ': (as ++ bs) 

type RightIdentity as = (as ++ '[]) ~ as Source #

type RightAssociative as bs cs = ((as ++ bs) ++ cs) ~ (as ++ (bs ++ cs)) Source #