alt(On, Selector)

Je mód, který umožňuje globálně ovlivňovat chování kombinátorů <::>. Jelikož při používání <::> může za určitých okolností docházet ke ztrátám relevantních výsledků, umožňuje tento mód zkrácené vyhodnocení zablokovat. Všechny varianty kombinátoru alternativní kompozice se potom chovají jako <:> -- seznam úspěšných rozkladů tedy není ořezáván a lze určit, zda použití <: resp. :> bylo chybné či ne. Parametr $On$ může být vázán buď na atom 'ndet', který blokuje zkrácené vyhodnocení nebo 'alt', jež zachovává výpočtu jeho původní charakter.



dvorka 2013-12-31