Skip to content
This repository
Browse code

Minor effects changes (locally, search depth)

  • Loading branch information...
commit 9cb4a832723e8729d759881108e36cda2e71b9fb 1 parent 83b7ae5
Edwin Brady authored March 23, 2013
6  effects/Effect/State.idr
@@ -33,4 +33,10 @@ updateM : (x -> y) -> EffM m [STATE x] [STATE y] ()
33 33
 updateM f = do val <- get
34 34
                putM (f val) 
35 35
 
  36
+locally : x -> Eff m [STATE x] t -> Eff m [STATE y] t
  37
+locally newst prog = do st <- get
  38
+                        putM newst
  39
+                        val <- prog
  40
+                        putM st
  41
+                        return val
36 42
 
4  effects/Effects.idr
@@ -116,14 +116,14 @@ data EffM : (m : Type -> Type) ->
116 116
 --   Eff : List (EFFECT m) -> Type -> Type
117 117
 
118 118
 implicit
119  
-lift' : {default tactics { reflect findSubList 10; solve; }
  119
+lift' : {default tactics { reflect findSubList 100; solve; }
120 120
            prf : SubList ys xs} ->
121 121
         EffM m ys ys' t -> EffM m xs (updateWith ys' xs prf) t
122 122
 lift' {prf} e = lift prf e
123 123
 
124 124
 implicit
125 125
 effect' : {a, b: _} -> {e : Effect} ->
126  
-          {default tactics { reflect findEffElem 10; solve; } 
  126
+          {default tactics { reflect findEffElem 100; solve; } 
127 127
              prf : EffElem e a xs} -> 
128 128
           (eff : e a b t) -> 
129 129
          EffM m xs (updateResTy xs prf eff) t

0 notes on commit 9cb4a83

Please sign in to comment.
Something went wrong with that request. Please try again.