summaryrefslogtreecommitdiff
path: root/events/src/Events/Spec/Types.hs
diff options
context:
space:
mode:
Diffstat (limited to 'events/src/Events/Spec/Types.hs')
-rw-r--r--events/src/Events/Spec/Types.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/events/src/Events/Spec/Types.hs b/events/src/Events/Spec/Types.hs
index d9d1ef1..1f319c7 100644
--- a/events/src/Events/Spec/Types.hs
+++ b/events/src/Events/Spec/Types.hs
@@ -18,7 +18,7 @@ import Events.Types
18-- | A functional language reminiscent of typed lambda calculus with monadic 18-- | A functional language reminiscent of typed lambda calculus with monadic
19-- side-effects and foreign primitives 19-- side-effects and foreign primitives
20data Expr :: (* -> *) -> [*] -> * -> * where 20data Expr :: (* -> *) -> [*] -> * -> * where
21 EVal :: Val m a -> Expr m ctx a 21 EVal :: Val m a ~ m a => Val m a -> Expr m ctx a
22 EPri :: (Val m a -> Expr m ctx b) -> Expr m (a ': ctx) b 22 EPri :: (Val m a -> Expr m ctx b) -> Expr m (a ': ctx) b
23 EVar :: Elem a ctx -> Expr m ctx a 23 EVar :: Elem a ctx -> Expr m ctx a
24 ELam :: Expr m (arg ': ctx) res -> Expr m ctx (arg -> res) 24 ELam :: Expr m (arg ': ctx) res -> Expr m ctx (arg -> res)