[Haskell-cafe] About using "type" to do type alias.
Ivan Lazar Miljenovic
ivan.miljenovic at gmail.com
Mon Jun 25 08:16:59 CEST 2012
On 25 June 2012 12:50, Magicloud Magiclouds
<magicloud.magiclouds at gmail.com> wrote:
> Hi,
> There was another mail, but the subject might be confusing. So I
> write this one. The code is here: http://hpaste.org/70414
> If I understand correct, generally, I could use 'type' to do alias
> to save the ugly-long code. Like section 1. This works when I 't [(0,
> Just "x")]'.
>
> But, if I wrote section 2. Then 'start (M.fromList $ zip ord_args)
> worker' could not be compiled due to the second argument is type of
> 'M.Map Arg Arg', not 'JobArgs Arg Arg'.
This shouldn't make a difference. As an example, this works:
> import qualified Data.Map as M
>
> type Foo a b = M.Map a b
>
> fooInsert :: (Ord a) => a -> b -> Foo a b -> Foo a b
> fooInsert = M.insert
Aliases are just for documentation; they shouldn't affect code working.
>
> What did I miss to make this work?
> --
> 竹密岂妨流水过
> 山高哪阻野云飞
>
> And for G+, please use magiclouds#gmail.com.
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
--
Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com
http://IvanMiljenovic.wordpress.com
More information about the Haskell-Cafe
mailing list