Record.Extra

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

class MapRecord (xs :: RowList) (row :: # Type) a b (from :: # Type) (to :: # Type) | xs -> row a b from to where

Members

• mapRecordBuilder :: RLProxy xs -> (a -> b) -> { | row } -> Builder { | from } { | to }

Instances

• (IsSymbol name, Cons name a trash row, MapRecord tail row a b from from', Lacks name from', Cons name b from' to) => MapRecord (Cons name a tail) row a b from to
• MapRecord Nil row a b () ()

class ZipRecord (rla :: RowList) (ra :: # Type) (rlb :: RowList) (rb :: # Type) (from :: # Type) (to :: # Type) | rla -> ra from to, rlb -> rb from to where

Members

• zipRecordImpl :: RLProxy rla -> { | ra } -> RLProxy rlb -> { | rb } -> Builder { | from } { | to }

Instances

• ZipRecord Nil trashA Nil trashB () ()
• (IsSymbol k, Cons k a trashA ra, Cons k b trashB rb, Cons k (Tuple a b) from' to, Lacks k from', ZipRecord ta ra tb rb from from') => ZipRecord (Cons k a ta) ra (Cons k b tb) rb from to

zipRecord :: forall ta ra tb rb rc. RowToList ra ta => RowToList rb tb => ZipRecord ta ra tb rb () rc => {  | ra } -> {  | rb } -> {  | 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 g row rl. RowToList row rl => Keys rl => g row -> List String

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

kind 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

data SLProxy (xs :: SList)

Constructors

• SLProxy

Operator alias for 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 OrdRecord rl row | rl -> row where

Members

• compareRecordImpl :: RLProxy rl -> { | row } -> { | 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 => {  | row } -> {  | row } -> Ordering

class (Applicative m) <= SequenceRecord rl row from to m | rl -> row from to m where

Members

• sequenceRecordImpl :: RLProxy rl -> { | row } -> m (Builder { | from } { | to })

Instances

• (IsSymbol name, Applicative m, Cons name (m ty) trash row, SequenceRecord tail row from from' m, Lacks name from', Cons name ty from' to) => SequenceRecord (Cons name (m ty) tail) row from to m
• (Applicative m) => SequenceRecord Nil row () () m

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