From b0460c33fe676912b88de09f49956a4adf5c9752 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Sun, 5 Jun 2016 20:53:33 +0200 Subject: cleanup --- src/Sequence/Formula.hs | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/src/Sequence/Formula.hs b/src/Sequence/Formula.hs index e860c53..0d99fc0 100644 --- a/src/Sequence/Formula.hs +++ b/src/Sequence/Formula.hs @@ -83,16 +83,6 @@ val answer prompt keepResult = do gets (Set.member prompt) >>= bool (modify $ Set.insert prompt) (modify (Set.delete prompt) >> throwError Question{..}) preview answer >>= maybe (throwError Question{..}) id --- viewL :: Lens' lInput sInput -> Prism' (FormulaM sInput a) (FormulaM lInput a) --- viewL lTrav = iso asL asS --- where --- asL small = join $ lift . withExceptT (\Question{..} -> Question{ answer = lTrav . answer . viewL lTrav, .. }) . runReaderT small <$> view lTrav --- asS :: FormulaM lInput a -> FormulaM sInput a --- asS large = undefined - --- val' :: Integral a => Lens' lInput sInput -> Traversal' sInput (FormulaM sInput Int) -> String -> Bool -> FormulaM lInput Int --- val' lTrav sTrav prompt keepResult = preview (lTrav . sTrav . viewL lTrav) >>= maybe (throwError Question{ answer = lTrav . sTrav . viewL lTrav, ..}) id - d, z :: Integral a => Int -> FormulaM input a d n = liftBase . fmap fromIntegral $ D.d n z n = liftBase . fmap fromIntegral $ D.z n -- cgit v1.2.3