discriminated-union

3зной

1ответ

Подмножества членов Союза, как «параметр» в шаблоне сопоставления

Давайте есть определение типа для дерева с несколькими типами бинарных узлов, среди других типов узлов, т.е. type Tree = | BinaryNodeA of Tree * Tree | BinaryNodeB of Tree * Tree | [Other stuff...]

3зной

3ответ

матча на ребенке предвзято союз

Если у меня есть дискриминационный союз с совместными несколькими значений ребенка (Apple и MoreApples оба имеют типа Apple) ... type Apples = | GrannySmith | Gala type Fruit = | Appl

4зной

2ответ

Сумма двух значений предвзято список объединения F #

я имею упражнение предложить функцию, что сумма каждое значение одного и те же типа из дискриминационного списка накидного подобные: type volume = | Litre of float | Galon of float | Bu

11зной

3ответ

F # конструктор типа не действует как функция

Если я определяю тип вроде этого: type Foo = Items of seq<int> я могу создать Foo следующим образом: Items [1;2;3] Однако следующий не работа: [1;2;3] |> Items сообщение об ошибке: Type mismatch

1зной

1ответ

Выделение обобщенного типа в его основанный на различии союз, если он один

Для целей отладки мне нужно немного подробнее о поплавках, чем printfn "%A" дает мне, и весь мой тестовый код обобщен. Поэтому я решил, что я box и матч по типу, чтобы получить значимый результат. Одн

6зной

1ответ

Как вы получаете тип дискриминационного союза из экземпляра Case?

Учитывая эти два Дискриминационных Союза, я хотел бы получить DeclaringType из экземпляра случая. type SingleCaseUnion = | One type MultiCaseUnion = | Two | Three Пример для каждого

5зной

2ответ

Как использовать дискриминационную ветвь объединения в параметре типа?

3зной

1ответ

Типы типов с дискриминацией типов с Observable.of

Я пытаюсь использовать типы разграниченного объединения типов TypScript 2.0 с RxJS, но я получаю сообщение об ошибке, что возвращаемый объект не относится к одному из типов тип объединения. Вот мои ти