punc 1.0.18

Pun Calculus
Documentation 
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

use ::punc::*;

#[test]
fn structural_equality() {

   assert_eq!(
      punc!( a: A ).typ(),
      Type::named("A")
   );
   assert_eq!(
      punc!( b: B ).typ(),
      Type::named("B")
   );
   assert_eq!(
      punc!( c: C ).typ(),
      Type::named("C")
   );

   assert_eq!(
      punc!( a: A+B+C ).typ(),
      Type::plural(vec![
         Type::named("A"),
         Type::named("B"),
         Type::named("C")
      ])
   );

   assert_eq!(
      punc!( a: (A->B) ).typ(),
      Type::arrow(
         Type::named("A"),
         Type::named("B")
      )
   );

}