cuelang.org/go@v0.13.0/cue/testdata/export/016.txtar (about)

     1  raw: true
     2  eval: true
     3  -- in.cue --
     4  {
     5  	u16:  int & >=0 & <=65535
     6  	u32:  uint32
     7  	u64:  uint64
     8  	u128: uint128
     9  	u8:   uint8
    10  	ua:   uint16 & >0
    11  	us:   >=0 & <10_000 & int
    12  	i16:  >=-32768 & int & <=32767
    13  	i32:  int32 & >0
    14  	i64:  int64
    15  	i128: int128
    16  	f64:  float64
    17  	fi:   float64 & int
    18  }
    19  -- out/def --
    20  u16:  uint16
    21  u32:  uint32
    22  u64:  uint64
    23  u128: uint128
    24  u8:   uint8
    25  ua:   uint16 & >0
    26  us:   uint & <10000
    27  i16:  int16
    28  i32:  int32 & >0
    29  i64:  int64
    30  i128: int128
    31  f64:  float64
    32  fi:   int & float64
    33  -- out/compile --
    34  --- in.cue
    35  {
    36    {
    37      u16: ((int & >=0) & <=65535)
    38      u32: &(int, >=0, <=4294967295)
    39      u64: &(int, >=0, <=18446744073709551615)
    40      u128: &(int, >=0, <=340282366920938463463374607431768211455)
    41      u8: &(int, >=0, <=255)
    42      ua: (&(int, >=0, <=65535) & >0)
    43      us: ((>=0 & <10000) & int)
    44      i16: ((>=-32768 & int) & <=32767)
    45      i32: (&(int, >=-2147483648, <=2147483647) & >0)
    46      i64: &(int, >=-9223372036854775808, <=9223372036854775807)
    47      i128: &(int, >=-170141183460469231731687303715884105728, <=170141183460469231731687303715884105727)
    48      f64: &(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308)
    49      fi: (&(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308) & int)
    50    }
    51  }
    52  -- out/eval/stats --
    53  Leaks:  0
    54  Freed:  14
    55  Reused: 12
    56  Allocs: 2
    57  Retain: 0
    58  
    59  Unifications: 14
    60  Conjuncts:    24
    61  Disjuncts:    14
    62  -- out/eval --
    63  (struct){
    64    u16: (int){ &(>=0, <=65535, int) }
    65    u32: (int){ &(>=0, <=4294967295, int) }
    66    u64: (int){ &(>=0, <=18446744073709551615, int) }
    67    u128: (int){ &(>=0, <=340282366920938463463374607431768211455, int) }
    68    u8: (int){ &(>=0, <=255, int) }
    69    ua: (int){ &(>0, <=65535, int) }
    70    us: (int){ &(>=0, <10000, int) }
    71    i16: (int){ &(>=-32768, <=32767, int) }
    72    i32: (int){ &(>0, <=2147483647, int) }
    73    i64: (int){ &(>=-9223372036854775808, <=9223372036854775807, int) }
    74    i128: (int){ &(>=-170141183460469231731687303715884105728, <=170141183460469231731687303715884105727, int) }
    75    f64: (number){ &(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308) }
    76    fi: (int){ &(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308, int) }
    77  }