(.*.) -- Add a field to a record. Analagous to (++) for lists.

record .*. field1 .*. field2 -

(.=.) -- Create a value with the given label. Analagous to a data constructor such as Just, Left, or Right. Higher fixity than record-modification operations like (.*.), (.-.), etc. to support expression like the below w/o parentheses:

label1 .=. value1 .*. label2 .=. value2 .*. emptyRecord

(.!.) -- Lookup a value in a record, by its label. Analagous to (!!), the list indexing operation. Highest fixity, like (!!).

record1 .*. label1 .=. record2 .!. label1 .*. label2 .=. record2 .!. label2 -

(.-.) -- Remove a field from a record. At the same level as other record modification options (.*.). Analagous to (\) in lists.

record1 .-. label1

label1 .=. value1 .*. label2 .=. value2 .-. label2 .*. emptyRecord

label1 .=. value1 .-. label1 .*. label2 .=. value2 .*. emptyRecord

record1 .*. label1 .=. record2 .!. label1 .*. label2 .=. record2 .!. label2 .-. label1 -

(..) -- Update a field with a particular value. Another record-level operation, so it has the same fixity as (.*.) and (.-.). No real list analogue, since there is no Prelude defined update. record1 .. label1 .=. value1

record1 .. label1 .=. record2 .!. label1 record1 .*. label1 .=. record2 .!. label1 .*. label2 .=. record2 .!. label2 .. label1 .=. value2

(.^.) -- This is a variation on updating (according to GhcRecord.hs), so use the same fixity as (.@.).

(.<.) -- Another variation on update, so give it the same fixity as (.@.).

(.<++.) -- Similar to list append, so give this slightly lower fixity than (.*.), so we can write:

record1 .*. field1 .<++. record2 .*. field2