Language.ASTMonad

Documentation

data Code s

Constructors

Code s (CodeSeq s)

newtype CodeSeq s

Constructors

CodeSeq

Fields

• getCodeSeq :: [Code s] -> [Code s]

Instances

Monoid (CodeSeq s)

Methods

mempty :: CodeSeq s

mappend :: CodeSeq s -> CodeSeq s -> CodeSeq s

mconcat :: [CodeSeq s] -> CodeSeq s

newtype ASTM p s e a

Constructors

ASTM

Fields

• runASTM :: p -> e -> (a, e, CodeSeq s)

Instances

Monad (ASTM p s e)

Methods

(>>=) :: ASTM p s e a -> (a -> ASTM p s e b) -> ASTM p s e b

(>>) :: ASTM p s e a -> ASTM p s e b -> ASTM p s e b

return :: a -> ASTM p s e a

fail :: String -> ASTM p s e a

Functor (ASTM p s e)

Methods

fmap :: (a -> b) -> ASTM p s e a -> ASTM p s e b

(<$) :: a -> ASTM p s e b -> ASTM p s e a

Applicative (ASTM p s e)

Methods

pure :: a -> ASTM p s e a

(<*>) :: ASTM p s e (a -> b) -> ASTM p s e a -> ASTM p s e b

(*>) :: ASTM p s e a -> ASTM p s e b -> ASTM p s e b

(<*) :: ASTM p s e a -> ASTM p s e b -> ASTM p s e a

fromCodeSeq :: CodeSeq s -> [Code s]

toCodeSeq :: [Code s] -> CodeSeq s

getParam :: (p -> a) -> ASTM p s e a

getEnv :: ASTM p s e e

putEnv :: e -> ASTM p s e ()

modifyEnv :: (e -> e) -> ASTM p s e ()

buildAST :: ASTM p s e () -> p -> e -> (e, CodeSeq s)

fromCode :: (p -> e -> (e, s)) -> ASTM p s e ()

fromCode' :: ASTM p s e () -> (p -> e -> (e, s)) -> ASTM p s e ()