From 6c9738656e790782e8c3ab95a86496a98c261464 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Wed, 10 Aug 2016 17:39:32 +0200 Subject: indentation --- events/src/Events/Spec/Types.hs | 8 ++++---- 1 file 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 type family Val m a where Val m (a -> b) = Expr m '[a] b - Val m a = m a + Val m a = m a type family Ctx m f where Ctx m (m a -> b) = (a ': Ctx m b) - Ctx m a = '[] + Ctx m a = '[] type family Fin m f where Fin m (m a -> b) = Fin m b - Fin m (m a) = a - Fin m a = a + Fin m (m a) = a + Fin m a = a class Bindable m a where liftE :: a -> Expr m (Ctx m a) (Fin m a) -- cgit v1.2.3