Record.ExtraSrghma.AppendRecord

class AppendSubrecordImpl :: forall k. k -> Row Type -> Row Type -> Constraintclass AppendSubrecordImpl rl bigger smaller  where

Members

• appendSubrecordImpl :: Record bigger -> Record smaller -> Record bigger

Instances

• AppendSubrecordImpl Nil bigger smaller
• (IsSymbol name, Cons name t trash smaller, Cons name t trash' bigger, Semigroup t, AppendSubrecordImpl tail bigger smaller) => AppendSubrecordImpl (Cons name t tail) bigger smaller

appendRecord :: forall rl bigger smaller. RowToList smaller rl => AppendSubrecordImpl rl bigger smaller => Record bigger -> Record smaller -> Record bigger