OCaml

1 files changed, 0 insertions, 31 deletions

diff --git a/app/Data/Res.hs b/app/Data/Res.hs
deleted file mode 100644
index 3806e5a..0000000
--- a/app/Data/Res.hs
+++ /dev/null
@@ -1,31 +0,0 @@
-module Data.Res where
-
-import Control.Applicative
-import Data.String (IsString (fromString))
-
-data Res e r = Ok r | Err e
-
-instance Functor (Res e) where
-  fmap f (Ok v) = Ok (f v)
-  fmap _ (Err e) = Err e
-
-instance Applicative (Res e) where
-  pure = Ok
-  (Ok f) <*> (Ok v) = Ok (f v)
-  (Err e) <*> _ = Err e
-  _ <*> (Err e) = Err e
-
-instance Monad (Res e) where
-  (Ok v) >>= f = f v
-  (Err e) >>= _ = Err e
-
-instance (IsString e) => MonadFail (Res e) where
-  fail = Err . fromString
-
-instance (IsString e) => Alternative (Res e) where
-  empty = fail "mzero"
-  m1@(Ok _) <|> _ = m1
-  (Err _) <|> m2 = m2
-
-liftEither :: Either e r -> Res e r
-liftEither = either Err Ok