signature for ‘foo :: Bar -> Baz’ lacks an accompanying binding" предупреждением? Хочется понабрасывать сигнатур и как-то хочется избежать необходимости дописывать под каждую foo = undefined.
никак. надо писать foo = undefined. хотя ваша идея здравая
попробуйте -fdefer-out-of-scope-variables
писать foo = _ :: Bar -> Baz
{-# LANGUAGE ScopedTypeVariables #-} {-# OPTIONS -fdefer-typed-holes #-} foo :: Bar -> Baz = _
да, это лучший вариант, если добавить {-# OPTIONS -fdefer-typed-holes #-}
Обсуждают сегодня