gralha-bendquest

Search uses release 0.1.0.0 · 307 definitions

Releases (1)

0.1.0.0 indexed

Definitions (307)

health.bend

def Health.maximum_wordAdd the charm bonus before conversion.
law Health.maximum_word_monotone
law Health.cap_nat_word_positive
law Health.spec_hurt_zero
law Health.hurt_word_zero

numeric.bend

def Numeric.limitLargest natural representable by a word of n bits.
def Numeric.encodeGeneralization of Base.U32.from_nat to arbitrary word widths.
def Numeric.full
law Numeric.encode_double
law Numeric.word_roundtrip
law Numeric.zero_value
law Numeric.full_value
law Numeric.true_ne_false
law Numeric.inc_exact
law Numeric.no_self_successor
law Numeric.below_full.go
law Numeric.nat_roundtrip
law Numeric.double_le
law Numeric.word_bounded
law Numeric.u32_encode_agrees
law Numeric.u32_roundtrip
type Numeric.FitsA representability witness avoids evaluating a closed 2^32-sized unary bound during type conversion.
law Numeric.value_fits
law Numeric.fits_bound
law Numeric.representable_roundtrip
law Numeric.le_trans
law Numeric.fits_downward
law Numeric.u32_value_fits
law Numeric.u32_nat_roundtrip
law Numeric.bool_cmp_refl
law Numeric.word_cmp_refl
law Numeric.u32_eq_refl
law Numeric.cmp_eq
law Numeric.cmp_tail_eq
law Numeric.bool_cmp_eq
law Numeric.word_cmp_eq
law Numeric.u32_eq_sound

rewards.bend

type Rewards.Result
def Rewards.hero
def Rewards.level
def Rewards.charm_amount
def Rewards.charm_bonus
def Rewards.maximum
def Rewards.cost
def Rewards.eligible
def Rewards.loop
def Rewards.go
def Rewards.gain
law Rewards.level_up_health
law Rewards.loop_health
law Rewards.gain_health
law Rewards.loop_equipped
law Rewards.gain_equipped
def Rewards.add_itemServer-authored grants change inventory or gold, never equipped slots or stats.
def Rewards.add_gold
def Rewards.sidequest_nat
def Rewards.sidequest
law Rewards.add_item_health
law Rewards.add_item_equipped
law Rewards.add_gold_health
law Rewards.add_gold_equipped
law Rewards.sidequest_nat_health
law Rewards.sidequest_nat_equipped
law Rewards.sidequest_health
law Rewards.sidequest_equipped
law Rewards.maximum_positive

vitals.bend