Как создать экземпляр option[void].None?
От: vaskir Россия vaskir.blogspot.com
Дата: 09.01.16 09:47
Оценка:
Простой active pattern, проверяющий на не null и не пустую строку:

NotEmpty(v: string): option[string]
    match (v)
     | null | _ when v.Trim() == "" => None()
     | _ => Some(v)

active match ("foo")
 | NotEmpty(_) => Some("wow")


Работает, но хотелось бы избавиться от (_) и писать просто:

active match ("foo")
 | NotEmpty => Some("wow")


Пытаюсь использовать option[void]:

NotEmpty(v: string): option[void]
    match (v)
     | null | _ when v.Trim() == "" => None()
     | _ => Some(())


Компилятор ругается на None():

Cannot implicitly convert type 'option.None[?]' to 'option[void]'.


Может быть в Nemerle есть полноценный тип unit для таких вещей?
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.