mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 11:56:54 +03:00
25 lines
1.0 KiB
Plaintext
25 lines
1.0 KiB
Plaintext
type Either = (Left value) | (Right value)
|
|
type Bool = True | False
|
|
|
|
Foo (Either/Left Bool/False) (Either/Left Bool/False) = 1
|
|
Foo (Either/Left Bool/False) (Either/Left Bool/True) = 1
|
|
Foo (Either/Left Bool/True) (Either/Left Bool/False) = 1
|
|
Foo (Either/Left Bool/True) (Either/Left Bool/True) = 1
|
|
|
|
Foo (Either/Left Bool/False) (Either/Right Bool/False) = 2
|
|
Foo (Either/Left Bool/False) (Either/Right Bool/True) = 2
|
|
Foo (Either/Left Bool/True) (Either/Right Bool/False) = 2
|
|
Foo (Either/Left Bool/True) (Either/Right Bool/True) = 2
|
|
|
|
Foo (Either/Right Bool/False) (Either/Right Bool/False) = 3
|
|
Foo (Either/Right Bool/False) (Either/Right Bool/True) = 3
|
|
Foo (Either/Right Bool/True) (Either/Right Bool/False) = 3
|
|
Foo (Either/Right Bool/True) (Either/Right Bool/True) = 3
|
|
|
|
Foo (Either/Right Bool/False) (Either/Left Bool/False) = 3
|
|
Foo (Either/Right Bool/False) (Either/Left Bool/True) = 3
|
|
Foo (Either/Right Bool/True) (Either/Left Bool/False) = 3
|
|
Foo (Either/Right Bool/True) (Either/Left Bool/True) = 3
|
|
|
|
|