Сравнение собственных типов

@Qazan · Регистрация: 30.04.2013

Author24 — интернет-сервис помощи студентам

Задан тип:

Haskell

1	data Soz = Bir \| Eki \| Ush \| Tort \| Bes \| Alty \| Zheti \| Segiz \| Togiz \| On

И необходимо написать функцию

Haskell

1
2
3

cmp:: Soz -> Soz -> -> Ordering
-- задающую порядок
-- Bir < Eki < Ush < Tort < Bes < Alty < Zheti < Segiz < Togiz < On

Как это можно сделать ?
У меня пока такие идеи:

1. Перебрать все варианты в образцах
2. Завести иную функцию ассоциирующую, каждому конструктору типа число, и в дальнейшем работать с ними

Добавлено через 29 минут
Пока сделал операторы сравнения над типом, и исхожу из них

Haskell

instance Eq Soz where
   (==)
   (==) Bir Bir  = True
   (==) Eki Eki = True
-- etc.
   (==) _   _   = False

@Curry · 08.12.2016, 06:33

Haskell

data Soz = Bir | Eki | Ush | Tort | Bes | Alty | Zheti | Segiz | Togiz | On
        deriving(Eq, Ord)
 
cmp:: Soz -> Soz -> Ordering
cmp = compare

Добавлено через 5 минут

Не по теме:

Азербайджанский?

@Qazan · 08.12.2016, 07:42 **[ТС]**

Не по теме:

писал как казахский:D(числительные очень похожи :))

Добавлено через 3 минуты
KolodeznyDiver, а какой при этом порядок будет ?
Точнее, что если будет сказано изменить порядок на другой ?
Например,

Haskell

1	Togiz > On > Bir > Eki > Ush > Tort > Bes > Alty > Zheti > Segiz -- ?

@Curry · 08.12.2016, 08:00

Сообщение от Qazan

а какой при этом порядок будет ?

Последовательно, как записано

Haskell

data Soz = Bir | Eki | Ush | Tort | Bes | Alty | Zheti | Segiz | Togiz | On
        deriving(Eq, Ord, Enum, Show)
 
main :: IO ()
main = do
    print $ map (\x -> (x,fromEnum x)) [Bir .. On]

Сообщение от Qazan

что если будет сказано изменить порядок на другой ?

Ну тогда ручками. Можно сделать таблицу перекодировки в целые числа неподряд, а потом сравнивать их.

@yegorov · 09.12.2016, 23:55

Сообщение от KolodeznyDiver

Ну тогда ручками.

Совсем не обязательно. В Data.Ord определен Down, который специально предназначен для обратного порядка

Haskell

1	cmp x y = compare (Down x) (Down y)

@Curry · 10.12.2016, 05:22

yegorov, ТС привел пример произвольного порядка, не обратного.

Добавлено через 54 минуты

Сообщение от yegorov

cmp x y = compare (Down x) (Down y)

Короче

Haskell

cmp1:: Soz -> Soz -> Ordering
cmp1 x y = compare y x
-- или
cmp2:: Soz -> Soz -> Ordering
cmp2 = flip compare

	10.12.2016, 05:22

Опции темы