Language.Glambda.Monad

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

The Glam monad

data Glam a

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

Instances

Monad Glam

Methods

(>>=) :: Glam a -> (a -> Glam b) -> Glam b

(>>) :: Glam a -> Glam b -> Glam b

return :: a -> Glam a

fail :: String -> Glam a

Functor Glam

Methods

fmap :: (a -> b) -> Glam a -> Glam b

(<$) :: a -> Glam b -> Glam a

Applicative Glam

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

Methods

liftIO :: IO a -> Glam a

GlamM Glam

Methods

printDoc :: Doc -> Glam ()

printLine :: Doc -> Glam ()

MonadState Globals Glam

Methods

get :: Glam Globals

put :: Globals -> Glam ()

state :: (Globals -> (a, Globals)) -> Glam a

runGlam :: Glam () -> InputT IO ()

Run a Glam computation

prompt :: String -> Glam (Maybe String)

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

quit :: Glam a

Abort the Glam monad

The GlamE monad

data GlamE a

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

Instances

Monad GlamE

Methods

(>>=) :: GlamE a -> (a -> GlamE b) -> GlamE b

(>>) :: GlamE a -> GlamE b -> GlamE b

return :: a -> GlamE a

fail :: String -> GlamE a

Functor GlamE

Methods

fmap :: (a -> b) -> GlamE a -> GlamE b

(<$) :: a -> GlamE b -> GlamE a

Applicative GlamE

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

Methods

printDoc :: Doc -> GlamE ()

printLine :: Doc -> GlamE ()

MonadError Doc GlamE

Methods

throwError :: Doc -> GlamE a

catchError :: GlamE a -> (Doc -> GlamE a) -> GlamE a

MonadReader Globals GlamE

Methods

ask :: GlamE Globals

local :: (Globals -> Globals) -> GlamE a -> GlamE a

reader :: (Globals -> a) -> GlamE a

runGlamE :: GlamE a -> Glam (Either Doc a)

Run a GlamE computation

issueError :: Doc -> GlamE a

Abort the computation with an error

eitherToGlamE :: Either String a -> GlamE a

Hoist an Either into GlamE

General functions over both glamorous monads

class GlamM m where

Class for the two glamorous monads

Minimal complete definition

printDoc, printLine

Methods

printDoc :: Doc -> m ()

Print a Doc without a newline at the end

printLine :: Doc -> m ()

Print a Doc with a newline

Instances

GlamM GlamE

Methods

printDoc :: Doc -> GlamE ()

printLine :: Doc -> GlamE ()

GlamM Glam

Methods

printDoc :: Doc -> Glam ()

printLine :: Doc -> Glam ()