AK
не, мне нужно именно список, который состоит *только* из элементов типа TypeOne
Size: a a a
2017 June 05
AK
все остальные не нужны
AP
Указанный тип-суммы не может такое запретить. Нужен другой тип
AP
Т.е. даже если сфильтровать
List MyUnionType и оставить там только TypeOne, то ничто не помешает добавить туда TypeTwo, ибо тип списка такое позволяет.AW
Тогда смотрите функцию List.all
AW
all : (a -> Bool) -> List a -> Bool
AP
all, это просто предикат. Им можно проверить, что все элементы - типа
TypeOneAP
> нужно именно список, который состоит *только* из элементов типа TypeOne
all тут не поможет
all тут не поможет
AK
в смысле, вроде одно и то же :)
AW
all - это не предикат. Он ПРИНИМАЕТ предикат, проверяющий, что в списке все значения типа TypeOne и возвращает True либо False
AP
> список, который состоит *только* из элементов типа TypeOne
это
это
List TypeOne грубо говоря. Иначе это максимум "список, который сейчас содержит только TypeOne" :)AP
all - это не предикат. Он ПРИНИМАЕТ предикат, проверяющий, что в списке все значения типа TypeOne и возвращает True либо False
принимает предикат и возвращает предикат
AK
это да, вот и
List TypeOne тоже не сказатьAK
по аналогии с
List String напримерAP
type TypeOne = TypeOne
type TypeTwo = TypeTwo
type Union = One TypeOne | Two TypeTwo
onlyOnes : List Union -> List TypeOne
AP
AK
а в purescript такое есть из коробки? :)
AP
Какое "такое"?
AW
Тогда я не понимаю, что нужно-то. Если есть несколько списков и нужно из них выбрать только тот, в котором все значения типа TypeOne, то проверяете все списки при помощи all isTypeOne list - и получаете желаемый список (или списки). Вроде же так задача формулировалась...
AK
type TypeOne = TypeOne
type TypeTwo = TypeTwo
type Union = One TypeOne | Two TypeTwo
onlyOnes : List Union -> List TypeOne
ну вот это извращение какое-то