h$ 1I ,
! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~ None ?
web-rep-FIXME: A horrible hack to separate class id's web-repConvert html to text web-rep2Convert a link to a css library from text to html. libCss "https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/css/bootstrap.min.css"
web-rep1Convert a link to a js library from text to html.8libJs "https://code.jquery.com/jquery-3.3.1.slim.min.js" web-repFIXME: `ToHtml a` is used throughout, mostly because `Show a` gives ""text"" for show "text", and hilarity ensues when rendering this to a web page, and I couldn't work out how to properly get around this.Hence, these orphans.
None 8 web-rep Various types of web page inputs, encapsulating practical bootstrap class functionality! web-rep something that might exist on a web page and be a front-end input to computations.# web-repunderlying value$ web-replabel suggestion% web-repname/key/id of the Input& web-reptype of html input !"#$%&!"#$%&
None
5678? . web-repUnifies javascript as and script as .1 web-rep wrapper for 4 web-repUnifies css as either a or as Text.7 web-rep'Configuration options when rendering a O.> web-rep Post-processing of page concernsB web-rep0Various ways that a Html file can be structured.G web-rep Is the rendering to include all J (typically in a html file) or be separated (tyypically into separate files and linked in the html file)?J web-rep A web page typically is composed of some css, javascript and html. J1 abstracts this structural feature of a web page.O web-repComponents of a web page.A web page can take many forms but still have the same underlying representation. For example, CSS can be linked to in a separate file, or can be inline within html, but still be the same css and have the same expected external effect. A Page represents the practical components of what makes up a static snapshot of a web page.Q web-repcss library linksR web-repjavascript library linksS web-repcssT web-rep javascript with global scopeU web-rep.javascript included within the onLoad functionV web-rephtml within the headerW web-rep body htmlX web-rep/The common file suffixes of the three concerns.Y web-rep*Create filenames for each Concern element.Z web-rep Default configuration is inline ecma and css, separate html header and body, minified code, with the suggested filename prefix.[ web-repRender 4 as text.\ web-repRender as text.] web-rep&Wrap js in standard DOM window loader.^ web-repConvert to 1%, throwing an error on incorrectness._ web-repRender 1 as .` web-repRender . as . 4./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_` None Na web-rep7Render a Page with the default configuration into Html.b web-repRender a Page into Html.c web-rep.Render a Page into css text, js text and html.d web-rep Render Page concerns to files.e web-rep"Render a page to just a Html file.f web-repRender a Page as Text. abcdefacbfde None> g web-repserve a Page via a ScottyM gg None 567? B h web-rep default representation type of ()i web-repDriven by the architecture of the DOM, web page components are compositional, and tree-like, where components are often composed of other components, and values are thus shared across components.;This is sometimes referred to as "observable sharing". See -http://hackage.haskell.org/package/data-reify
data-reify as another library that reifies this (pun intended), and provided the initial inspiration for this implementation. unshare should only be run once, which is a terrible flaw that might be fixed by linear types.l web-rep9the common usage, where the representation domain is Htmlm web-rep Information contained in a web page can usually be considered to be isomorphic to a map of named values - a . This is especially true when considering a differential of information contained in a web page. Looking at a page from the outside, it often looks like a streaming differential of a hashmap.RepF consists of an underlying value being represented, and, given a hashmap state, a way to produce a representation of the underlying value (or error), in another domain, together with the potential to alter the hashmap state.q web-rep%stateful result of one step, given a l , and a monadic action.
Useful for testing and for initialising a page.r web-rep name supply for elements of a hs web-rep sometimes a number doesn't work properly in html (or js???), and an alpha prefix seems to helpt web-repCreate a sharedRep web-repLike t, but does not put a value into the HashMap on instantiation, consumes the value when found in the HashMap, and substitutes a default on lookup failureu web-rep2compute the initial state of a SharedRep (testing)v web-rep Compute the initial state of a SharedRep and then run an action once (see tests).t web-repParser web-repPrinter web-rep1create initial object from name and initial value web-rep
initial value web-repParser web-rep1create initial object from name and initial value web-rep
initial value web-rep
default valuehijklmnopqrstuv None ? w web-repA page containing all the https://getbootstrap.com/ bootstrap needs for a web page.x web-rep"wrap some Html with the bootstrap 2https://getbootstrap.com/docs/4.3/components/card/card classy web-rep!wrap some html with a classed divz web-rep SharedRep m Double web-repintegral slider For Example, a slider between 0 and 1000 with a step of 10 and a default value of 300 is: ':t sliderI (Just "label") 0 1000 10 300 sliderI (Just "label") 0 1000 10 300
:: (Monad m, ToHtml a, P.Integral a, Show a) => SharedRep m a web-reptextbox classique %:t textbox (Just "label") "some text" textbox (Just "label") "some text" :: Monad m => SharedRep m Text web-rep2textarea input element, specifying number of rows. web-repNon-typed hex color input web-rep dropdown box web-rep%dropdown box with multiple selections web-repa datalist input web-rep=A dropdown box designed to help represent a haskell sum type. web-repA checkbox input. web-repa toggle button web-repa button web-repfilename input web-rep#Represent a Maybe using a checkbox.'Hides the underlying content on Nothing web-rep A (fixed-size) list represented in html as an accordion card
A major restriction of the library is that a h does not have a Monad instance. In practice, this means that the external representation of lists cannot have a dynamic size. web-rep A fixed-sized list of Maybe a's web-repA SharedRep of [a]. Due to the applicative nature of the bridge, the size of lists has to be fixed on construction. listRep is a workaround for this, to enable some form of dynamic sizing. web-repParse from a textbox+Uses focusout so as not to spam the reader. web-rep0Representation of web concerns (css, js & html). web-rep turns a SharedRep into a fiddle web-repselect test keys from a Map web-reprep of multiple items list web-repParser web-repPrinter web-rep ! type web-rep
initial value web-repparse an a from Text web-repprint an a to Text web-replabel suggestion web-rep"list of dropbox elements (as text) web-rep
initial value web-repparse an a from Text web-repprint an a to Text web-replabel suggestion web-rep"list of dropbox elements (as text) web-rep
initial value web-rep name prefix (should be unique) web-repBool Rep web-repa Rep web-repmaximum length of list web-repdefault value for new rows web-repinitial values None 8? )S None )
!"&%#$./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ mnoplqijkhvutrsOPQRSTUVW789:;<=ZJKLMNXYGHIBCDEF>?@A456\[123./0]`^_ None 18? + web-rep For a typed dropdown example. web-rep&One of each sharedrep input instances. web-repsimple page example web-rep page with localised libraries web-rep shape parser web-rep
shape printer web-rep one of each input SharedReps !!
! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 4 5 6 7 8 9 : ; < = > ?
@
@
A
B
B
C
D
D
E
F
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
X
Y
Z
[
\
\
]
^
_
`
a
b
c
d
e
f
g
h
i
j
k
l m n o p q r s t u t v w x w y z { | } ~ $web-rep-0.9.0-FFHlZqGzuH486m4XFlSGqFWeb.RepWeb.Rep.Socket Web.Rep.HtmlWeb.Rep.Html.InputWeb.Rep.RenderWeb.Rep.ServerWeb.Rep.BootstrapWeb.Rep.SharedRepsWeb.Rep.Examples Web.Rep.PageWeb.Rep.Shared4unordered-containers-0.2.16.0-CZncOCCANWfGjykcsRitbLData.HashMap.InternalHashMap'box-socket-0.3.0-5G2mf2vq864I4BQne4Gmwa
Box.SocketdefaultSocketConfigpathporthost SocketConfig"clay-0.13.3-Fe7Hv4gMSEX7VnCNliftg1Clay.StylesheetCss%lucid-2.9.12.1-ISDZN5CNYw63eHobIZ6TRj
Lucid.BaseHtmlHtmlTclass__toTextlibCsslibJs
$fToHtml[]
$fToHtml() $fToHtmlInt $fToHtmlBool$fToHtmlDouble InputTypeSliderTextBoxTextBox'TextArea ColorPicker
ChooseFileDropdownDropdownMultiple DropdownSumDatalistCheckboxToggleButtonInputinputVal
inputLabelinputId inputType
$fToHtmlInput $fEqInput $fShowInput$fGenericInput
$fEqInputType$fShowInputType$fGenericInputTypeRepJs RepJsTextJSunJSRepCss
RepCssText
PageConfigconcerns structure
pageRender filenames localdirs
PageRenderPrettyMinifiedNoPost
PageStructure
HeaderBodyHeadlessSnippetSvg PageConcernsInline SeparatedConcerns
cssConcern jsConcern htmlConcernPagelibsCsslibsJscssBodyjsGlobaljsOnLoad
htmlHeaderhtmlBodysuffixes concernNamesdefaultPageConfig renderRepCss renderCssonLoadparseJsrenderJs renderRepJs
renderPagerenderPageHtmlWithrenderPageWithrenderPageToFilerenderPageHtmlToFilerenderPageAsText
servePageWith SharedRep
SharedRepFunshareRepRepFrepmakeoneRepgenName
genNamePreregister zeroStaterunOnce
bootstrapPagecardify divClass_
accordionCardaccordionCardChecked accordionaccordionChecked
accordion_repInput
repMessageslidersliderItextboxtextarea colorPickerdropdowndropdownMultipledatalist dropdownSumcheckboxtogglebutton
chooseFilemaybeRep
accordionList listMaybeReplistRepdefaultListLabels readTextboxfiddle viaFiddle repChoice selectItemsrepItemsSelectsubtypeCodeReplaceAppendConsoleEvalVal
socketPageserveSocketBox sharedServerdefaultSharedServerdefaultSocketPagedefaultInputCodedefaultOutputCodewranglecode$fEqCode
$fShowCode
$fGenericCode
$fReadCodeSumType2Example
SumOutside SumInsideSumTypeExampleSumIntSumOnlySumTextShape SquareShape CircleShape RepExamples
repTextbox repTextarea
repSliderI repSlider repCheckbox repToggle repDropdownrepDropdownMultiplerepShaperepColorpage1page2cfg2toShape fromShape repExamples listExamplelistRepExample
fiddleExamplerepSumTypeExamplerepSumType2Example$fEqSumType2Example$fShowSumType2Example$fGenericSumType2Example$fEqSumTypeExample$fShowSumTypeExample$fGenericSumTypeExample$fShowRepExamples$fEqRepExamples$fGenericRepExamples $fEqShape $fShowShape$fGenericShape2language-javascript-0.7.1.0-Gx8Fhi07Fr23V9FpKbELI9 Language.JavaScript.Parser.AST JSStatement#text-1.2.5.0-LkZshtXQYe46X71oLWingHData.Text.InternalTextJSASTmessage