From 41d0a0c8c3a66ce48756ad8c2ab0ea87933047c9 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Sat, 30 Jul 2016 21:10:40 +0200 Subject: cleanup --- events/src/Events/Types/NDT.hs | 21 --------------------- 1 file changed, 21 deletions(-) diff --git a/events/src/Events/Types/NDT.hs b/events/src/Events/Types/NDT.hs index 3f66953..f6d3000 100644 --- a/events/src/Events/Types/NDT.hs +++ b/events/src/Events/Types/NDT.hs @@ -31,10 +31,6 @@ data NDT m a where NDTBind :: NDT m a -> (a -> NDT m b) -> NDT m b NDTCons :: m (Maybe (a, NDT m a)) -> NDT m a -instance Show (NDT Identity a) where - show (NDTBind x _) = "Bind (" ++ show x ++ ") _" - show x = show . (\(NDTCons x) -> x) $ fmap (const ()) x - instance Functor m => Functor (NDT m) where fmap f (NDTBind a g) = NDTBind a (fmap f . g) fmap f (NDTCons x) = NDTCons $ fmap f' x @@ -73,23 +69,6 @@ instance MonadReader r m => MonadReader r (NDT m) where local f (NDTCons x) = NDTCons (local f x) local f (NDTBind x g) = NDTBind (local f x) g --- instance MonadFix m => MonadFix (NDT m) where --- mfix f = NDTCons . runMaybeT $ do --- x <- mfix (head . f) --- return (x, trace "tail" . mfix $ tail . f) --- where --- head :: Monad m => NDT m a -> MaybeT m a --- head (NDTCons x) = MaybeT . trace "head (cons)" $ fmap fst <$> x --- head (NDTBind (NDTBind x g) f) = head $ NDTBind x (f <=< g) --- head (NDTBind (NDTCons x) f) = MaybeT x >>= head . f . fst . trace "head (bind cons)" --- tail :: Monad m => NDT m a -> NDT m a --- tail (NDTCons x) = NDTBind (lift x) $ maybe empty snd . guardNothing --- tail (NDTBind (NDTBind x g) f) = tail $ NDTBind x (f <=< g) --- tail (NDTBind (NDTCons x) f) = tail . NDTCons $ fmap (\(_, xs) -> (undefined, NDTBind xs f)) <$> x --- guardNothing :: Maybe a -> Maybe a --- guardNothing x@(Just _) = x --- guardNothing x@(Nothing) = trace "Nothing" x - instance MonadIO m => MonadIO (NDT m) where liftIO = lift . liftIO -- cgit v1.2.3