lexi-lambda/freer-simple
1
1
Fork 0
mirror of https://github.com/lexi-lambda/freer-simple.git synced 2024-12-25 07:02:20 +03:00
Code Issues Projects Releases Wiki Activity

style(*): apply hlint

Browse Source
This commit is contained in:
Alej Cabrera 2015-09-12 00:43:39 -05:00
parent 7897b40ec9
commit b469ca6ffd
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Control/Monad/Freer/Exception.hs
View File

@ -83,7 +83,7 @@ runErrBig = runError
incr :: Member (State Int) r => Eff r ()
incr = get >>= put . (+ (1::Int))
tes1 :: (Member (State Int) r, Member (Exc [Char]) r) => Eff r b
tes1 :: (Member (State Int) r, Member (Exc String) r) => Eff r b
tes1 = do
incr
throwError "exc"
@ -98,7 +98,7 @@ ter2 = ((Left "exc" :: Either String (Int,Int)) ==) $
run $ runError (runState tes1 (1::Int))
teCatch :: Member (Exc String) r => Eff r a -> Eff r [Char]
teCatch :: Member (Exc String) r => Eff r a -> Eff r String
teCatch m = catchError (m >> return "done") (\e -> return (e::String))
ter3 :: Bool

4
src/Data/FTCQueue.hs
View File

@ -34,7 +34,7 @@ data FTCQueue m a b where
{-# INLINE tsingleton #-}
tsingleton :: (a -> m b) -> FTCQueue m a b
tsingleton r = Leaf r
tsingleton = Leaf
{-# INLINE (|>) #-}
(|>) :: FTCQueue m a x -> (x -> m b) -> FTCQueue m a b
@ -51,7 +51,7 @@ append = (><)
-- Left-edge deconstruction
data ViewL m a b where
TOne :: (a -> m b) -> ViewL m a b
(:|) :: (a -> m x) -> (FTCQueue m x b) -> ViewL m a b
(:|) :: (a -> m x) -> FTCQueue m x b -> ViewL m a b
tviewl :: FTCQueue m a b -> ViewL m a b
tviewl (Leaf r) = TOne r