Control.Monad.FreeMarker

Following the shell monad ( http:/hackage.haskell.orgpackageshell-monad ) the ASM monad ( http:wall.org~lewis20131015asm-monad.html ) and the brainfuck monad ( http:/hackage.haskell.orgpackage/brainfuck-monad ) here is a very experimental FreeMarker monad.

Example use:

test = FM.renderFM $ do
    bar <- FM.dec $ FM.litS "string blablabla"
    lol <- FM.und "varName" $ FM.litN 123
    FM.exlitl
    FM.litH $ do
        B5.div $ do
            R$<< bar
            th "test2"
    FM.lit "test"
    foo <- FM.dec $ FM.true
    FM.ifel (foo =~ FM.false)
        (do
            FM.litH $ do
                B5.div $ do
                    th "ok true div"
        )
        (FM.lit "false")
    FM.list ( FM.litL $ litN 123 >: litN 321 >: [] ) $ \vi -> do
        D$< vi
    FM.list ( FM.litNL [12,321,32] ) $ \vi -> do
        D$< vi

Documentation

litH :: Html -> FM ()

type VarCounter = Int

data FM a

Constructors

FM (VarCounter -> (String, VarCounter, a))

Instances

Monad FM

Functor FM

Applicative FM

IsString (FM a)

data FEX a b

Constructors

FEX String

Instances

Show (FEX a b)

data ENum

data EString

data EBool

data EList a

data EDate

data EHash

data EName

data E

true :: FEX E EBool

false :: FEX E EBool

now :: FEX E EDate

usF :: String -> FEX a b -> FEX c d

usM :: FEX a b -> String -> FEX c d

parShow :: FEX a b -> String

(>~) :: FEX a b -> FEX c b -> FEX E EBool

(>=~) :: FEX a b -> FEX c b -> FEX E EBool

(<~) :: FEX a b -> FEX c b -> FEX E EBool

(<=~) :: FEX a b -> FEX c b -> FEX E EBool

(=~) :: FEX a b -> FEX c b -> FEX E EBool

(&~) :: FEX a EBool -> FEX b EBool -> FEX E EBool

renderFM :: FM a -> String

renderFMW :: FM a -> VarCounter -> String

lit :: String -> FM ()

lite :: String -> FEX a b

size :: FEX a (EList b) -> FEX E ENum

has :: FEX a EHash -> String -> FEX E EBool

data LC b

Constructors

forall a . LC (FEX a b)

Instances

Show (LC b)

type LitLET a = FEX E (EList a)

litLEmpty :: FEX E (EList a)

litL :: [LC b] -> FEX E (EList b)

litNL :: (Num a, Show a) => [a] -> FEX E (EList ENum)

litSL :: [String] -> FEX E (EList EString)

litBL :: [Bool] -> FEX E (EList EBool)

(>:) :: FEX a b -> [LC b] -> [LC b] infixr 1

exlitl :: FM ()

list :: FEX a (EList lt) -> (FEX EName lt -> FM b) -> FM ()

if_ :: FEX a EBool -> FM b -> FM ()

ifel :: FEX a EBool -> FM b -> FM c -> FM ()

getVarCounter :: FM VarCounter

dec :: FEX a b -> FM (FEX EName b)

namedDec :: String -> FEX a b -> FM (FEX EName b)

und :: String -> FEX a b -> FM (FEX EName b)

unsafeNamedDeclaration :: String -> FEX a b -> FM (FEX EName b)

assign :: FEX EName a -> FEX b a -> FM ()

urlEncode :: FEX a EString -> FEX E EString

def :: FEX a b -> FEX a b -> FEX a b

data D

Constructors

D

data R

Constructors

R

($<) :: D -> FEX a b -> FM ()

($<<) :: R -> FEX a b -> Html

(-~) :: FEX a ENum -> FEX a ENum -> FEX E ENum

(+~) :: FEX a ENum -> FEX a ENum -> FEX E ENum

litN :: (Show a, Num a) => a -> FEX E ENum

litS :: String -> FEX E EString

litB :: Bool -> FEX E EBool

test :: FM ()