Data.Record.Extra

mapRecord :: forall row' b a xs row. RowToList row xs => MapRecord xs row a b row' => (a -> b) -> Record row -> Record row'

class MapRecord (xs :: RowList) (row :: Row Type) a b (row' :: Row Type) | xs -> row row' a b where

Members

• mapRecordImpl :: RLProxy xs -> (a -> b) -> Record row -> Record row'

Instances

• (IsSymbol name, RowCons name a trash row, MapRecord tail row a b tailRow', RowLacks name tailRow', RowCons name b tailRow' row') => MapRecord (Cons name a tail) row a b row'
• MapRecord Nil row a b ()

class ZipRecord (rla :: RowList) (ra :: Row Type) (rlb :: RowList) (rb :: Row Type) (rc :: Row Type) | rla -> ra rc, rlb -> rb rc where

Members

• zipRecordImpl :: RLProxy rla -> Record ra -> RLProxy rlb -> Record rb -> Record rc

Instances

• ZipRecord Nil trashA Nil trashB ()
• (IsSymbol k, RowCons k a trashA ra, RowCons k b trashB rb, RowCons k (Tuple a b) rc' rc, RowLacks k rc', ZipRecord ta ra tb rb rc') => ZipRecord (Cons k a ta) ra (Cons k b tb) rb rc

zipRecord :: forall rc rb tb ra ta. RowToList ra ta => RowToList rb tb => ZipRecord ta ra tb rb rc => Record ra -> Record rb -> Record rc

class Keys (xs :: RowList)  where

Members

• keysImpl :: RLProxy xs -> List String

Instances

• Keys Nil
• (IsSymbol name, Keys tail) => Keys (Cons name ty tail)

keys :: forall rl row g. RowToList row rl => Keys rl => g row -> List String

slistKeys :: forall rl tuples g. SListToRowList tuples rl => Keys rl => g tuples -> List String

data SList :: Type

data SCons :: Symbol -> SList -> SList

Instances

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

data SNil :: SList

Instances

• SListToRowList SNil Nil

data SLProxy (xs :: SList)

Constructors

• SLProxy

Operator alias for Data.Record.Extra.SCons (right-associative / precedence 6)

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

Instances

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

class EqRecord rl row | rl -> row where

Members

• eqRecordImpl :: RLProxy rl -> Record row -> Record row -> Boolean

Instances

• (IsSymbol name, Eq ty, RowCons name ty trash row, EqRecord tail row) => EqRecord (Cons name ty tail) row
• EqRecord Nil row

eqRecord :: forall rl row. RowToList row rl => EqRecord rl row => Record row -> Record row -> Boolean

class OrdRecord rl row | rl -> row where

Members

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

Instances

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

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

class ShowRecord rl row | rl -> row where

Members

• showRecordImpl :: RLProxy rl -> Record row -> List String

Instances

• ShowRecord Nil ()
• (IsSymbol key, Show a, ShowRecord listRest rowRest, RowLacks key rowRest, RowCons key a rowRest rowFull) => ShowRecord (Cons key a listRest) rowFull

showRecord :: forall list row. RowToList row list => ShowRecord list row => Record row -> String

class (Applicative m) <= SequenceRecord rl row row' m | rl -> row row', rl -> m where

Members

• sequenceRecordImpl :: RLProxy rl -> Record row -> m (Record row')

Instances

• (IsSymbol name, Applicative m, RowCons name (m ty) trash row, SequenceRecord tail row tailRow' m, RowLacks name tailRow', RowCons name ty tailRow' row') => SequenceRecord (Cons name (m ty) tail) row row' m
• (Applicative m) => SequenceRecord Nil row () m

sequenceRecord :: forall m rl row' row. RowToList row rl => Applicative m => SequenceRecord rl row row' m => Record row -> m (Record row')