Copyright	(c) Mike Solomon 2020
License	GPL-3
Maintainer	mike@meeshkan.com
Stability	experimental
Portability	POSIX, Windows
Safe Haskell	None
Language	Haskell2010

Web.Framework.Plzwrk

Description

This module contains the base functions for plzwrk, notably the family of plzwrk functions needed for plzwrk to work. It also exports most of the utility functions used for building web applications, like event handling and attribute wrangling.

Synopsis

plzwrk :: (state -> PwNode state jsval) -> state -> JSEnv jsval -> String -> IO ()
plzwrk' :: (state -> PwNode state jsval) -> state -> JSEnv jsval -> IO ()
plzwrk'_ :: (() -> PwNode () jsval) -> JSEnv jsval -> IO ()
plzwrkSSR :: (state -> PwNode state jsval) -> state -> JSEnv jsval -> String -> IO ()
toHTML :: (state -> PwNode state jsval) -> state -> String
data PwNode s opq
- = PwElement {
  - _elt_tag :: String
  - _elt_attrs :: [(String, s -> PwAttribute s opq)]
  - _elt_children :: [s -> PwNode s opq]
  }
- | PwTextNode {
  - _tn_text :: String
  }
data PwAttribute s opq
- = PwTextAttribute String
- | PwFunctionAttribute (opq -> s -> IO s)
data JSEnv jsval = JSEnv {
- castToArray :: jsval -> IO (Maybe [jsval])
- castToBool :: jsval -> IO (Maybe Bool)
- castToByteString :: jsval -> IO (Maybe ByteString)
- castToDouble :: jsval -> IO (Maybe Double)
- castToInt :: jsval -> IO (Maybe Int)
- castToString :: jsval -> IO (Maybe String)
- consoleLog :: jsval -> IO ()
- defaultRequestInit :: RequestInit jsval
- documentBody :: IO jsval
- documentCreateElement :: String -> IO jsval
- documentCreateTextNode :: String -> IO jsval
- documentGetElementById :: String -> IO (Maybe jsval)
- documentHead :: IO jsval
- fetch :: String -> RequestInit jsval -> IO jsval
- getPropertyAsOpaque :: jsval -> String -> IO (Maybe jsval)
- invokeOn0 :: jsval -> String -> IO jsval
- invokeOn1 :: jsval -> String -> jsval -> IO jsval
- invokeOn2 :: jsval -> String -> jsval -> jsval -> IO jsval
- jsValFromArray :: [jsval] -> IO jsval
- jsValFromBool :: Bool -> IO jsval
- jsValFromByteString :: ByteString -> IO jsval
- jsValFromDouble :: Double -> IO jsval
- jsValFromInt :: Int -> IO jsval
- jsValFromString :: String -> IO jsval
- makeObject :: IO jsval
- mathRandom :: IO Double
- setValue :: jsval -> String -> jsval -> IO ()
- _freeCallback :: jsval -> IO ()
- _makeHaskellCallback1 :: (jsval -> IO ()) -> IO jsval
- _makeHaskellCallback2 :: (jsval -> jsval -> IO ()) -> IO jsval
- _makeHaskellCallback3 :: (jsval -> jsval -> jsval -> IO ()) -> IO jsval
}
pwx :: QuasiQuoter
pwx' :: QuasiQuoter
plusplus :: [a] -> [a] -> [a]
parsePWX :: Monad m => (String, Int, Int) -> String -> m PWX
parsePWX_ :: Monad m => String -> m PWX
data PWX
- = PWXElement {
  - _pwxElement_tag :: String
  - _pwxElement_attributes :: [(String, PWXAttribute)]
  - _pwxElement_children :: [PWX]
  }
- | PWXSelfClosingTag {
  - _pwxSelfClosingTag_tag :: String
  - _pwxSelfClosingTag_attributes :: [(String, PWXAttribute)]
  }
- | PWXHaskellCode {
  - _pwxHaskellCode_code :: String
  }
- | PWXHaskellCodeList {
  - _pwxHaskellCodeList_codeList :: String
  }
- | PWXHaskellText {
  - _pwxHaskellText_text :: String
  }
- | PWXBody {
  - _pwxBody_body :: String
  }
data PWXAttribute
- = PWXStringAttribute String
- | PWXHaskellCodeAttribute String
- | PWXHaskellTxtAttribute String
pF :: (opq -> s -> IO s) -> s -> PwAttribute s opq
pT :: String -> s -> PwAttribute s opq
eventPreventDefault :: JSEnv jsval -> jsval -> IO ()
eventTargetBlur :: JSEnv jsval -> jsval -> IO ()
eventTargetValue :: JSEnv jsval -> jsval -> IO (Maybe String)
elementSetAttribute :: JSEnv jsval -> jsval -> String -> String -> IO ()
elementTagName :: JSEnv jsval -> jsval -> IO (Maybe String)
eventTargetAddEventListener :: JSEnv jsval -> jsval -> String -> jsval -> IO ()
eventTargetRemoveEventListener :: JSEnv jsval -> jsval -> String -> jsval -> IO ()
getPropertyAsBool :: JSEnv jsval -> jsval -> String -> IO (Maybe Bool)
getPropertyAsDouble :: JSEnv jsval -> jsval -> String -> IO (Maybe Double)
getPropertyAsInt :: JSEnv jsval -> jsval -> String -> IO (Maybe Int)
getPropertyAsString :: JSEnv jsval -> jsval -> String -> IO (Maybe String)
htmlElemenetClick :: JSEnv jsval -> jsval -> IO ()
consoleLogS :: JSEnv jsval -> String -> IO ()
nodeAppendChild :: JSEnv jsval -> jsval -> jsval -> IO ()
nodeChildNodes :: JSEnv jsval -> jsval -> IO (Maybe [jsval])
nodeInsertBefore :: JSEnv jsval -> jsval -> jsval -> jsval -> IO ()
nodeRemoveChild :: JSEnv jsval -> jsval -> jsval -> IO ()
nodeTextContent :: JSEnv jsval -> jsval -> IO (Maybe String)

Documentation

plzwrk Source #

Arguments

:: (state -> PwNode state jsval)	A function that takes a state and produces a DOM
-> state	An initial state
-> JSEnv jsval	A browser implementation, ie Asterius or the mock browser
-> String	The id of the element into which the DOM is inserted. Note that plzwrk manages all children under this element. Touching the managed elements can break plzwrk.
-> IO ()	Returns nothing

The main function that makes a web app.

plzwrk' :: (state -> PwNode state jsval) -> state -> JSEnv jsval -> IO () Source #

A variation of plzwrk that inserts the node as a child of the document's body.

plzwrk'_ :: (() -> PwNode () jsval) -> JSEnv jsval -> IO () Source #

A variation of plzwrk that takes no state.

plzwrkSSR Source #

Arguments

:: (state -> PwNode state jsval)	A function that takes a state and produces a DOM
-> state	An initial state
-> JSEnv jsval	A browser implementation, ie Asterius or the mock browser
-> String	The id of the element into which the DOM is inserted. Note that plzwrk manages all children under this element. Touching the managed elements can break plzwrk.
-> IO ()	Returns nothing

A variant of plzwrk that acts on a node already rendered to the DOM,

toHTML Source #

Arguments

:: (state -> PwNode state jsval)	A function that takes a state and produces a DOM
-> state	An initial state
-> String	The resulting HTML

Converts a PwNode to HTML.

data PwNode s opq Source #

A DOM node. The easiest way to create nodes is using tags such as span or br. PwNodes can be created for arbitrary tags using the PwElement constructor.

PwNode is parameterized by two types * s - the type of the state * opq - the type of an opaque object in JavaScript

Note that nodes, when passed as an arguemnt to plzwrk, need to be Applicative Functors in the form (s -> PwNode s opq).

Constructors

PwElement
Fields _elt_tag :: String _elt_attrs :: [(String, s -> PwAttribute s opq)] _elt_children :: [s -> PwNode s opq]
PwTextNode
Fields _tn_text :: String

Instances

Show (PwNode s opq) Source #
Instance details Defined in Web.Framework.Plzwrk.Base Methods showsPrec :: Int -> PwNode s opq -> ShowS # show :: PwNode s opq -> String # showList :: [PwNode s opq] -> ShowS #

data PwAttribute s opq Source #

Constructors

PwTextAttribute String
PwFunctionAttribute (opq -> s -> IO s)

Instances

Show (PwAttribute s opq) Source #
Instance details Defined in Web.Framework.Plzwrk.Base Methods showsPrec :: Int -> PwAttribute s opq -> ShowS # show :: PwAttribute s opq -> String # showList :: [PwAttribute s opq] -> ShowS #

data JSEnv jsval Source #

A data class holding functions that operate on opaque JavaScript types, parameterized by jsval. When possible, the real names of browser functions like addEventListener and appendChild are used.

JSEnv is currently implemented as data instead of as a typeclass because it is unclear what type of additional monadic transformer around IO would be most appropriate to retain the state of jsval objects, whereas when part of a dataclass, the state retention is abstracted away.

Constructors

JSEnv

Fields

castToArray :: jsval -> IO (Maybe [jsval])
Casts a value to an array of jsvals
castToBool :: jsval -> IO (Maybe Bool)
Casts a value to a bool
castToByteString :: jsval -> IO (Maybe ByteString)
Casts a value to a bool
castToDouble :: jsval -> IO (Maybe Double)
Casts a value to a double
castToInt :: jsval -> IO (Maybe Int)
Casts a value to an int
castToString :: jsval -> IO (Maybe String)
Casts a value to a string
consoleLog :: jsval -> IO ()
Logs an opaque JavaScript value. See Console.log
defaultRequestInit :: RequestInit jsval
A default request init
documentBody :: IO jsval
The body of the document. See Document.body
documentCreateElement :: String -> IO jsval
Creates an element with a given tag. See Document.createElement
documentCreateTextNode :: String -> IO jsval
Creates a text node with the given text. See Document.createTextNode
documentGetElementById :: String -> IO (Maybe jsval)
Gets an element by id from a document. See Document.getElementById
documentHead :: IO jsval
Gets the head of a document. See Document.head
fetch :: String -> RequestInit jsval -> IO jsval
Calls the browser's fetch command
getPropertyAsOpaque :: jsval -> String -> IO (Maybe jsval)
Gets a JavaScript property, returning Nothing if the object being called is null or undefined.
invokeOn0 :: jsval -> String -> IO jsval
Invokes on target a function with 0 arguments.
invokeOn1 :: jsval -> String -> jsval -> IO jsval
Invokes on target a function with 1 argument.
invokeOn2 :: jsval -> String -> jsval -> jsval -> IO jsval
Invokes on target a function with 2 arguments.
jsValFromArray :: [jsval] -> IO jsval
jsval from an array of jsvals
jsValFromBool :: Bool -> IO jsval
jsval from a bool
jsValFromByteString :: ByteString -> IO jsval
jsval from a byte string
jsValFromDouble :: Double -> IO jsval
jsval from a double
jsValFromInt :: Int -> IO jsval
jsval from an int
jsValFromString :: String -> IO jsval
jsval from a string
makeObject :: IO jsval
Creates an object
mathRandom :: IO Double
Generate a random double between 0 and 1. See Math.random
setValue :: jsval -> String -> jsval -> IO ()
Sets on an object a value
_freeCallback :: jsval -> IO ()
Frees a callback. Should only be called in advanced cases. In most usage, callbacks are freed automatically by plzwrk.
_makeHaskellCallback1 :: (jsval -> IO ()) -> IO jsval
Makes a haskell callback with one argument. Should only be called in advanced cases. In most usage, callbacks are created automatically by plzwrk.
_makeHaskellCallback2 :: (jsval -> jsval -> IO ()) -> IO jsval
Makes a haskell callback with two arguments. Should only be called in advanced cases. In most usage, callbacks are created automatically by plzwrk.
_makeHaskellCallback3 :: (jsval -> jsval -> jsval -> IO ()) -> IO jsval
Makes a haskell callback with three arguments. Should only be called in advanced cases. In most usage, callbacks are created automatically by plzwrk.

pwx :: QuasiQuoter Source #

pwx' :: QuasiQuoter Source #

plusplus :: [a] -> [a] -> [a] Source #

parsePWX :: Monad m => (String, Int, Int) -> String -> m PWX Source #

parsePWX_ :: Monad m => String -> m PWX Source #

data PWX Source #

Constructors

PWXElement
Fields _pwxElement_tag :: String _pwxElement_attributes :: [(String, PWXAttribute)] _pwxElement_children :: [PWX]
PWXSelfClosingTag
Fields _pwxSelfClosingTag_tag :: String _pwxSelfClosingTag_attributes :: [(String, PWXAttribute)]
PWXHaskellCode
Fields _pwxHaskellCode_code :: String
PWXHaskellCodeList
Fields _pwxHaskellCodeList_codeList :: String
PWXHaskellText
Fields _pwxHaskellText_text :: String
PWXBody
Fields _pwxBody_body :: String

Instances

Eq PWX Source #
Instance details Defined in Web.Framework.Plzwrk.TH.PWX Methods (==) :: PWX -> PWX -> Bool # (/=) :: PWX -> PWX -> Bool #
Show PWX Source #
Instance details Defined in Web.Framework.Plzwrk.TH.PWX Methods showsPrec :: Int -> PWX -> ShowS # show :: PWX -> String # showList :: [PWX] -> ShowS #

data PWXAttribute Source #

Constructors

PWXStringAttribute String
PWXHaskellCodeAttribute String
PWXHaskellTxtAttribute String

Instances

Eq PWXAttribute Source #
Instance details Defined in Web.Framework.Plzwrk.TH.PWX Methods (==) :: PWXAttribute -> PWXAttribute -> Bool # (/=) :: PWXAttribute -> PWXAttribute -> Bool #
Show PWXAttribute Source #
Instance details Defined in Web.Framework.Plzwrk.TH.PWX Methods showsPrec :: Int -> PWXAttribute -> ShowS # show :: PWXAttribute -> String # showList :: [PWXAttribute] -> ShowS #

pF :: (opq -> s -> IO s) -> s -> PwAttribute s opq Source #

Creates a callback attribute wrapped in an applicative functor

pT :: String -> s -> PwAttribute s opq Source #

Creates a text attribute wrapped in an applicative functor

eventPreventDefault Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the event
-> IO ()	returns nothing

Take an event and prevent the default.

eventTargetBlur Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the event
-> IO ()	returns nothing

From an event, takes the target and blurs it.

eventTargetValue Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the event
-> IO (Maybe String)	the target value, or nothing if it doesn't exist

From an event, gets the target's value.

elementSetAttribute Source #

Arguments

:: JSEnv jsval	The browser
-> jsval	the node
-> String	the attribute name
-> String	the attribute
-> IO ()	returns nothing

Sets on an element an attribute. See Element.setAttribute

elementTagName Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the element
-> IO (Maybe String)	Returns the tag name

Gets the tag name of an element. See Element.tagName

eventTargetAddEventListener Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the element
-> String	the listener name. note that this should be "click" or "input", not "onclick" nor "oninput"
-> jsval	the listener
-> IO ()	returns nothing

Takes a target and an event name and adds a listener. See EventTarget.addEventListener

eventTargetRemoveEventListener Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the element
-> String	the listener name. note that this should be "click" or "input", not "onclick" nor "oninput"
-> jsval	the listener
-> IO ()	returns nothing

Takes a target and an event name and removes a listener. See EventTarget.removeEventListener

getPropertyAsBool Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the object containing the property
-> String	the property name
-> IO (Maybe Bool)	the response if the property is a bool, else Nothing

Gets a JavaScript property as a bool, returning Nothing if the object being called is null or undefined or the property cannot be cast to a bool.

getPropertyAsDouble Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the object containing the property
-> String	the property name
-> IO (Maybe Double)	the response if the property is a double, else Nothing

Gets a JavaScript property as a double, returning Nothing if the object being called is null or undefined or the property cannot be cast to a double.

getPropertyAsInt Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the object containing the property
-> String	the property name
-> IO (Maybe Int)	the response if the property is an int, else Nothing

Gets a JavaScript property as an int, returning Nothing if the object being called is null or undefined or the property cannot be cast to an int.

getPropertyAsString Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the object containing the property
-> String	the property name
-> IO (Maybe String)	the response

Gets a JavaScript property as an string, returning Nothing if the object being called is null or undefined.

htmlElemenetClick :: JSEnv jsval -> jsval -> IO () Source #

Takes an element and clicks it. Useful for testing. See HTMLElement.click

consoleLogS :: JSEnv jsval -> String -> IO () Source #

Logs a string. See Console.log

nodeAppendChild Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the node
-> jsval	the child to append
-> IO ()	returns nothing

Takes a node and appends a child. See Node.appendChild

nodeChildNodes Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the node
-> IO (Maybe [jsval])

Get the children of a node. See Node.childNodes

nodeInsertBefore Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the parent element
-> jsval	the new node
-> jsval	the pre-existing node
-> IO ()	returns nothing

Inserts a node into an element before another node. See Node.insertBefore

nodeRemoveChild Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the parent element
-> jsval	the child to remove
-> IO ()	returns nothing

Removes a child from a parent node. See Node.removeChild

nodeTextContent Source #

Arguments

:: JSEnv jsval	the browser
-> jsval	the node
-> IO (Maybe String)	the text content as a string

Gets the text content of a node. See Node.textContent