Alga.Language.Environment

Documentation

data AlgaEnv m a

Monad that implements ALGA environment.

Instances

Monad m => Monad (AlgaEnv m)

Methods

(>>=) :: AlgaEnv m a -> (a -> AlgaEnv m b) -> AlgaEnv m b

(>>) :: AlgaEnv m a -> AlgaEnv m b -> AlgaEnv m b

return :: a -> AlgaEnv m a

fail :: String -> AlgaEnv m a

Functor m => Functor (AlgaEnv m)

Methods

fmap :: (a -> b) -> AlgaEnv m a -> AlgaEnv m b

(<$) :: a -> AlgaEnv m b -> AlgaEnv m a

Monad m => Applicative (AlgaEnv m)

Methods

pure :: a -> AlgaEnv m a

(<*>) :: AlgaEnv m (a -> b) -> AlgaEnv m a -> AlgaEnv m b

(*>) :: AlgaEnv m a -> AlgaEnv m b -> AlgaEnv m b

(<*) :: AlgaEnv m a -> AlgaEnv m b -> AlgaEnv m a

MonadIO m => MonadIO (AlgaEnv m)

Methods

liftIO :: IO a -> AlgaEnv m a

MonadThrow m => MonadThrow (AlgaEnv m)

Methods

throwM :: Exception e => e -> AlgaEnv m a

MonadCatch m => MonadCatch (AlgaEnv m)

Methods

catch :: Exception e => AlgaEnv m a -> (e -> AlgaEnv m a) -> AlgaEnv m a

MonadMask m => MonadMask (AlgaEnv m)

Methods

mask :: ((forall a. AlgaEnv m a -> AlgaEnv m a) -> AlgaEnv m b) -> AlgaEnv m b

uninterruptibleMask :: ((forall a. AlgaEnv m a -> AlgaEnv m a) -> AlgaEnv m b) -> AlgaEnv m b

MonadException m => MonadException (AlgaEnv m)

Methods

controlIO :: (RunIO (AlgaEnv m) -> IO (AlgaEnv m a)) -> AlgaEnv m a

Monad m => HasEnv (AlgaEnv m)

Methods

getDefs :: AlgaEnv m Defs

setDefs :: Defs -> AlgaEnv m ()

setRandGen :: Natural -> AlgaEnv m ()

newRandGen :: AlgaEnv m TFGen

class Monad m => HasEnv m where

Type class for things that can be considered ALGA environment.

Minimal complete definition

getDefs, setDefs, setRandGen, newRandGen

Methods

getDefs :: m Defs

Get collection of all definitions.

setDefs :: Defs -> m ()

Update definitions with given ones.

setRandGen :: Natural -> m ()

Set random generator seed.

newRandGen :: m TFGen

Split current random generator, update it, and return new one.

Instances

Monad m => HasEnv (AlgaEnv m)

Methods

getDefs :: AlgaEnv m Defs

setDefs :: Defs -> AlgaEnv m ()

setRandGen :: Natural -> AlgaEnv m ()

newRandGen :: AlgaEnv m TFGen

HasEnv m => HasEnv (StateT e m)

Methods

getDefs :: StateT e m Defs

setDefs :: Defs -> StateT e m ()

setRandGen :: Natural -> StateT e m ()

newRandGen :: StateT e m TFGen

HasEnv m => HasEnv (ReaderT * e m)

Methods

getDefs :: ReaderT * e m Defs

setDefs :: Defs -> ReaderT * e m ()

setRandGen :: Natural -> ReaderT * e m ()

newRandGen :: ReaderT * e m TFGen

runAlgaEnv :: Monad m => AlgaEnv m a -> m a

Run state monad with ALGA environment.

addDef

Arguments

:: HasEnv m

=> String

Reference name

-> SyntaxTree

AST of its principle

-> m ()

Add a new definition to the environment.

remDef

Arguments

:: HasEnv m

=> String

Reference name

-> m ()

Remove definition given its name.

clearDefs :: HasEnv m => m ()

Remove all definitions, restoring default state of environment.

getPrin

Arguments

:: HasEnv m

=> String

Reference name

-> m SyntaxTree

Syntax tree

Get principle corresponding to given variable name.

getSrc

Arguments

:: HasEnv m

=> String

Reference name

-> m Text

Textual representation of source code

Get source code of definition given its name.

fullSrc :: HasEnv m => m Text

Reconstruct source code for all existing definitions.

getRefs :: HasEnv m => m [String]

Get all reference names defined at the moment.

purgeEnv

Arguments

:: HasEnv m

=> [String]

Top-level definitions

-> m ()

Purge environment removing definitions that are not used in construction of “top-level” definitions.

checkRecur

Arguments

:: HasEnv m

=> String

Reference name

-> SyntaxTree

Its syntax tree

-> m Bool

Check if definition with given name is depends on itself.