要素を追加するモナドインスタンスをリストする

Question

このように動作するListのMonadインスタンスを作ることは可能ですか？ [Int]：

foo = do 
    [1] 
    [2] 
    [3] 

main = print foo -- prints [1,2,3] 

は、私はすべての配列が同じ型を持つ制約が必要になり、この作業を行います。

Answer 1

あなたはmtlのWriterモナドと狂気何もあなたが望む効果を得ることができます。

type AutoList a = Writer [a]() 

foo :: AutoList Int 
foo = do 
    tell [1] 
    tell [2] 
    tell [3] 

toList :: AutoList a -> [a] 
toList = execWriter 

main = print (toList foo) 

しかし、あなたはソートのためだけにリストリテラルとそれを得る-XOverloadedListsでひどいハックを行うことができます。注意すべき点は、各ライン上に型シグネチャを与える必要があるということです。

{-# LANGUAGE OverloadedLists #-} 
{-# LANGUAGE FlexibleContexts #-} 
{-# LANGUAGE FlexibleInstances #-} 
{-# LANGUAGE TypeFamilies #-} 
{-# LANGUAGE GeneralizedNewtypeDeriving #-} 
module AutoList where 

import GHC.Exts 
import Control.Applicative 
import Control.Monad.Writer 

newtype AutoListM a r = AutoListM (Writer [a] r) deriving (Functor, Applicative, Monad) 

type AutoList a = AutoListM a() 

instance IsList (AutoList a) where 
    type Item (AutoList a) = a 
    fromList = AutoListM . tell 
    fromListN n = AutoListM . tell . take n 
    toList (AutoListM w) = execWriter w 


foo :: AutoList Int 
foo = do 
    [1] :: AutoList Int 
    [2] :: AutoList Int 
    [3] :: AutoList Int 


main = print (toList foo) 

それがdo記法のためのモナドにする必要がありますが、型シグネチャなしでそれがでr ~()であることを把握することはできませんAutoListM Int r。明示的なタイプシグネチャでは、すべてを把握することができますが、これが本当に必要な解決策であるとは思えません。Writerとtellを使用するよりも多くの作業があります。また、あなたが本当にすべきではないものです。