zephyr/horse
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

horse/prob: remove redundant qualifiers

Browse Source
This commit is contained in:
Branden J Brown
2026-01-19 22:30:19 -05:00
parent a8921e9cf6
commit 9469c2c7a2
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
horse/prob/kfl.kk
View File

@@ -24,7 +24,7 @@ pub type kfl
// Automatically generated. // Automatically generated.
// Comparison of the `kfl` type. // Comparison of the `kfl` type.
pub fun kfl/cmp(this : kfl, other : kfl) : e order pub fun cmp(this : kfl, other : kfl) : e order
match (this, other) match (this, other)
(Impossible, Impossible) -> Eq (Impossible, Impossible) -> Eq
(Impossible, _) -> Lt (Impossible, _) -> Lt
@@ -53,7 +53,7 @@ pub fun kfl/cmp(this : kfl, other : kfl) : e order
(Guaranteed, Guaranteed) -> Eq (Guaranteed, Guaranteed) -> Eq
// Shows a string representation of the `kfl` type. // Shows a string representation of the `kfl` type.
pub fun kfl/show(this : kfl) : e string pub fun show(this : kfl) : e string
match this match this
Impossible -> "impossible" Impossible -> "impossible"
Probably-Not -> "probably not" Probably-Not -> "probably not"
@@ -66,7 +66,7 @@ pub fun kfl/show(this : kfl) : e string
Guaranteed -> "guaranteed" Guaranteed -> "guaranteed"
// KFL multiplication, or the probability of cooccurrence of two independent events. // KFL multiplication, or the probability of cooccurrence of two independent events.
pub fun kfl/(*)(a: kfl, b: kfl): e kfl pub fun (*)(a: kfl, b: kfl): e kfl
val (l, h) = match a.cmp(b) // this operation is commutative val (l, h) = match a.cmp(b) // this operation is commutative
Gt -> (b, a) Gt -> (b, a)
_ -> (a, b) _ -> (a, b)
@@ -92,7 +92,7 @@ pub fun kfl/(*)(a: kfl, b: kfl): e kfl
(Guaranteed, _) -> Guaranteed (Guaranteed, _) -> Guaranteed
// KFL addition, or the probability of occurrence of at least one of two independent events. // KFL addition, or the probability of occurrence of at least one of two independent events.
pub fun kfl/(+)(a: kfl, b: kfl): e kfl pub fun (+)(a: kfl, b: kfl): e kfl
val (l, h) = match a.cmp(b) // this operation is commutative val (l, h) = match a.cmp(b) // this operation is commutative
Gt -> (b, a) Gt -> (b, a)
_ -> (a, b) _ -> (a, b)