Commit 11c1a63d authored by Daniel Firth's avatar Daniel Firth
Browse files

Use type families in tests

parent 56cae166
No related merge requests found
Pipeline #615 passed with stages
in 43 seconds
......@@ -20,6 +20,7 @@ import Composite.TH
import Data.Functor.Contravariant
import Data.Functor.Identity
import Data.Vinyl
import Fcf
import Test.Tasty
import Test.Tasty.HUnit
......@@ -34,17 +35,21 @@ withLensesAndProxies
type D = "d" :-> (String, Int)
|]
type RecA = Record '[A, B, C]
type X = '[A, B, C]
type RecB = Record '[B, C, D]
type Y = '[B, C, D]
type RecDiffAB = Record '[A]
type RecA = Record X
type RecDiffBA = Record '[D]
type RecB = Record Y
type RecUnionAB = Record '[A, B, C, D]
type RecDiffAB = Record (Eval (Difference X Y))
type RecIntersectionAB = Record '[B, C]
type RecDiffBA = Record (Eval (Difference Y X))
type RecUnionAB = Record (Eval (Union Y X))
type RecIntersectionAB = Record (Eval (Intersection X Y))
recA :: RecA
recA = "foo" :*: 5 :*: () :*: RNil
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment