From 026be017befd2f715eb639b9d744028ce410b484 Mon Sep 17 00:00:00 2001 From: rowan Date: Mon, 31 Mar 2025 16:53:46 -0500 Subject: [PATCH] document isX bifunctor methods --- README.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/README.md b/README.md index 54fecaf..5238d0d 100644 --- a/README.md +++ b/README.md @@ -68,6 +68,12 @@ Represents a value which may not exist. ##### fold :: Option f => f a ~> ((b, a) -> b, b) -> b > Option\.fold\(fn: ((acc: U, value: T) -> U, initial: U) -> U) -> U +##### isSome :: Option f => () -> boolean +> Option\.isSome() -> boolean + +##### isNone :: Option f => () -> boolean +> Option\.isNone() -> boolean + ### Result Represents a value which may fail. @@ -94,3 +100,9 @@ Represents a value which may fail. ##### bimap :: Result f => f a c ~> (a -> b, c -> d) -> f b d > Result\.bimap\(x: (value: T1) -> T2, y: (error: E1) -> E2) -> Result\ +##### isOk :: Result f => () -> boolean +> Result\.isOk() -> boolean + +##### isErr :: Result f => () -> boolean +> Result\.isErr() -> boolean +