Moduleturtle-1.6.2Haskell2010

Turtle.Shell

You can think of Shell as [] + IO + Managed. In fact, you can embed all three of them within a Shell:

select ::        [a] -> Shell a
liftIO ::      IO a  -> Shell a
using  :: Managed a  -> Shell a

Those three embeddings obey these laws:

do { x <- select m; select (f x) } = select (do { x <- m; f x })
do { x <- liftIO m; liftIO (f x) } = liftIO (do { x <- m; f x })
do { x <- with   m; using  (f x) } = using  (do { x <- m; f x })

select (return x) = return x
liftIO (return x) = return x
using  (return x) = return x

... and select obeys these additional laws:

select xs <|> select ys = select (xs <|> ys)
select empty = empty

You typically won't build Shells using the Shell constructor. Instead, use these functions to generate primitive Shells:

empty, to create a Shell that outputs nothing
return, to create a Shell that outputs a single value
select, to range over a list of values within a Shell
liftIO, to embed an IO action within a Shell
using, to acquire a Managed resource within a Shell

Then use these classes to combine those primitive Shells into larger Shells:

Alternative, to concatenate Shell outputs using (<|>)
Monad, to build Shell comprehensions using do notation

If you still insist on building your own Shell from scratch, then the Shell you build must satisfy this law:

-- For every shell `s`:
_foldShell s (FoldShell step begin done) = do
    x' <- _foldShell s (FoldShell step begin return)
    done x'

... which is a fancy way of saying that your Shell must call 'begin' exactly once when it begins and call 'done' exactly once when it ends.

Contents

Shell
Embeddings

Synopsis

newtype Shell
data FoldShell
value _foldIO
value _Shell
value foldIO
value foldShell
value fold
value reduce
value sh
value view
value select
method liftIO
method using
value fromIO

Packageturtle-1.6.2
Exports14
LanguageHaskell2010
LicenceBSD-3-Clause
SourceShell.hs

Shell

newtypenewtype Shell a

Source#

A (Shell a) is a protected stream of a's with side effects

Constructors

Shell
- _foldShell :: forall r. FoldShell a r -> IO r

Instances14Monad, Functor, MonadFail, Applicative, Alternative, MonadPlus, …

Monad ShellDefined in turtle-1.6.2 · Turtle.Shell
Functor ShellDefined in turtle-1.6.2 · Turtle.Shell
MonadFail ShellDefined in turtle-1.6.2 · Turtle.Shell
Applicative ShellDefined in turtle-1.6.2 · Turtle.Shell
Alternative ShellDefined in turtle-1.6.2 · Turtle.Shell
MonadPlus ShellDefined in turtle-1.6.2 · Turtle.Shell
MonadIO ShellDefined in turtle-1.6.2 · Turtle.Shell
MonadCatch ShellDefined in turtle-1.6.2 · Turtle.Shell
MonadThrow ShellDefined in turtle-1.6.2 · Turtle.Shell
MonadManaged ShellDefined in turtle-1.6.2 · Turtle.Shell
Monoid a => Num (Shell a)Defined in turtle-1.6.2 · Turtle.Shell
Shell forms a semiring, this is the closest approximation
IsString a => IsString (Shell a)Defined in turtle-1.6.2 · Turtle.Shell
Monoid a => Semigroup (Shell a)Defined in turtle-1.6.2 · Turtle.Shell
Monoid a => Monoid (Shell a)Defined in turtle-1.6.2 · Turtle.Shell

datadata FoldShell a b

Source#

This is similar to FoldM IO except that the begin field is pure

This small difference is necessary to implement a well-behaved MonadCatch instance for Shell

Constructors

forall x. FoldShell (x -> a -> IO x) x (x -> IO b)

value_foldIO :: Shell a -> FoldM IO a r -> IO r

Source#

Provided for backwards compatibility with versions of turtle-1.4.* and older

value_Shell :: (forall r. FoldM IO a r -> IO r) -> Shell a

Source#

Provided for ease of migration from versions of turtle-1.4.* and older

valuefoldIO :: MonadIO io => Shell a -> FoldM IO a r -> io r

Source#

Use a FoldM IO to reduce the stream of a's produced by a Shell

valuefoldShell :: MonadIO io => Shell a -> FoldShell a b -> io b

Source#

Use a FoldShell to reduce the stream of a's produced by a Shell

valuefold :: MonadIO io => Shell a -> Fold a b -> io b

Source#

Use a Fold to reduce the stream of a's produced by a Shell

valuereduce :: MonadIO io => Fold a b -> Shell a -> io b

Source#

Flipped version of fold. Useful for reducing a stream of data

Example

Sum a Shell of numbers:

Example1 expression

>>> select [1, 2, 3] & reduce Fold.sum6

valuesh :: MonadIO io => Shell a -> io ()

Source#

Run a Shell to completion, discarding any unused values

valueview :: (MonadIO io, Show a) => Shell a -> io ()

Source#

Run a Shell to completion, printing any unused values

Embeddings

valueselect :: Foldable f => f a -> Shell a

Source#

Convert a list to a Shell that emits each element of the list

methodliftIO :: IO a -> m a

Source#

Lift a computation from the IO monad. This allows us to run IO computations in any monadic stack, so long as it supports these kinds of operations (i.e. IO is the base monad for the stack).

Example

import Control.Monad.Trans.State -- from the "transformers" library

printState :: Show s => StateT s IO ()
printState = do
  state <- get
  liftIO $ print state

Had we omitted liftIO, we would have ended up with this error:

• Couldn't match type ‘IO’ with ‘StateT s IO’
 Expected type: StateT s IO ()
   Actual type: IO ()

The important part here is the mismatch between StateT s IO () and IO ().

Luckily, we know of a function that takes an IO a and returns an (m a): liftIO, enabling us to run the program and see the expected results:

> evalStateT printState "hello"
"hello"

> evalStateT printState 3
3

methodusing :: Managed a -> m a

valuefromIO :: IO (Maybe a) -> Shell a

Source#

Convert an IO action that returns a Maybe into a Shell