| # DO NOT EDIT; generated by go run testdata/gen.go |
| # |
| raw: true |
| eval: true |
| -- in.cue -- |
| { |
| u16: int & >=0 & <=65535 |
| u32: uint32 |
| u64: uint64 |
| u128: uint128 |
| u8: uint8 |
| ua: uint16 & >0 |
| us: >=0 & <10_000 & int |
| i16: >=-32768 & int & <=32767 |
| i32: int32 & >0 |
| i64: int64 |
| i128: int128 |
| f64: float64 |
| fi: float64 & int |
| } |
| -- out/def -- |
| u16: uint16 |
| u32: uint32 |
| u64: uint64 |
| u128: uint128 |
| u8: uint8 |
| ua: uint16 & >0 |
| us: uint & <10000 |
| i16: int16 |
| i32: int32 & >0 |
| i64: int64 |
| i128: int128 |
| f64: float64 |
| fi: int & float64 |
| -- out/compile -- |
| --- in.cue |
| { |
| { |
| u16: ((int & >=0) & <=65535) |
| u32: &(int, >=0, <=4294967295) |
| u64: &(int, >=0, <=18446744073709551615) |
| u128: &(int, >=0, <=340282366920938463463374607431768211455) |
| u8: &(int, >=0, <=255) |
| ua: (&(int, >=0, <=65535) & >0) |
| us: ((>=0 & <10000) & int) |
| i16: ((>=-32768 & int) & <=32767) |
| i32: (&(int, >=-2147483648, <=2147483647) & >0) |
| i64: &(int, >=-9223372036854775808, <=9223372036854775807) |
| i128: &(int, >=-170141183460469231731687303715884105728, <=170141183460469231731687303715884105727) |
| f64: &(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308) |
| fi: (&(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308) & int) |
| } |
| } |
| -- out/eval -- |
| (struct){ |
| u16: (int){ &(>=0, <=65535, int) } |
| u32: (int){ &(>=0, <=4294967295, int) } |
| u64: (int){ &(>=0, <=18446744073709551615, int) } |
| u128: (int){ &(>=0, <=340282366920938463463374607431768211455, int) } |
| u8: (int){ &(>=0, <=255, int) } |
| ua: (int){ &(>0, <=65535, int) } |
| us: (int){ &(>=0, <10000, int) } |
| i16: (int){ &(>=-32768, <=32767, int) } |
| i32: (int){ &(>0, <=2147483647, int) } |
| i64: (int){ &(>=-9223372036854775808, <=9223372036854775807, int) } |
| i128: (int){ &(>=-170141183460469231731687303715884105728, <=170141183460469231731687303715884105727, int) } |
| f64: (number){ &(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308) } |
| fi: (int){ &(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308, int) } |
| } |
