@@ -181,7 +181,8 @@ infixl 2 <$>
181pure : a -> Eff a xs (\v => xs)
181pure : a -> Eff a xs (\v => xs)
182pure = value
182pure = value
184+pureM : (val : a) -> Eff a (xs val) xs
184−syntax pureM [val] = with_val val (pure ())
185+pureM val = with_val val (pure ())
186(<$>) : Eff (a -> b) xs (\v => xs) ->
187(<$>) : Eff (a -> b) xs (\v => xs) ->
187 Eff a xs (\v => xs) -> Eff b xs (\v => xs)
188 Eff a xs (\v => xs) -> Eff b xs (\v => xs)