Web.View.View

Views

newtype View context a

Views are HTML fragments that carry all CSS used by any child element.

view :: View c ()
view = col (pad 10 . gap 10) $ do
  el bold "Hello"
  el_ "World"

They can also have a context which can be used to create type-safe or context-aware elements. See table for an example

Constructors

View

Fields

• viewState :: Eff [Reader context, State ViewState] a

Instances

Applicative (View context)

Defined in Web.View.View

Methods

pure :: a -> View context a

(<*>) :: View context (a -> b) -> View context a -> View context b

liftA2 :: (a -> b -> c) -> View context a -> View context b -> View context c

(*>) :: View context a -> View context b -> View context b

(<*) :: View context a -> View context b -> View context a

Functor (View context)

Defined in Web.View.View

Methods

fmap :: (a -> b) -> View context a -> View context b

(<$) :: a -> View context b -> View context a

Monad (View context)

Defined in Web.View.View

Methods

(>>=) :: View context a -> (a -> View context b) -> View context b

(>>) :: View context a -> View context b -> View context b

return :: a -> View context a

IsString (View context ())

Defined in Web.View.View

Methods

fromString :: String -> View context ()

data ViewState

Constructors

ViewState

Fields

• contents :: [Content]
• css :: CSS

Instances

Semigroup ViewState

Defined in Web.View.View

Methods

(<>) :: ViewState -> ViewState -> ViewState

sconcat :: NonEmpty ViewState -> ViewState

stimes :: Integral b => b -> ViewState -> ViewState

runView :: context -> View context () -> ViewState

Extract the ViewState from a View

context :: View context context

Get the current context

addContext :: context -> View context () -> View c ()

Run a view with a specific context in a parent View with a different context. This can be used to create type safe view functions, like table

viewModContents :: ([Content] -> [Content]) -> View context ()

viewModCss :: (CSS -> CSS) -> View context ()

viewAddClasses :: [Class] -> View c ()

viewAddContent :: Content -> View c ()

viewInsertContents :: [Content] -> View c ()

Inserts contents into the first child element

Creating new Elements

tag :: Text -> Mod -> View c () -> View c ()

Create a new element constructor

aside :: Mod -> View c () -> View c ()
aside = tag "aside"

att :: Name -> AttValue -> Mod

Set an attribute, replacing existing value

hlink :: Text -> View c () -> View c ()
hlink url content = tag "a" (att "href" url) content