We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 94113d4 commit 394be76Copy full SHA for 394be76
src/Data/Codec/Argonaut/Sum.purs
@@ -393,7 +393,7 @@ encodeSumCase encoding tag jsons =
393
encode jobject $ Obj.fromFoldable $ catMaybes
394
[ tagEntry, valEntry ]
395
396
--- | Same as `Record.delete` deleting only happens at the type level
+-- | Same as `Record.delete` but deleting only happens at the type level
397
-- | and the value is left untouched.
398
unsafeDelete ∷ ∀ r1 r2 l a. IsSymbol l ⇒ Row.Lacks l r1 ⇒ Row.Cons l a r1 r2 ⇒ Proxy l → Record r2 → Record r1
399
unsafeDelete _ r = unsafeCoerce r
0 commit comments