способ, при помощи которого можно сделать себе Enum-like свойство для любого нерекурсивного типа, содержащего только конечные объекты?
Я хочу
allElems :: (Enum a, Bound a, Ord a) => Set a
allElems = Set.fromList [minBound.. maxBound]
но для ADT с полями
не понял, а почему энам не работает
Обсуждают сегодня