Text.Twine
Documentation
loadTemplateFromFile :: FilePath -> IO TemplateSource
loadTemplateFromString :: String -> TemplateSource
runEval :: (Monad m, Functor m) => Template -> TwineElement m -> m ByteStringSource
class Monad m => TemplateInterface m a | a -> m whereSource
Methods
property :: ByteString -> a -> m (TwineElement m)Source
makeIterable :: a -> m [TwineElement m]Source
makeString :: a -> m StringSource
Instances
| Monad m => TemplateInterface m CXInteger | |
| Monad m => TemplateInterface m EmptyContext | |
| Monad m => TemplateInterface m (CXListLike m) | |
| Monad m => TemplateInterface m [(ByteString, TwineElement m)] | |
| Monad m => TemplateInterface m (TwineElement m) | |
| Monad m => TemplateInterface m (Map ByteString (TwineElement m)) |
emptyContext :: Monad m => TwineElement mSource
bind :: (Convertible a (TwineElement m), Monad m) => a -> TwineElement mSource
unbind :: (Convertible (TwineElement m) a, Monad m) => TwineElement m -> aSource
method :: Monad m => ([TwineElement m] -> m (TwineElement m)) -> TwineElement mSource
makeContext :: Monad m => ContextWriter m -> m (TwineElement m)Source
(=:) :: (Monad m1, Convertible a (TwineElement m1), MonadWriter (Map ByteString (TwineElement m1)) m) => String -> a -> m ()Source
data TwineElement m Source
Instances
| Monad m => Convertible Bool (TwineElement m) | |
| Monad m => Convertible Int (TwineElement m) | |
| Monad m => Convertible Integer (TwineElement m) | |
| Monad m => Convertible String (TwineElement m) | |
| (Monad m, TemplateInterface m a) => Convertible a (TwineElement m) | |
| Monad m => Convertible ByteString (TwineElement m) | |
| Monad m => TemplateInterface m [(ByteString, TwineElement m)] | |
| Monad m => TemplateInterface m (TwineElement m) | |
| Monad m => TemplateInterface m (Map ByteString (TwineElement m)) | |
| Monad m => Eq (TwineElement m) | |
| Monad m => Show (TwineElement m) | |
| (Monad m, Convertible a (TwineElement m)) => Convertible [a] (TwineElement m) | |
| (Monad m, Convertible a (TwineElement m)) => Convertible (Maybe a) (TwineElement m) | |
| Monad m => Convertible (TwineElement m) (m Bool) | |
| Monad m => Convertible (TwineElement m) (m Integer) | |
| Monad m => Convertible (TwineElement m) (m Int) | |
| Monad m => Convertible (TwineElement m) (TwineElement m) | |
| Monad m => Convertible ([TwineElement m] -> m (TwineElement m)) (TwineElement m) |
evalTemplate :: FilePath -> TwineElement IO -> IO ByteStringSource