git.iko.soy/jrec
on master help sign in
Add insertOrSet, WIP
7bbf81cSridhar Ratnakumar
src/JRec.hs+17
compare with master
unifiedsplit
@@ -9,6 +9,7 @@ module JRec
9 pattern Rec,
9 pattern Rec,
10 append,
10 append,
11 union,
11 union,
12+ -- insertOrSet
12 )
13 )
13where
14where
14
15
@@ -74,6 +75,22 @@ union ::
74 Rec res
75 Rec res
75union = R.union
76union = R.union
76
77
78+--insertOrSet ::
79+-- forall label value rhs res.
80+-- ( KnownNat (R.RecSize rhs),
81+-- KnownNat (R.RecTyIdxH 0 label res),
82+-- KnownNat (1 + R.RecSize rhs),
83+-- KnownSymbol label,
84+-- res ~ R.Union '[label := value] rhs,
85+-- value ~ R.RecTy label res,
86+-- R.RecCopy rhs rhs res
87+-- ) =>
88+-- label := value ->
89+-- Rec rhs ->
90+-- Rec res
91+--insertOrSet = union . Rec
92+--
93+
77----------------------------------------------------------------------------
94----------------------------------------------------------------------------
78-- Generic
95-- Generic
79----------------------------------------------------------------------------
96----------------------------------------------------------------------------
test/JRecSpec.hs+7
@@ -58,3 +58,10 @@ spec = do
58 r2 = Rec (#c := 7, #a := 8)
58 r2 = Rec (#c := 7, #a := 8)
59 r1 `union` r2
59 r1 `union` r2
60 `shouldBe` Rec (#b := 5, #a := 6, #c := 7)
60 `shouldBe` Rec (#b := 5, #a := 6, #c := 7)
61+-- describe "insertOrSet" $ do
62+-- it "distinct" $ do
63+-- insertOrSet (#a := 1) (Rec (#b := 2, #c := 3))
64+-- `shouldBe` Rec (#a := 1, #b := 2, #c := 3)
65+-- it "overwrite" $ do
66+-- insertOrSet (#c := 1) (Rec (#b := 2, #c := 3))
67+-- `shouldBe` Rec (#b := 2, #c := 1)