# Record

- Package
- purescript-record
- Repository
- purescript/purescript-record

### #set Source

`set :: forall r1 r2 r l a b. IsSymbol l => Cons l a r r1 => Cons l b r r2 => SProxy l -> b -> Record r1 -> Record r2`

Set a property for a label which is specified using a value-level proxy for a type-level string.

For example:

```
set (SProxy :: SProxy "x")
:: forall r a b. a -> { x :: b | r } -> { x :: a | r }
```

### #modify Source

`modify :: forall r1 r2 r l a b. IsSymbol l => Cons l a r r1 => Cons l b r r2 => SProxy l -> (a -> b) -> Record r1 -> Record r2`

Modify a property for a label which is specified using a value-level proxy for a type-level string.

For example:

```
modify (SProxy :: SProxy "x")
:: forall r a b. (a -> b) -> { x :: a | r } -> { x :: b | r }
```

### #insert Source

`insert :: forall r1 r2 l a. IsSymbol l => Lacks l r1 => Cons l a r1 r2 => SProxy l -> a -> Record r1 -> Record r2`

Insert a new property for a label which is specified using a value-level proxy for a type-level string.

For example:

```
insert (SProxy :: SProxy "x")
:: forall r a. Lacks "x" r => a -> { | r } -> { x :: a | r }
```

### #delete Source

`delete :: forall r1 r2 l a. IsSymbol l => Lacks l r1 => Cons l a r1 r2 => SProxy l -> Record r2 -> Record r1`

Delete a property for a label which is specified using a value-level proxy for a type-level string.

Note that the type of the resulting row must *lack* the specified property.
Since duplicate labels are allowed, this is checked with a type class constraint.

For example:

```
delete (SProxy :: SProxy "x")
:: forall r a. Lacks "x" r => { x :: a | r } -> { | r }
```

### #rename Source

`rename :: forall prev next ty input inter output. IsSymbol prev => IsSymbol next => Cons prev ty inter input => Lacks prev inter => Cons next ty inter output => Lacks next inter => SProxy prev -> SProxy next -> Record input -> Record output`

Rename a property for a label which is specified using a value-level proxy for a type-level string.

Note that the type of the resulting row must *lack* the specified property.
Since duplicate labels are allowed, this is checked with a type class constraint.

For example:

```
rename (SProxy :: SProxy "x") (SProxy :: SProxy "y")
:: forall a r. Lacks "x" r => Lacks "y" r => { x :: a | r} -> { y :: a | r}
```

### #union Source

`union :: forall r1 r2 r3. Union r1 r2 r3 => Record r1 -> Record r2 -> Record r3`

Merges two records with the first record's labels taking precedence in the
case of overlaps. Unlike `merge`

, this does not remove duplicate labels
from the resulting record type. This can result in better inference for
some pipelines, deferring the need for a `Nub`

constraint.

For example:

```
union { x: 1, y: "y" } { y: 2, z: true }
:: { x :: Int, y :: String, y :: Int, z :: Boolean }
```

### #disjointUnion Source

`disjointUnion :: forall r1 r2 r3. Union r1 r2 r3 => Nub r3 r3 => Record r1 -> Record r2 -> Record r3`

Merges two records where no labels overlap. This restriction exhibits
better inference than `merge`

when the resulting record type is known,
but one argument is not.

For example, hole `?help`

is inferred to have type `{ b :: Int }`

here:

```
disjoinUnion { a: 5 } ?help :: { a :: Int, b :: Int }
```

### #EqualFields Source

`class EqualFields (rs :: RowList) (row :: # Type) | rs -> row where`

#### Members

`equalFields :: RLProxy rs -> Record row -> Record row -> Boolean`

#### Instances

`(IsSymbol name, Eq ty, Cons name ty tailRow row, EqualFields tail row) => EqualFields (Cons name ty tail) row`

`EqualFields Nil row`