Record.ST

data STRecord :: Region -> Row Type -> Type

A value of type STRecord h r represents a mutable record with fields r, belonging to the state thread h.

Create values of type STRecord using thaw.

freeze :: forall r h. STRecord h r -> ST h (Record r)

Freeze a mutable record, creating a copy.

thaw :: forall r h. Record r -> ST h (STRecord h r)

Thaw an immutable record, creating a copy.

peek :: forall r1 r a h l. Cons l a r1 r => IsSymbol l => SProxy l -> STRecord h r -> ST h a

Read the current value of a field in a mutable record, by providing a type-level representative for the label which should be read.

poke :: forall r1 r a h l. Cons l a r1 r => IsSymbol l => SProxy l -> a -> STRecord h r -> ST h Unit

Modify a record in place, by providing a type-level representative for the label which should be updated.

modify :: forall r1 r a h l. Cons l a r1 r => IsSymbol l => SProxy l -> (a -> a) -> STRecord h r -> ST h Unit

Modify a record in place, by providing a type-level representative for the label to update and a function to update it.