Fonction Haskell qui agit différemment selon le type de monade

Question

J'essaye d'implémenter une fonction qui place habituellement le premier élément d'une liste dans une monade, mais si la monade est une liste, elle renvoie la liste entière:

putInMonad :: MonadPlus m => [a] -> m a 
putInMonad (s:sx) = return s 
putInMonad _ = mzero 

putInMonad [1,2,3] :: Maybe Int 

devrait revenir Just 1 et

putInMonad [1,2,3] :: [] Int 

devrait revenir [1,2,3].

Des idées?

Answer 1

Dans votre cas d'utilisation particulier, vous pouvez profiter de msum:

putInMonad :: MonadPlus m => [a] -> m a 
putInMonad x = msum $ map return x 

Ensuite, les deux exemples fonctionneront:

% putInMonad [1,2,3,4] :: Maybe Int 
Just 1 
% putInMonad [1,2,3,4] :: [Int] 
[1,2,3,4] 

Notez cependant que Maybe est pas exactement MonadPlus, depuis mplus il n'est pas associatif.

Answer 2

En général, vous ne pouvez pas faire cela, parce que la fonction ne peut pas savoir quelle Foo instance sera utilisé lorsque la fonction est appelée, ce qui signifie qu'il n'a pas de base pour décider de retourner return s ou return (s:sx). Dans ce cas particulier, il existe une solution de contournement (voir @marc's answer) lorsque Foo correspond à MonadPlus.