Copyright	(C) 2015 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg ([email protected])
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Language.Glambda.Monad

Contents

Description

The Glam monad, allowing for pretty-printed output to the user, failing with an error message, and tracking global variables.

Synopsis

The `Glam` monad

A monad giving Haskeline-like interaction, access to Globals, and the ability to abort with mzero.

Instances

Monad Glam Source #
Methods (>>=) :: Glam a -> (a -> Glam b) -> Glam b # (>>) :: Glam a -> Glam b -> Glam b # return :: a -> Glam a # fail :: String -> Glam a #
Functor Glam Source #
Methods fmap :: (a -> b) -> Glam a -> Glam b # (<$) :: a -> Glam b -> Glam a #
Applicative Glam Source #
Methods pure :: a -> Glam a # (<>) :: Glam (a -> b) -> Glam a -> Glam b # (>) :: Glam a -> Glam b -> Glam b # (<*) :: Glam a -> Glam b -> Glam a #
MonadIO Glam Source #
Methods liftIO :: IO a -> Glam a #
GlamM Glam Source #
Methods printDoc :: Doc -> Glam () Source # printLine :: Doc -> Glam () Source #
MonadState Globals Glam Source #
Methods get :: Glam Globals # put :: Globals -> Glam () # state :: (Globals -> (a, Globals)) -> Glam a #

Run a Glam computation

Prompt the user for input, returning a string if one is entered. Like getInputLine.

Abort the Glam monad

The `GlamE` monad

Like the Glam monad, but also supporting error messages via Docs

Instances

Monad GlamE Source #
Methods (>>=) :: GlamE a -> (a -> GlamE b) -> GlamE b # (>>) :: GlamE a -> GlamE b -> GlamE b # return :: a -> GlamE a # fail :: String -> GlamE a #
Functor GlamE Source #
Methods fmap :: (a -> b) -> GlamE a -> GlamE b # (<$) :: a -> GlamE b -> GlamE a #
Applicative GlamE Source #
Methods pure :: a -> GlamE a # (<>) :: GlamE (a -> b) -> GlamE a -> GlamE b # (>) :: GlamE a -> GlamE b -> GlamE b # (<*) :: GlamE a -> GlamE b -> GlamE a #
GlamM GlamE Source #
Methods printDoc :: Doc -> GlamE () Source # printLine :: Doc -> GlamE () Source #
MonadError Doc GlamE Source #
Methods throwError :: Doc -> GlamE a # catchError :: GlamE a -> (Doc -> GlamE a) -> GlamE a #
MonadReader Globals GlamE Source #
Methods ask :: GlamE Globals # local :: (Globals -> Globals) -> GlamE a -> GlamE a # reader :: (Globals -> a) -> GlamE a #

Run a GlamE computation

Abort the computation with an error

Hoist an Either into GlamE

class GlamM m where Source #

Class for the two glamorous monads

Minimal complete definition

Methods

Print a Doc without a newline at the end

Print a Doc with a newline

Instances

GlamM GlamE Source #
Methods printDoc :: Doc -> GlamE () Source # printLine :: Doc -> GlamE () Source #
GlamM Glam Source #
Methods printDoc :: Doc -> Glam () Source # printLine :: Doc -> Glam () Source #