Record.ExtraSrghma

data SNil :: SListdata SNil

Instances

• SListToRowList SNil Nil

data SList

data SCons :: Symbol -> SList -> SListdata SCons t0 t1

Instances

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

class OrdRecord :: forall k. k -> Row Type -> Constraintclass 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

class SListToRowList :: SList -> RowList Type -> Constraintclass 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)

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

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

class FoldlValues :: RowList Type -> Row Type -> Type -> Constraintclass (Homogeneous row fieldType, HomogeneousRowList rowList fieldType) <= FoldlValues (rowList :: RowList Type) (row :: Row Type) fieldType | rowList -> row fieldType where

Members

• foldlValuesImpl :: forall accum. Proxy rowList -> (accum -> fieldType -> accum) -> accum -> Record row -> accum

Instances

• (FoldlValues tailRowList row fieldType, Homogeneous tailRow fieldType, HomogeneousRowList tailRowList fieldType, HomogeneousRowList trash fieldType, IsSymbol name, RowToList row trash, Cons name fieldType tailRow row) => FoldlValues (Cons name fieldType tailRowList) row fieldType
• (Homogeneous row fieldType) => FoldlValues Nil row fieldType

foldlValues :: forall accum row fieldType rowList. RowToList row rowList => FoldlValues rowList row fieldType => (accum -> fieldType -> accum) -> accum -> Record row -> accum

foldMapValuesL :: forall accum row fieldType rowList. RowToList row rowList => FoldlValues rowList row fieldType => Monoid accum => (fieldType -> accum) -> Record row -> accum

class FoldlValuesWithIndex :: RowList Type -> Row Type -> Type -> Constraintclass (Homogeneous row fieldType, HomogeneousRowList rowList fieldType) <= FoldlValuesWithIndex (rowList :: RowList Type) (row :: Row Type) fieldType | rowList -> row fieldType where

Members

• foldlValuesWithIndexImpl :: forall accum. Proxy rowList -> (accum -> String -> fieldType -> accum) -> accum -> Record row -> accum

Instances

• (FoldlValuesWithIndex tailRowList row fieldType, Homogeneous tailRow fieldType, HomogeneousRowList tailRowList fieldType, HomogeneousRowList trash fieldType, IsSymbol name, RowToList row trash, Cons name fieldType tailRow row) => FoldlValuesWithIndex (Cons name fieldType tailRowList) row fieldType
• (Homogeneous row fieldType) => FoldlValuesWithIndex Nil row fieldType

foldlValuesWithIndex :: forall accum row fieldType rowList. RowToList row rowList => FoldlValuesWithIndex rowList row fieldType => (accum -> String -> fieldType -> accum) -> accum -> Record row -> accum

foldMapValuesWithIndexL :: forall accum row fieldType rowList. RowToList row rowList => FoldlValuesWithIndex rowList row fieldType => Monoid accum => (String -> fieldType -> accum) -> Record row -> accum

class FoldrValues :: RowList Type -> Row Type -> Type -> Constraintclass (Homogeneous row fieldType, HomogeneousRowList rowList fieldType) <= FoldrValues (rowList :: RowList Type) (row :: Row Type) fieldType | rowList -> row fieldType where

Members

• foldrValuesImpl :: forall accum. Proxy rowList -> (fieldType -> accum -> accum) -> accum -> Record row -> accum

Instances

• (FoldrValues tailRowList row fieldType, Homogeneous tailRow fieldType, HomogeneousRowList tailRowList fieldType, HomogeneousRowList trash fieldType, IsSymbol name, RowToList row trash, Cons name fieldType tailRow row) => FoldrValues (Cons name fieldType tailRowList) row fieldType
• (Homogeneous row fieldType) => FoldrValues Nil row fieldType

foldrValues :: forall accum row fieldType rowList. RowToList row rowList => FoldrValues rowList row fieldType => (fieldType -> accum -> accum) -> accum -> Record row -> accum

foldMapValuesR :: forall accum row fieldType rowList. RowToList row rowList => FoldrValues rowList row fieldType => Monoid accum => (fieldType -> accum) -> Record row -> accum

class FoldrValuesLazy :: RowList Type -> Row Type -> Type -> Constraintclass (Homogeneous row fieldType, HomogeneousRowList rl fieldType) <= FoldrValuesLazy rl row fieldType | row -> fieldType where

Members

• foldrValuesLazyImpl :: forall accum. Lazy accum => Proxy rl -> (fieldType -> accum -> accum) -> accum -> Record row -> accum

Instances

• (FoldrValuesLazy tailRowList row fieldType, Homogeneous tailRow fieldType, HomogeneousRowList tailRowList fieldType, HomogeneousRowList trash fieldType, IsSymbol name, RowToList row trash, Cons name fieldType tailRow row) => FoldrValuesLazy (Cons name fieldType tailRowList) row fieldType
• (Homogeneous row fieldType) => FoldrValuesLazy Nil row fieldType

foldrValuesLazy :: forall accum row fieldType rowList. Lazy accum => RowToList row rowList => FoldrValuesLazy rowList row fieldType => (fieldType -> accum -> accum) -> accum -> Record row -> accum

foldMapValuesLazyR :: forall accum row fieldType rowList. Lazy accum => RowToList row rowList => FoldrValuesLazy rowList row fieldType => Monoid accum => (fieldType -> accum) -> Record row -> accum

class FoldrValuesWithIndex :: RowList Type -> Row Type -> Type -> Constraintclass (Homogeneous row fieldType, HomogeneousRowList rowList fieldType) <= FoldrValuesWithIndex (rowList :: RowList Type) (row :: Row Type) fieldType | rowList -> row fieldType where

Members

• foldrValuesWithIndexImpl :: forall accum. Proxy rowList -> (String -> fieldType -> accum -> accum) -> accum -> Record row -> accum

Instances

• (FoldrValuesWithIndex tailRowList row fieldType, Homogeneous tailRow fieldType, HomogeneousRowList tailRowList fieldType, HomogeneousRowList trash fieldType, IsSymbol name, RowToList row trash, Cons name fieldType tailRow row) => FoldrValuesWithIndex (Cons name fieldType tailRowList) row fieldType
• (Homogeneous row fieldType) => FoldrValuesWithIndex Nil row fieldType

foldrValuesWithIndex :: forall accum row fieldType rowList. RowToList row rowList => FoldrValuesWithIndex rowList row fieldType => (String -> fieldType -> accum -> accum) -> accum -> Record row -> accum

foldMapValuesWithIndexR :: forall accum row fieldType rowList. RowToList row rowList => FoldrValuesWithIndex rowList row fieldType => Monoid accum => (String -> fieldType -> accum) -> Record row -> accum

class Keys :: RowList Type -> Constraintclass Keys (xs :: RowList Type)  where

Members

• keysImpl :: Proxy xs -> List String

Instances

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

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

pickFn :: forall r1 r2. Fn2 (Array String) (Record r1) (Record r2)

pick :: forall a r b l. Union b r a => RowToList b l => Keys l => Record a -> Record b

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

class MapIndex :: forall k. RowList Type -> Row Type -> k -> Type -> Row Type -> Row Type -> Constraintclass MapIndex (xs :: RowList Type) (row :: Row Type) a b (from :: Row Type) (to :: Row Type) | xs -> row a b from to where

Members

• mapIndexBuilder :: Proxy xs -> (String -> b) -> Builder (Record from) (Record to)

Instances

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

mapIndex :: forall row xs a b row'. RowToList row xs => MapIndex xs row a b () row' => (String -> b) -> Proxy row -> Record row'

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

Members

• mapRecordBuilder :: Proxy xs -> (a -> b) -> Record row -> Builder (Record from) (Record 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 () ()

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

class MapValuesWithIndex :: RowList Type -> Row Type -> Type -> Type -> Row Type -> Row Type -> Constraintclass MapValuesWithIndex (xs :: RowList Type) (row :: Row Type) a b (from :: Row Type) (to :: Row Type) | xs -> row a b from to where

Members

• mapValuesWithIndexBuilder :: Proxy xs -> (String -> a -> b) -> Record row -> Builder (Record from) (Record to)

Instances

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

mapValuesWithIndex :: forall row xs a b row'. RowToList row xs => MapValuesWithIndex xs row a b () row' => (String -> a -> b) -> Record row -> Record row'

class ParSequenceRecord :: forall k. k -> Row Type -> Row Type -> Row Type -> (Type -> Type) -> (Type -> Type) -> Constraintclass (Parallel parM m) <= ParSequenceRecord rl row from to parM m | rl -> row from to parM m where

Members

• parSequenceRecordImpl :: Proxy rl -> Record row -> parM (Builder (Record from) (Record to))

Instances

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

parSequenceRecord :: forall row row' rl parM m. RowToList row rl => ParSequenceRecord rl row () row' parM m => Record row -> m (Record row')

class SequenceRecord :: forall k. k -> Row Type -> Row Type -> Row Type -> (Type -> Type) -> Constraintclass (Functor m) <= SequenceRecord rl row from to m | rl -> row from to m where

Members

• sequenceRecordImpl :: Proxy rl -> Record row -> m (Builder (Record from) (Record to))

Instances

• (IsSymbol name, Cons name (m ty) trash row, Functor m, Lacks name (), Cons name ty () to) => SequenceRecord (Cons name (m ty) Nil) row () to m
• (IsSymbol name, Cons name (m ty) trash row, Apply m, 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 => SequenceRecord rl row () row' m => Record row -> m (Record row')

newtype LazyTupleList v

Constructors

• LazyTupleList (Unit -> Maybe (Tuple v (LazyTupleList v)))

Instances

• Lazy (LazyTupleList v)

valuesToUnfoldableLazy :: forall r fields f v. RowToList r fields => FoldrValuesLazy fields r v => Unfoldable f => Record r -> f v

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

Members

• zipRecordImpl :: Proxy rla -> Record ra -> Proxy rlb -> Record rb -> Builder (Record from) (Record 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 => Record ra -> Record rb -> Record rc