def int.val

bend-kit-redis@0.3.0.0 · redis.bend:286

import bend-kit-redis@0.3.0.0/redis.bend as Redis

import Base

286def int.val(good: Bool, +neg: Bool, +hi: U32, +lo: U32) -> Maybe<&1, Val>:
287  match good:
288    case True{}:
289      Some{int.mk(Bool.pick(U32 & U32, neg, i64.neg(hi, lo), (hi, lo)))}
290    case False{}:
291      None{}

Uses (9)

Used by (1)

bend-kit-redis@0.3.0.0/redis:int.of