Safe Haskell	Safe-Inferred
Language	GHC2021

Web.View.View

Contents

Synopsis

newtype View context a = View {
- viewState :: Eff [Reader context, State ViewState] a
}
data ViewState = ViewState {
- contents :: [Content]
- css :: CSS
}
runView :: context -> View context () -> ViewState
context :: View context context
addContext :: context -> View context () -> View c ()
viewModContents :: ([Content] -> [Content]) -> View context ()
viewModCss :: (CSS -> CSS) -> View context ()
viewAddClasses :: [Class] -> View c ()
viewAddContent :: Content -> View c ()
viewInsertContents :: [Content] -> View c ()
tag :: Text -> Mod -> View c () -> View c ()
att :: Name -> AttValue -> Mod

Views

newtype View context a Source #

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 details

Applicative (View context) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 ()) Source #
Instance details Defined in Web.View.View Methods fromString :: String -> View context () #

Constructors

ViewState
Fields contents :: [Content] css :: CSS

Instances details

Semigroup ViewState Source #
Instance details Defined in Web.View.View Methods (<>) :: ViewState -> ViewState -> ViewState # sconcat :: NonEmpty ViewState -> ViewState # stimes :: Integral b => b -> ViewState -> ViewState #

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

Extract the ViewState from a View

context :: View context context Source #

Get the current context

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

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

Inserts contents into the first child element

Creating new Elements

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

Create a new element constructor

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

Set an attribute, replacing existing value

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