diff options
| author | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-08-05 15:53:19 +0200 |
|---|---|---|
| committer | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-08-05 15:53:19 +0200 |
| commit | e2921b58336283597cba771d5dd54ede40f89ea5 (patch) | |
| tree | 162c7dd1897806dd10451b5ca112fc338abe92e0 /events/src/Events/Spec/Types.hs | |
| parent | 95b623a3ebaa115b6ef889032854b355a010a037 (diff) | |
| download | events-e2921b58336283597cba771d5dd54ede40f89ea5.tar events-e2921b58336283597cba771d5dd54ede40f89ea5.tar.gz events-e2921b58336283597cba771d5dd54ede40f89ea5.tar.bz2 events-e2921b58336283597cba771d5dd54ede40f89ea5.tar.xz events-e2921b58336283597cba771d5dd54ede40f89ea5.zip | |
Made EVal more specific & fixed evaluation
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) |