diff options
| author | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-08-10 17:39:32 +0200 |
|---|---|---|
| committer | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-08-10 17:39:32 +0200 |
| commit | 6c9738656e790782e8c3ab95a86496a98c261464 (patch) | |
| tree | 2573f002af18ad5ce7d41a0b69285e35e43c3c06 | |
| parent | 05726e8f6c34c10ca7cee54bb583fbbe2c877569 (diff) | |
| download | events-6c9738656e790782e8c3ab95a86496a98c261464.tar events-6c9738656e790782e8c3ab95a86496a98c261464.tar.gz events-6c9738656e790782e8c3ab95a86496a98c261464.tar.bz2 events-6c9738656e790782e8c3ab95a86496a98c261464.tar.xz events-6c9738656e790782e8c3ab95a86496a98c261464.zip | |
indentation
| -rw-r--r-- | events/src/Events/Spec/Types.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/events/src/Events/Spec/Types.hs b/events/src/Events/Spec/Types.hs index cc3c4e4..cfc6889 100644 --- a/events/src/Events/Spec/Types.hs +++ b/events/src/Events/Spec/Types.hs | |||
| @@ -26,16 +26,16 @@ data Expr :: (* -> *) -> [*] -> * -> * where | |||
| 26 | 26 | ||
| 27 | type family Val m a where | 27 | type family Val m a where |
| 28 | Val m (a -> b) = Expr m '[a] b | 28 | Val m (a -> b) = Expr m '[a] b |
| 29 | Val m a = m a | 29 | Val m a = m a |
| 30 | 30 | ||
| 31 | type family Ctx m f where | 31 | type family Ctx m f where |
| 32 | Ctx m (m a -> b) = (a ': Ctx m b) | 32 | Ctx m (m a -> b) = (a ': Ctx m b) |
| 33 | Ctx m a = '[] | 33 | Ctx m a = '[] |
| 34 | 34 | ||
| 35 | type family Fin m f where | 35 | type family Fin m f where |
| 36 | Fin m (m a -> b) = Fin m b | 36 | Fin m (m a -> b) = Fin m b |
| 37 | Fin m (m a) = a | 37 | Fin m (m a) = a |
| 38 | Fin m a = a | 38 | Fin m a = a |
| 39 | 39 | ||
| 40 | class Bindable m a where | 40 | class Bindable m a where |
| 41 | liftE :: a -> Expr m (Ctx m a) (Fin m a) | 41 | liftE :: a -> Expr m (Ctx m a) (Fin m a) |