gralha-bendquest
Releases (1)
-
0.1.0.0 indexed
Definitions (307)
game.bend
- law Bq.and_intro
- law Bq.shop_never_refuses_a_funded_buy
- law Bq.quaff_burns_one_potion
- law Bq.stat_total
- law Bq.stat_expect
- law Bq.stat_succ
- law Bq.ops_respect_stat_budget
- law Bq.WearOK
- law Bq.WellEquipped
- law Bq.le_succ_r
- law Bq.can_wear_mono_str
- law Bq.wear_ok_mono_str
- law Bq.can_wear_mono_agi
- law Bq.wear_ok_mono_agi
- law Bq.can_wear_mono_vit
- law Bq.wear_ok_mono_vit
- law Bq.can_wear_mono_lv
- law Bq.wear_ok_mono_lv
- law Bq.ops_respect_requirements
- law Bq.nmin_le_r
- law Bq.damage_capped
- law Bq.nmin_pos
- law Bq.nmax_ge_one
- law Bq.damage_at_least_one
- law Bq.le_nmax
- law Bq.no_instakill
- law Bq.le_step_down
- law Bq.walk_bounds_go
- law Bq.walk_stays_in_bounds
- law Bq.Bool.or
- law Bq.Nat.eq
- law Bq.near
- law Bq.Nat.eq_refl
- law Bq.near_self
- law Bq.neq_succ
- law Bq.neq_succ2
- law Bq.near_pred
- law Bq.neq_succ_r
- law Bq.near_succ
- law Bq.walk_is_adjacent
growth.bend
- def Growth.maximum
- law Growth.le_add_prefix
- law Growth.add_left
- law Growth.add_right
- law Growth.add_both
- law Growth.mul
- law Growth.double
- law Growth.pred
- law Growth.raw_maximum
- law Growth.maximum_monotone
- law Growth.health_preserved
- law Growth.level_up_preserves_health
- law Growth.vitality_up_preserves_health
health.bend
- def Health.spec_clamp
- def Health.spec_heal
- def Health.spec_hurt
- law Health.le_refl
- law Health.le_trans
- law Health.spec_clamp_bounded
- law Health.spec_clamp_unchanged
- law Health.spec_hurt_decreases
- law Health.spec_hurt_preserves_bound
- law Health.spec_heal_bounded
- law Health.le_add
- law Health.le_min
- law Health.spec_heal_never_harms
- law Health.spec_hurt_survives
- def Health.pickThese implementations use Base arithmetic, which the native compiler implements with big integers.
- def Health.clamp
- def Health.heal
- def Health.hurt
- law Health.pick_succ
- law Health.clamp_agrees
- law Health.add_agrees
- law Health.hurt_agrees
- law Health.heal_agrees
- law Health.heal_bounded
- law Health.heal_never_harms
- law Health.hurt_preserves_bound
- law Health.hurt_survives
- def Health.clamp_wordExisting U32 records enter the rules here.
- def Health.heal_word
- def Health.hurt_word
- law Health.clamp_bounded
- law Health.hurt_decreases
- law Health.clamp_word_exact
- law Health.heal_word_exact
- law Health.hurt_word_exact
- law Health.clamp_word_bounded
- law Health.heal_word_bounded
- law Health.heal_word_never_harms
- law Health.hurt_word_preserves_bound
- law Health.hurt_word_survives
- def Health.cap_nat_wordNatural stat-derived maxima must be clamped before conversion, too.
- law Health.cap_nat_word_exact
- law Health.spec_clamp_decreases
- law Health.clamp_decreases
- law Health.clamp_monotone
- law Health.cap_nat_word_monotone
- law Health.add_mono_left