kb 07.02.2013 16:35 3b662f5e

Сделал вот такой тип (синоним), всё было очень красиво:

type OptionsBlockBounds = (Int, Int)

Далее хотел написать функцию сравнения (объявить инстансом тайпкласса Ord). Я правильно понимаю, что единственный выход — делать вместо type newtype и перелопатить весь код (чтоб заворачивать / разворачивать в дата-конструктор)? Ну, или же сделать кастомную версию compare и передавать в maximumBy (и прочие By-функции)?

haskell
#tigist
re 6 comments !recommend ~bookmark Ssubscribe
1. ulidtko 07.02.2013 18:01

http://hackage.haskell.org/trac/haskell-...

#tigist/1
rereply
2. ulidtko 07.02.2013 18:01

http://stackoverflow.com/questions/13116...

#tigist/2
rereply
3. ulidtko 07.02.2013 18:01

http://stackoverflow.com/questions/21256...

#tigist/3
rereply
4. ulidtko 07.02.2013 18:02

блджад, ну вот в чём проблема загуглить haskell type synonym instances? всё понятно написано же.

#tigist/4
rereply
5. kb → ulidtko /4 07.02.2013 18:17

в том, что оно не работает

#tigist/5
rereply
6. kb → ulidtko /4 08.02.2013 04:09

ну, короче, придется newtype делать. проблема в том, что instance Ord (Int, Int) уже существует, потому надо новый тип делать.

#tigist/6
rereply
Do you really want to delete ?