blob: a0481e82e7121104722ee5ba664d5895ef9d5942 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE TypeFamilies #-}
module Types where
data Quux = Bar | Baz
newtype Foo = Foo ()
type FooQuux = (Foo, Quux)
type QuuxFoo = (Quux, Foo)
data family Norf a b
data instance Norf Foo Quux = NFQ Foo Quux
data instance Norf Quux Foo = NQF Quux Foo
type family Norf' a b
type instance Norf' Foo Quux = (Foo, Quux)
type instance Norf' Quux Foo = (Quux, Foo)
norf1 :: Norf Foo Quux -> Int
norf1 (NFQ (Foo ()) Bar) = 0
norf1 (NFQ (Foo ()) Baz) = 1
norf2 :: Norf Quux Foo -> Int
norf2 (NQF Bar (Foo ())) = 0
norf2 (NQF Baz (Foo ())) = 1
norf1' :: Norf' Foo Quux -> Int
norf1' (Foo (), Bar) = 0
norf1' (Foo (), Baz) = 1
norf2' :: Norf' Quux Foo -> Int
norf2' (Bar, Foo ()) = 0
norf2' (Baz, Foo ()) = 1
|
