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

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