[Haskell-cafe] ATs vs FDs

Andrew Coppin andrewcoppin at btinternet.com
Sat Aug 14 10:26:49 EDT 2010


Andrew Coppin wrote:
> Ivan Lazar Miljenovic wrote:
>> If so, how does this not solve the issue?
>>
>> ,----
>> | class NextOneUpAT v where
>> |   type Next v
>> |   ...
>> | | instance NextOneUpAT Vector3 where
>> |   type Next Vector3 = Vector4
>> |   ...
>> `----
>>   
>
> Can I use that to go both up and down? Would the types be unambiguous? 
> I guess I'll have to go try it out...

Actually, this seems to work just fine as-is. (Famous last words...)



More information about the Haskell-Cafe mailing list