mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-08-15 14:50:42 +03:00
108 lines
1.8 KiB
Plaintext
108 lines
1.8 KiB
Plaintext
---
|
|
source: tests/golden_tests.rs
|
|
input_file: tests/golden_tests/encode_pattern_match/common.bend
|
|
---
|
|
Scott
|
|
(Box/Filled) = λa λb λ* (b a)
|
|
|
|
(Box/Empty) = λ* λb b
|
|
|
|
(Option/Some) = λa λb λ* (b a)
|
|
|
|
(Option/None) = λ* λb b
|
|
|
|
(Result_/Ok) = λa λb λ* (b a)
|
|
|
|
(Result_/Err) = λa λ* λc (c a)
|
|
|
|
(List_/Cons) = λa λb λc λ* (c a b)
|
|
|
|
(List_/Nil) = λ* λb b
|
|
|
|
(Bool/True) = λa λ* a
|
|
|
|
(Bool/False) = λ* λb b
|
|
|
|
(Light/Red) = λa λ* λ* a
|
|
|
|
(Light/Yellow) = λ* λb λ* b
|
|
|
|
(Light/Green) = λ* λ* λc c
|
|
|
|
(Direction/North) = λa λ* λ* λ* a
|
|
|
|
(Direction/South) = λ* λb λ* λ* b
|
|
|
|
(Direction/East) = λ* λ* λc λ* c
|
|
|
|
(Direction/West) = λ* λ* λ* λd d
|
|
|
|
NumScott
|
|
(Box/Filled) = λa λb (b Box/Filled/tag a)
|
|
|
|
(Box/Empty) = λa (a Box/Empty/tag)
|
|
|
|
(Option/Some) = λa λb (b Option/Some/tag a)
|
|
|
|
(Option/None) = λa (a Option/None/tag)
|
|
|
|
(Result_/Ok) = λa λb (b Result_/Ok/tag a)
|
|
|
|
(Result_/Err) = λa λb (b Result_/Err/tag a)
|
|
|
|
(List_/Cons) = λa λb λc (c List_/Cons/tag a b)
|
|
|
|
(List_/Nil) = λa (a List_/Nil/tag)
|
|
|
|
(Bool/True) = λa (a Bool/True/tag)
|
|
|
|
(Bool/False) = λa (a Bool/False/tag)
|
|
|
|
(Light/Red) = λa (a Light/Red/tag)
|
|
|
|
(Light/Yellow) = λa (a Light/Yellow/tag)
|
|
|
|
(Light/Green) = λa (a Light/Green/tag)
|
|
|
|
(Direction/North) = λa (a Direction/North/tag)
|
|
|
|
(Direction/South) = λa (a Direction/South/tag)
|
|
|
|
(Direction/East) = λa (a Direction/East/tag)
|
|
|
|
(Direction/West) = λa (a Direction/West/tag)
|
|
|
|
(Box/Filled/tag) = 0
|
|
|
|
(Box/Empty/tag) = 1
|
|
|
|
(Option/Some/tag) = 0
|
|
|
|
(Option/None/tag) = 1
|
|
|
|
(Result_/Ok/tag) = 0
|
|
|
|
(Result_/Err/tag) = 1
|
|
|
|
(List_/Cons/tag) = 0
|
|
|
|
(List_/Nil/tag) = 1
|
|
|
|
(Bool/True/tag) = 0
|
|
|
|
(Bool/False/tag) = 1
|
|
|
|
(Light/Red/tag) = 0
|
|
|
|
(Light/Yellow/tag) = 1
|
|
|
|
(Light/Green/tag) = 2
|
|
|
|
(Direction/North/tag) = 0
|
|
|
|
(Direction/South/tag) = 1
|
|
|
|
(Direction/East/tag) = 2
|
|
|
|
(Direction/West/tag) = 3
|