Record.ExtraSrghma.CompareRecord

data SList

data SCons :: Symbol -> SList -> SList

Instances

• (SListToRowList sTail tail) => SListToRowList (SCons name sTail) (Cons name trash tail)

data SNil :: SList

Instances

• SListToRowList SNil Nil

Operator alias for Record.ExtraSrghma.CompareRecord.SCons (right-associative / precedence 6)

class SListToRowList (xs :: SList) (rl :: RowList Type) | xs -> rl, rl -> xs

Instances

• SListToRowList SNil Nil
• (SListToRowList sTail tail) => SListToRowList (SCons name sTail) (Cons name trash tail)

class OrdRecord rl row | rl -> row where

Members

• compareRecordImpl :: Proxy rl -> Record row -> Record row -> Ordering

Instances

• (IsSymbol name, Ord ty, Cons name ty trash row, OrdRecord tail row) => OrdRecord (Cons name ty tail) row
• OrdRecord Nil row

compareRecord :: forall row rl. RowToList row rl => OrdRecord rl row => Record row -> Record row -> Ordering