Parse error on input

@Бодрый666 · Регистрация: 26.10.2018

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

Читал одну книжку и там в примере были вот такие классы, но у меня при запуске выдает такую ошибку : parse error on input `::'
|
34 | type Dur a :: *

Haskell

class Temporal a where
type Dur a :: *
dur :: a -> Dur a
delay :: Dur a -> a -> a
stretch :: Dur a -> a -> a
 
instance Num t => Temporal (Event t a) where
type Dur (Event t a) = t
dur = eventDur
delay = delayEvent
stretch = stretchEvent
 
instance Num t => Temporal (Track t a) where
type Dur (Track t a) = t
dur = trackDur
delay = delayTrack
stretch = stretchTrack

Возникает 2 вопроса , что означает * в данной записи ( думаю что это любые входные данные или вроде того) и почему возникает эта ошибка
p.s. исправил parse error( случайно добавил 3 пробела вместо 4) но вопрос со звездочкой остается

Добавлено через 7 минут
также после исправления возникает такая ошибка :

C:\Users\1\flprgz\app\Main.hs:33:5: error:
* Illegal family declaration for `Dur'
Enable TypeFamilies to allow indexed type families
* In the class declaration for `Temporal'
|
33 | type Dur a :: *
| ^^^^^^^^^^^^^^^

Вопрос: TypeFamilies это пакет? просто я не нашел его на stackage.

Добавлено через 1 минуту
Эту проблему тоже решил, надо было добавить {-# LANGUAGE TypeFamilies #-}

Добавлено через 1 час 17 минут
Выдает такую ошибку, не знаю с чем связано :
C:\Users\1\flprgz\app\Main.hs:90:34: error:
* No instance for (Functor2 []) arising from a use of `fmap1'
* In the `trackEvents' field of a record
In the expression:
t {trackEvents = fmap1 (fmap1 f) (trackEvents t)}
In an equation for `fmap1':
fmap1 f t = t {trackEvents = fmap1 (fmap1 f) (trackEvents t)}
|
90 | fmap1 f t = t{ trackEvents = fmap1 (fmap1 f) (trackEvents t) }
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

код :

Haskell

class Functor2 f where
    fmap1 :: (a -> b) -> f a -> f b
    (<$) :: a -> f b -> f a
    
instance Functor2 (Event t) where
    fmap1 f e = e{ eventContent = f (eventContent e) }
 
instance Functor2 (Track2 t) where
    fmap1 f t = t{ trackEvents = fmap1 (fmap1 f) (trackEvents t) }

Добавлено через 1 час 3 минуты
проблему сверху решил подключив стандартные функторы, вылезла проблема:

C:\Users\1\flprgz\app\Main.hs:152:45: error:
* Couldn't match expected type `TimeDiv'
with actual type `Midi -> TimeDiv'
* Probable cause: `timeDiv' is applied to too few arguments
In the first argument of `fromRealTime', namely `timeDiv'
In the first argument of `(.)', namely `(fromRealTime timeDiv)'
In the second argument of `(.)', namely
`(fromRealTime timeDiv) . (sortBy (on compare fst))'
|
152 | tfmTime = (M.fromAbsTime) . (M.fromRealTime timeDiv) . (sortBy (on compare
fst))
| ^^^^^^^

код :

Haskell

1 2	tfmTime :: M.Track Double -> M.Track M.Ticks tfmTime = (M.fromAbsTime) . (M.fromRealTime timeDiv) . (sortBy (on compare fst))

Добавлено через 6 минут
timeDiv определяется в стандартном классе data Midi = Midi {
fileType :: FileType,
timeDiv :: TimeDiv,
tracks :: [Track Ticks] }

Добавлено через 21 минуту
Также не подключается модуль System , хотя он тут необходим

Haskell

1
2
3

import System
out = (>> system ”timidity tmp.mid”) .
exportFile ”tmp.mid” . render

Добавлено через 2 минуты
Осталось только две проблемы:
C:\Users\1\flprgz\app\Main.hs:152:45: error:
* Couldn't match expected type `TimeDiv'
with actual type `Midi -> TimeDiv'
* Probable cause: `timeDiv' is applied to too few arguments
In the first argument of `fromRealTime', namely `timeDiv'
In the first argument of `(.)', namely `(fromRealTime timeDiv)'
In the second argument of `(.)', namely
`(fromRealTime timeDiv) . (sortBy (on compare fst))'
|
152 | tfmTime = (M.fromAbsTime) . (M.fromRealTime timeDiv) . (sortBy (on compare
fst))
| ^^^^^^^

и

Также не подключается модуль System , хотя он тут необходим

Добавлено через 15 минут
Скорее всего проблема в этой функции и ее надо написать без компоиций, но у меня не получается сделать это корректно.

Haskell

1	tfmTime = M.fromAbsTime . M.fromRealTime timeDiv .sortBy (on compare fst)

@Bratjuuc · 28.04.2020, 21:23

Не хватает отступов в первом фрагменте кода. В Хаскелл отступы важны и используются для обозначения областей видимости. Надо как-то так:

Haskell

class Temporal a where
   type Dur a :: *
   dur :: a -> Dur a
   delay :: Dur a -> a -> a
   stretch :: Dur a -> a -> a

А зачем определять свой собственный функтор, если можно доопределить старый?

@Бодрый666 · 28.04.2020, 21:45 **[ТС]**

Bratjuuc, Спасибо, это я решил выше, у меня проблема только с TimeDev теперь

Добавлено через 2 минуты
fromRealTime :: TimeDiv -> Trrack Time -> Track Ticks
fromAbsTime :: Num a -> Track a -> Track a
sortBy :: (a -> a -> Ordering) -> [a] -> [a]
вот заголовки

@Бодрый666 3 / 12 / 0 Регистрация: 26.10.2018 Сообщений: 167
	28.04.2020, 21:45 [ТС]	3
	Bratjuuc, Спасибо, это я решил выше, у меня проблема только с TimeDev теперь Добавлено через 2 минуты fromRealTime :: TimeDiv -> Trrack Time -> Track Ticks fromAbsTime :: Num a -> Track a -> Track a sortBy :: (a -> a -> Ordering) -> [a] -> [a] вот заголовки 1