On Sun, Oct 08, 2006 at 10:57:46PM +1300, [EMAIL PROTECTED] wrote:
> To: haskell-cafe@haskell.org
> From: [EMAIL PROTECTED]
> Date: Sun, 08 Oct 2006 22:57:46 +1300
> Subject: [Haskell-cafe] collection monads
>
> Matthias Fischmann wrote:
> > > Do you expect the contai
Matthias Fischmann wrote:
> > Do you expect the contained type x to change during a
> > sequence of monadic actions? e.g. would you ever use
(>>=)
> > at the type 'Permutation Int -> (Int -> Permutation
Bool) ->
> > Permutation Bool'?
>
> no, i don't need that. but aside from
> the fact that
>
>
On Thu, Oct 05, 2006 at 10:34:19AM +1300, [EMAIL PROTECTED] wrote:
> To: haskell-cafe@haskell.org, [EMAIL PROTECTED]
> From: [EMAIL PROTECTED]
> Date: Thu, 05 Oct 2006 10:34:19 +1300
> Subject: [Haskell-cafe] collection monads
>
> Matthias Fischmann wrote:
> > another
Matthias Fischmann wrote:
> another beginners question about monads: given the type
>
> | data (Ix x) => Permutation x = Permutation [x]
>
> i wanted to define
>
> | instance Monad Permutation where
> | return xs = Permutation xs
>
> but of course nothing about the monad class guarantees xs
to
another beginners question about monads: given the type
| data (Ix x) => Permutation x = Permutation [x]
i wanted to define
| instance Monad Permutation where
| return xs = Permutation xs
but of course nothing about the monad class guarantees xs to be of
type list. the monad class seems u