Control.Monad.Takahashi.HtmlBuilder.Monad

Documentation

data DrawType

Constructors

SimpleDraw

HStretch

WStretch

Stretch

Instances

Eq DrawType

Ord DrawType

Read DrawType

Show DrawType

data DivInfo o

Constructors

DivInfo

Fields

divRatio :: Int

divMakeStyle :: MakeStyle ()

divData :: HtmlBuilder o ()

divInfo :: DivInfo o

data HtmlBuilderBase o a where

Constructors

GetHtmlOption :: HtmlBuilderBase o o

PutHtmlOption :: o -> HtmlBuilderBase o ()

WriteHeader1 :: String -> HtmlBuilderBase o ()

WriteHeader2 :: String -> HtmlBuilderBase o ()

WriteHeader3 :: String -> HtmlBuilderBase o ()

WriteParagraph :: String -> HtmlBuilderBase o ()

WriteList :: [String] -> HtmlBuilderBase o ()

DrawPicture :: DrawType -> String -> HtmlBuilderBase o ()

VerticalDiv :: [DivInfo o] -> HtmlBuilderBase o ()

HorizonDiv :: [DivInfo o] -> HtmlBuilderBase o ()

WriteHtml :: Html -> HtmlBuilderBase o ()

Instances

MonadState x (HtmlBuilder x)

type HtmlBuilder o = Program (HtmlBuilderBase o)

divInfo2Tuple :: DivInfo o -> (Int, (MakeStyle (), HtmlBuilder o ()))

tuple2DivInfo :: (Int, (MakeStyle (), HtmlBuilder o ())) -> DivInfo o

getHtmlOption :: HtmlBuilder o o

putHtmlOption :: o -> HtmlBuilder o ()

writeHeader1 :: String -> HtmlBuilder o ()

writeHeader2 :: String -> HtmlBuilder o ()

writeHeader3 :: String -> HtmlBuilder o ()

writeParagraph :: String -> HtmlBuilder o ()

writeList :: [String] -> HtmlBuilder o ()

drawPicture :: DrawType -> String -> HtmlBuilder o ()

verticalDiv :: [DivInfo o] -> HtmlBuilder o ()

horizonDiv :: [DivInfo o] -> HtmlBuilder o ()

writeHtml :: Html -> HtmlBuilder o ()