Safe Haskell | None |
---|---|
Language | Haskell2010 |
- module Control.Arrow
- module Control.Applicative
- module Control.Concurrent
- module Control.Concurrent.STM
- module Control.Monad
- module Control.Monad.Trans
- module Control.Monad.State.Strict
- module Control.Monad.Rnd
- module Control.Lens
- module Control.Monad.Loops
- newtype Break r m a = Break {}
- loop :: Monad m => Break r m () -> m r
- break :: Monad m => r -> Break r m a
- lift :: MonadTrans t => forall m a. Monad m => m a -> t m a
- module Data.Bits
- module Data.Ratio
- module Data.Tuple
- module Data.List
- module Data.Map.Strict
- module Data.HashMap.Strict
- module Data.HashSet
- module Data.Maybe
- module Data.Set
- module Data.Function
- module Data.Foldable
- module Data.Text
- module Data.Monoid
- module Data.Hashable
- module Debug.Trace
- module Prelude
- module System.Random
- module System.Random.Mersenne.Pure64
- module System.Directory
- module Text.Printf
- heredoc :: QuasiQuoter
- heredocFile :: FilePath -> Q Exp
- module Text.Show.Pretty
- module Graphics.TinyPlot
- trace1 :: Show a => a -> a
- traceM :: (Monad m, Show a) => a -> m ()
- trace' :: Show a => a -> b -> b
- loopM :: Monad m => a -> (a -> Bool) -> (a -> m a) -> m a
- iter :: Monad m => r -> (r -> Break r m r) -> m r
- module GHC.Generics
Documentation
module Control.Arrow
module Control.Applicative
module Control.Concurrent
module Control.Concurrent.STM
module Control.Monad
module Control.Monad.Trans
module Control.Monad.State.Strict
module Control.Monad.Rnd
module Control.Lens
module Control.Monad.Loops
Break
For the most common use cases you will:
- build
Break
commands usinglift
orbreak
- combine
Break
commands usingdo
notation - consume
Break
commands usingloop
The meaning of the type parameters:
MonadState s m => MonadState s (Break r m) Source # | |
MonadWriter w m => MonadWriter w (Break r m) Source # | |
MonadTrans (Break r) Source # | |
Monad m => Monad (Break r m) Source # | |
Functor m => Functor (Break r m) Source # | |
Monad m => Applicative (Break r m) Source # | |
MonadIO m => MonadIO (Break r m) Source # | |
MonadCont m => MonadCont (Break r m) Source # | |
Re-exports
lift :: MonadTrans t => forall m a. Monad m => m a -> t m a #
Lift a computation from the argument monad to the constructed monad.
module Data.Bits
module Data.Ratio
module Data.Tuple
module Data.List
module Data.Map.Strict
module Data.HashMap.Strict
module Data.HashSet
module Data.Maybe
module Data.Set
module Data.Function
module Data.Foldable
module Data.Text
module Data.Monoid
module Data.Hashable
module Debug.Trace
module Prelude
module System.Random
module System.Directory
module Text.Printf
module Text.Show.Pretty
module Graphics.TinyPlot
module GHC.Generics