SD
() это значение конкретного типаSize: a a a
2020 May 10
AV
У тебя может быть любой конструктор Matrix
AV
А a и b надо передать до того как поматчил
AV
Неважно
IK
А a и b надо передать до того как поматчил
А они разве не ограничат тип который можно будет передать последним?
AV
Вот написать:
может и можно будет
index a b (One x) = case (a,b) of
((), ()) ->
может и можно будет
AV
Но не уверен
IK
Вот написать:
может и можно будет
index a b (One x) = case (a,b) of
((), ()) ->
может и можно будет
Тут же смысл абсолютно такой же
AV
index () () (One x)
index 1 4 (Many x)
AV
Кажется мне более странным
AV
Но вообще когда матчишь конструктор, то контекст доступен в правой части уравнения, а не в левой
AV
index (One x) = \() () -> тоже думаю сработает
