git.iko.soy/Idris-dev
on bf4e535 help sign in
history oflibs/effects/Effects.idr
all commits
08af673Correct comment on sigEdwin Brady 7f9fba5Allow adding new effects in Eff programsEdwin Brady c3cdb9cTrying a new Effects apiEdwin Brady 44bdf1dChanged (<$>) to (<*>)Tenor Biel 26cfbe9Scoped implicits fixEdwin Brady 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady 7b5f4aaFix visibility of imported thingsEdwin Brady 28edc0cEliminate with_val by generalizing valueMelvar Chen c0ac681Turn pureM into a functionMelvar Chen 382542aAdd %no_implicit directiveEdwin Brady b54541fFix doc rot on effects.Jan de Muijnck-Hughes ced7733Replace 'effects' with neweffectsEdwin Brady 930f16a"auto" now does proof searchEdwin Brady 9edaf2eMore documentation for runnning effects.Jan de Muijnck-Hughes cc99207Add staticEff/toEffEdwin Brady 6b69961Rename 'effect' to 'call'Edwin Brady e7a35e9Remove implicit qualifier for 'effect'Edwin Brady 5ba96c1Effect handlers should be coveringEdwin Brady 094be98Add an optional depth to 'search' tacticEdwin Brady c2bd084Add laziness to values which aren't evaluated in all branches of a function.bmsherman b283c0dFix some reachability warnings with EffEdwin Brady 6c3d33cFix totality of rebuildEnvEdwin Brady 1290495Initial documentation efforts for effectsJan de Muijnck-Hughes 4ba5460Make 'neweffects' the official effects packageEdwin Brady f98d138Fix parameter propagationEdwin Brady c959fb0Unification changesEdwin Brady 130f437Remove | annotation, make Force/Delay implicitEdwin Brady fe3f03fAdded %error_reverse annotationEdwin Brady a2bf00fExplain strange case in reflectListEffElem!Edwin Brady 5e7fc5dAdd 'byReflection' tacticEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady