Indexedモナド

以下のようなことができる

指定した順序で実行できる

monadic computationで出力の型を変えられる

定義

code:hs

class IxMonad m where

return :: a -> m i i a

(>>=) :: m i j a -> (a -> m j k b) -> m i k b

do記法

IxMonadを楽に書くためには、

その実現方法

ユースケース

途中で状態の型を変えるStateモナド

React Basic Hooks

指定した順序でパンやチーズを重ねていく

重ねる順番を間違うと型エラー

既存のHogeモナドをIxMonadで定義し直したものは、Indexed Hoge Monadのように呼ぶ

例

関連

参考

簡潔でわかりやすい

最初に読むと良さそう

全ての通常のMonadは、IxMonadで表現できる

code:hs

newtype MW m p q a = MW { unMW:: m a }

instance Monad m => IxMonad (MW m) where

ireturn = MW . return

ibind (MW m) f = MW (m >>= unMW . f)

purs

code:purs(hs)

newtype Indexed ∷ ∀ ix. (Type → Type) → ix → ix → Type → Type

newtype Indexed m x y a = Indexed (m a)

class IxApply ∷ ∀ ix. (ix → ix → Type → Type) → Constraint

class IxBind ∷ ∀ ix. (ix → ix → Type → Type) → Constraint

code:hs

class IxApplicative m => IxMonad m where

ibind :: (a -> m j k b) -> m i j a -> m i k b

Indexed Monadと普通のMonadを型クラスで抽象化したパッケージ