Text.Ginger.Run

Execute Ginger templates in an arbitrary monad.

Documentation

runGingerT :: (Monad m, Functor m) => GingerContext m -> Template -> m ()

Monadically run a Ginger template. The m parameter is the carrier monad, the v parameter is the type for Ginger values.

runGinger :: GingerContext (Writer Html) -> Template -> Html

Purely expand a Ginger template. v is the type for Ginger values.

data GingerContext m

Execution context. Determines how to look up variables from the environment, and how to write out template output.

makeContext :: (VarName -> GVal (Run (Writer Html))) -> GingerContext (Writer Html)

Create an execution context for runGinger. The argument is a lookup function that maps top-level context keys to ginger values.

makeContextM :: (Monad m, Functor m) => (VarName -> Run m (GVal (Run m))) -> (Html -> m ()) -> GingerContext m

Create an execution context for runGingerT. Takes a lookup function, which returns ginger values into the carrier monad based on a lookup key, and a writer function (outputting HTML by whatever means the carrier monad provides, e.g. putStr for IO, or tell for Writers).

type Run m = StateT (RunState m) (ReaderT (GingerContext m) m)

Internal type alias for our template-runner monad stack.

liftRun :: Monad m => m a -> Run m a

Lift a value from the host monad m into the Run monad.

liftRun2 :: Monad m => (a -> m b) -> a -> Run m b

Lift a function from the host monad m into the Run monad.