rowan/kojima
1
0
Fork 0
Code Issues 4 Pull requests Projects Releases Packages Wiki Activity Actions

document isX bifunctor methods

Browse source
This commit is contained in:
Rowan 2025-03-31 16:53:46 -05:00
parent 5461295b0b
commit 026be017be
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
README.md
View file

@ -68,6 +68,12 @@ Represents a value which may not exist.
##### fold :: Option f => f a ~> ((b, a) -> b, b) -> b ##### fold :: Option f => f a ~> ((b, a) -> b, b) -> b
> Option\<T\>.fold\<U\>(fn: ((acc: U, value: T) -> U, initial: U) -> U) -> U > Option\<T\>.fold\<U\>(fn: ((acc: U, value: T) -> U, initial: U) -> U) -> U
##### isSome :: Option f => () -> boolean
> Option\<T\>.isSome() -> boolean
##### isNone :: Option f => () -> boolean
> Option\<T\>.isNone() -> boolean
### Result ### Result
Represents a value which may fail. 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 ##### bimap :: Result f => f a c ~> (a -> b, c -> d) -> f b d
> Result\<T1, E1\>.bimap\<T2, E2\>(x: (value: T1) -> T2, y: (error: E1) -> E2) -> Result\<T2, E2\> > Result\<T1, E1\>.bimap\<T2, E2\>(x: (value: T1) -> T2, y: (error: E1) -> E2) -> Result\<T2, E2\>
##### isOk :: Result f => () -> boolean
> Result\<T, E\>.isOk() -> boolean
##### isErr :: Result f => () -> boolean
> Result\<T, E\>.isErr() -> boolean