Module

Record.Unsafe

Package: prelude
Repository: purerl/purescript-prelude

The functions in this module are highly unsafe as they treat records like stringly-keyed maps and can coerce the row of labels that a record has.

These function are intended for situations where there is some other way of proving things about the structure of the record - for example, when using RowToList. They should never be used for general record manipulation.

#unsafeHas Source

unsafeHas :: forall r1. String -> Record r1 -> Boolean

Checks if a record has a key, using a string for the key.

#unsafeGet Source

unsafeGet :: forall r a. String -> Record r -> a

Unsafely gets a value from a record, using a string for the key.

If the key does not exist this will cause a runtime error elsewhere.

#unsafeSet Source

unsafeSet :: forall r1 r2 a. String -> a -> Record r1 -> Record r2

Unsafely sets a value on a record, using a string for the key.

The output record's row is unspecified so can be coerced to any row. If the output type is incorrect it will cause a runtime error elsewhere.

#unsafeDelete Source

unsafeDelete :: forall r1 r2. String -> Record r1 -> Record r2

Unsafely removes a value on a record, using a string for the key.

The output record's row is unspecified so can be coerced to any row. If the output type is incorrect it will cause a runtime error elsewhere.

Modules: Control.Applicative; Control.Apply; Control.Bind; Control.Category; Control.Monad; Control.Semigroupoid; Data.Boolean; Data.BooleanAlgebra; Data.Bounded; Data.Bounded.Generic; Data.CommutativeRing; Data.DivisionRing; Data.Eq; Data.Eq.Generic; Data.EuclideanRing; Data.Field; Data.Function; Data.Functor; Data.Generic.Rep; Data.HeytingAlgebra; Data.HeytingAlgebra.Generic; Data.Monoid; Data.Monoid.Additive; Data.Monoid.Conj; Data.Monoid.Disj; Data.Monoid.Dual; Data.Monoid.Endo; Data.Monoid.Generic; Data.Monoid.Multiplicative; Data.NaturalTransformation; Data.Ord; Data.Ord.Generic; Data.Ordering; Data.Ring; Data.Ring.Generic; Data.Semigroup; Data.Semigroup.First; Data.Semigroup.Generic; Data.Semigroup.Last; Data.Semiring; Data.Semiring.Generic; Data.Show; Data.Show.Generic; Data.Symbol; Data.Unit; Data.Void; Prelude; Record.Unsafe; Type.Data.Row; Type.Data.RowList; Type.Proxy