1 files changed, 13 insertions, 0 deletions

diff --git a/events/src/Events/Spec/Types.hs b/events/src/Events/Spec/Types.hs
index 665958d..5216f46 100644
--- a/events/src/Events/Spec/Types.hs
+++ b/events/src/Events/Spec/Types.hs
@@ -3,11 +3,16 @@
 module Events.Spec.Types
   ( Expr(..)
   , Val(..)
+  , Spec
+  , Cmnd(..)
   , Elem(..)
   , Length(..)
   , type (++)(..)
+  , module Events.Types
   ) where
 
+import Events.Types
+
 data Expr :: (* -> *) -> [*] -> * -> * where
   ELit :: Val m a -> Expr m ctx a
   EVar :: Elem a ctx -> Expr m ctx a
@@ -18,6 +23,13 @@ type family Val m a where
   Val m (a -> b) = Expr m '[a] b
   Val m a        = m a
 
+type Spec m = Expr (Eval m) '[] Cmnd
+
+data Cmnd = COverride Object
+          | COccurs Bool
+          | CNop
+          deriving (Show)
+
 data Elem :: a -> [a] -> * where
   EZ :: Elem x (x ': xs)
   ES :: Elem x xs -> Elem x (y ': xs)
@@ -30,3 +42,4 @@ type family (xs :: [a]) ++ (ys :: [a]) :: [a]
 type instance '[]       ++ ys = ys
 type instance (x ': xs) ++ ys = x ': (xs ++ ys)
 infixr 5 ++
+