diff options
Diffstat (limited to 'events/src/Events/Spec/Types.hs')
-rw-r--r-- | events/src/Events/Spec/Types.hs | 2 |
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 |
20 | data Expr :: (* -> *) -> [*] -> * -> * where | 20 | data 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) |