概要
Haskell-style monads
メタデータ
ワード
タプルクラス
シングルトンクラス
mixin クラス
union クラス
総称ワード
通常ワード
クラス述語ワード
ファイル
Haskell-style monads
メタデータ
| タグ: | extensions |
| 作者: | Slava Pestov |
ワード
タプルクラス
| クラス | スーパークラス | スロット |
 identity | tuple | value |
 just | tuple | value |
| left | tuple | value |
| reader | tuple | quot |
| right | tuple | value |
| state | tuple | quot |
| writer | tuple | value log |
シングルトンクラス
 array-monad |
| either-monad |
| identity-monad |
| list-monad |
| maybe-monad |
| nothing |
| reader-monad |
| state-monad |
| writer-monad |
mixin クラス
| monad |
union クラス
| either |
| maybe |
総称ワード
| ワード | スタック効果 |
 $> | ( functor quot -- functor' ) |
| <$ | ( functor quot -- functor' ) |
| >>= | ( mvalue -- quot ) |
| fail | ( value singleton -- mvalue ) |
| fmap | ( functor quot -- functor' ) |
| monad-of | ( mvalue -- singleton ) |
| return | ( value singleton -- mvalue ) |
通常ワード
| ワード | スタック効果 |
| >> | ( mvalue k -- mvalue' ) |
| apply | ( mvalue mquot monad -- result ) |
| ask | ( -- reader ) |
| bind | ( mvalue quot -- mvalue' ) |
| bind* | ( mvalue quot -- mvalue' ) |
| do | ( quots -- result ) |
| get-st | ( -- state ) |
| if-either | ( value left-quot right-quot -- ) |
| if-maybe | ( maybe just-quot nothing-quot -- ) |
| just | ( value -- just ) |
| left | ( value -- left ) |
| lift-m2 | ( m1 m2 f monad -- m3 ) |
| listen | ( writer -- writer' ) |
| local | ( reader quot -- reader' ) |
| mcall | ( x state -- y ) |
| pass | ( writer -- writer' ) |
| put-st | ( value -- state ) |
| reader | ( quot -- reader ) |
| return-st | ( value -- mvalue ) |
| right | ( value -- right ) |
| run-identity | ( identity -- value ) |
| run-reader | ( reader env -- value ) |
| run-st | ( state initial -- value ) |
| run-writer | ( writer -- value log ) |
| state | ( quot -- state ) |
| tell | ( seq -- writer ) |
| writer | ( value log -- writer ) |
クラス述語ワード
| ワード | スタック効果 |
| array-monad? | ( object -- ? ) |
| either-monad? | ( object -- ? ) |
| either? | ( object -- ? ) |
| identity-monad? | ( object -- ? ) |
| identity? | ( object -- ? ) |
| just? | ( object -- ? ) |
| left? | ( object -- ? ) |
| list-monad? | ( object -- ? ) |
| maybe-monad? | ( object -- ? ) |
| maybe? | ( object -- ? ) |
| monad? | ( object -- ? ) |
| nothing? | ( object -- ? ) |
| reader-monad? | ( object -- ? ) |
| reader? | ( object -- ? ) |
| right? | ( object -- ? ) |
| state-monad? | ( object -- ? ) |
| state? | ( object -- ? ) |
| writer-monad? | ( object -- ? ) |
| writer? | ( object -- ? ) |
ファイル
resource:extra/monads/monads.factor
resource:extra/monads/monads-docs.factor
resource:extra/monads/monads-tests.factor
resource:extra/monads/monads-docs.factor
resource:extra/monads/monads-tests.factor