Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type Bindings = [(String, Int)]
- isCountCorrect :: Bindings -> Bool
- calcIsCountCorrect :: Member (Reader Bindings) r => Eff r Bool
- lookupVar :: String -> Bindings -> Int
- sampleBindings :: [([Char], Int)]
- exampleReader0 :: IO ()
- calculateContentLen :: Member (Reader String) r => Eff r Int
- calculateModifiedContentLen :: Member (Reader String) r => Eff r Int
- exampleReader1 :: IO ()
- simpleWriter :: Member (Writer String) r => Eff r Int
- exampleWriter0 :: IO ()
- addGet :: Member (Reader Int) r => Int -> Eff r Int
- addN :: Member (Reader Int) r => Int -> Eff r Int
- rdwr :: (Member (Reader Int) r, Member (Writer String) r) => Eff r Int
- exampleWriter1 :: IO ()
- ts1 :: Member (State Int) r => Eff r Int
- ts2 :: Member (State Int) r => Eff r Int
- exampleState1 :: (Int, Int)
- exampleState1' :: (Int, Int)
- exampleState2 :: (Int, Int)
- exampleState2' :: (Int, Int)
- ts11 :: (Member (Reader Int) r, Member (Writer Int) r) => Eff r Int
- exampleStateRW1 :: Bool
- ts21 :: (Member (Reader Int) r, Member (Writer Int) r) => Eff r Int
- exampleStateRW2 :: Bool
- testCA :: MonadPlus m => m Int
- exampleNdetEffChoiceA :: [Int]
- testIfte :: Member NdetEff r => Eff r Int
- exampleNdetEffIfte :: [Int]
- tsplit :: (Member (Writer String) r, Member NdetEff r) => Eff r Int
- exampleNdetEffTsplit10 :: ([Int], String)
- exampleNdetEffTsplit11 :: ([Int], String)
- exampleNdetEffTsplit20 :: [(Int, String)]
- exampleNdetEffTsplit21 :: [(Int, String)]
- tl1 :: (Member (Reader Int) r, MemberU2 Lift (Lift IO) r) => Eff r ()
- exampleLift1 :: IO ()
- mapMdebug' :: (Show a, MemberU2 Lift (Lift IO) r) => (a -> Eff r b) -> [a] -> Eff r [b]
- exampleLiftMapMdebug :: IO [Int]
- add :: Monad m => m Int -> m Int -> m Int
- et1 :: Eff r Int
- et1r :: Bool
- et2 :: Member (Exception Int) r => Eff r Int
- et21 :: Eff r (Either Int Int)
- exampleException21 :: Bool
- newtype TooBig = TooBig Int
- ex2 :: Member (Exception TooBig) r => Eff r Int -> Eff r Int
- runErrBig :: Eff (Exception TooBig ': r) a -> Eff r (Either TooBig a)
- ex2r :: Eff r (Either TooBig Int)
- exampleException22 :: Bool
- exampleException221 :: Bool
- exampleException222 :: Bool
- exwr :: (Member (Writer String) r, Member (Exception Int) r) => Eff r Double
- exwr1 :: Eff r (Either Int (Double, String))
- exwr2 :: Eff r (Either Int Double, String)
- exampleExceptionExwr1 :: Either Int (Double, String)
- exampleExceptionExwr2 :: (Either Int Double, String)
- mapMdebug :: (Show a, Member Trace r) => (a -> Eff r b) -> [a] -> Eff r [b]
- testMapMdebugIO :: MemberU2 Lift (Lift IO) r => Eff r [Int]
- testMapMdebugPure :: Eff r ([Int], [String])
- exampleTraceIO :: IO [Int]
- exampleTracePure :: ([Int], [String])
Documentation
isCountCorrect :: Bindings -> Bool Source #
sampleBindings :: [([Char], Int)] Source #
exampleReader0 :: IO () Source #
exampleReader1 :: IO () Source #
exampleWriter0 :: IO () Source #
exampleWriter1 :: IO () Source #
exampleState1 :: (Int, Int) Source #
exampleState1' :: (Int, Int) Source #
exampleState2 :: (Int, Int) Source #
exampleState2' :: (Int, Int) Source #
exampleNdetEffChoiceA :: [Int] Source #
testIfte :: Member NdetEff r => Eff r Int Source #
primes (very inefficiently -- but a good example of ifte)
exampleNdetEffIfte :: [Int] Source #
exampleNdetEffTsplit10 :: ([Int], String) Source #
exampleNdetEffTsplit11 :: ([Int], String) Source #
exampleNdetEffTsplit20 :: [(Int, String)] Source #
exampleNdetEffTsplit21 :: [(Int, String)] Source #
exampleLift1 :: IO () Source #
exampleLiftMapMdebug :: IO [Int] Source #
exampleTraceIO :: IO [Int] Source #
exampleTracePure :: ([Int], [String]) Source #