Mida.Language

Documentation

type SyntaxTree = [Sel]

data Sel

Constructors

Value Int

Section [Sel]

Multi [Sel]

CMulti [([Sel], [Sel])]

Reference String

Range Int Int

Product Sel Sel

Division Sel Sel

Sum Sel Sel

Diff Sel Sel

Loop Sel Sel

Rotation Sel Sel

Reverse Sel

Instances

Eq Sel

Show Sel

type Principle = [Elt]

type Elt = Element Int

data Element a

Constructors

Val a

Sec [Element a]

Mul [Element a]

CMul [([Element a], [Element a])]

Instances

Functor Element

Applicative Element

Foldable Element

Eq a => Eq (Element a)

Show a => Show (Element a)

newtype MidaEnv m a

Constructors

MidaEnv

Fields

unMidaEnv :: StateT MidaEnvSt m a

Instances

MonadTrans MidaEnv

Monad m => Monad (MidaEnv m)

Functor m => Functor (MidaEnv m)

Monad m => Applicative (MidaEnv m)

MonadIO m => MonadIO (MidaEnv m)

runMidaEnv :: Monad m => MidaEnv m a -> m a

addDef :: Monad m => String -> SyntaxTree -> MidaEnv m ()

remDef :: Monad m => String -> MidaEnv m ()

clearDefs :: Monad m => MidaEnv m ()

getPrin :: Monad m => String -> MidaEnv m SyntaxTree

getSrc :: Monad m => String -> MidaEnv m Text

fullSrc :: Monad m => MidaEnv m Text

getRefs :: Monad m => MidaEnv m [String]

purgeEnv :: Monad m => [String] -> MidaEnv m ()

checkRecur :: Monad m => String -> SyntaxTree -> MidaEnv m Bool

setRandGen :: Monad m => Int -> MidaEnv m ()

newRandGen :: Monad m => MidaEnv m TFGen

evalDef :: Monad m => String -> MidaEnv m [Int]

eval :: Monad m => SyntaxTree -> MidaEnv m [Int]

toPrin :: Monad m => SyntaxTree -> MidaEnv m Principle