Использование призмы в качестве умного конструктора

Question

Я просматривал документацию «линзы», касающуюся призм, и я заметил строку в Control.Lens.Review, в которой говорится, что оператор проверки infix # 'обычно используется при использовании Prism как умного конструктор.'.

Это меня немного заинтриговало, потому что пример с _Left, один из конструкторов для типа данных «Либо», не казался интеллектуальным конструктором, насколько я понимаю интеллектуальных конструкторов (добавляя дополнительные ограничения на значения аргументов) , Поэтому я немного искал призраки как умные конструкторы, но на самом деле я не нашел никакого примера.

Есть ли кто-то, кто знает, что именно подразумевается под этим утверждением и может привести пример? Или, может быть, скажите, что мое определение интеллектуального конструктора, конечно, неверно.

Answer 1

Один вид типа Prism является почти изоморфизмом. Фактически, lens documentation говорит "It may help to think of this as a Iso that can be partial in one direction."

И не является ли частичное направление довольно хорошей аналогией для интеллектуального конструктора? Вы можете передать любой набор аргументов (которые соответствуют типу), но некоторые из них не смогут создать значение.