wip

cedar-policy · Sep 23, 2024 · 4b6e7b9 · 4b6e7b9
1 parent fe49aa2
commit 4b6e7b9
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/cedar-lean/Cedar/Spec/EntitySlice.lean b/cedar-lean/Cedar/Spec/EntitySlice.lean
diff --git a/cedar-lean/Cedar/Spec/Evaluator.lean b/cedar-lean/Cedar/Spec/Evaluator.lean
@@ -118,3 +118,13 @@ def evaluate (x : Expr) (req : Request) (es : Entities) : Result Value :=
     call xfn vs
 
 end Cedar.Spec
+
+namespace Cedar.Spec.Monadic
+
+def Trap (m : Type  → Type ) (α : Type ) : Type  :=
+  m α → (Bool × α)
+
+
+
+
+end Cedar.Spec.Monadic