h& B/ ;
! " # $ % & ' ( ) * + , - . / 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 { | } ~
Safe-Inferred" 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.
Safe-Inferred";
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
! !
Safe-Inferred
"89:; ) web-repUnifies javascript as and script as ., web-rep wrapper for / web-repUnifies css as either a or as Text.2 web-rep'Configuration options when rendering a J.9 web-rep Post-processing of page concerns= web-rep0Various ways that a Html file can be structured.B web-rep Is the rendering to include all E (typically in a html file) or be separated (tyypically into separate files and linked in the html file)?E web-rep A web page typically is composed of some css, javascript and html. E1 abstracts this structural feature of a web page.J 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.L web-repcss library linksM web-repjavascript library linksN web-repcssO web-rep javascript with global scopeP web-rep.javascript included within the onLoad functionQ web-rephtml within the headerR web-rep body htmlS web-rep/The common file suffixes of the three concerns.T web-rep*Create filenames for each Concern element.U web-rep Default configuration is inline ecma and css, separate html header and body, minified code, with the suggested filename prefix.V web-repRender / as text.W web-repRender as text.X web-rep&Wrap js in standard DOM window loader.Y web-repConvert to ,%, throwing an error on incorrectness.Z web-repRender , as .[ web-repRender ) as . 4)*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[
Safe-Inferred" u\ web-rep7Render a Page with the default configuration into Html.] web-repRender a Page into Html.^ web-rep.Render a Page into css text, js text and html._ web-rep Render Page concerns to files.` web-rep"Render a page to just a Html file.a web-repRender a Page as Text. \]^_`a\^]a_`
Safe-Inferred b web-repserve a Page via a ScottyM bb
Safe-Inferred"89: } c web-rep default representation type of ()d 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.g web-rep9the common usage, where the representation domain is Htmlh 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.l web-rep%stateful result of one step, given a h , and a monadic action.
Useful for testing and for initialising a page.m web-rep name supply for elements of a dn web-rep sometimes a number doesn't work properly in html (or js???), and an alpha prefix seems to helpo web-repCreate a sharedRep web-repLike o, 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 failurep web-rep2compute the initial state of a SharedRep (testing)q web-rep Compute the initial state of a SharedRep and then run an action once (see tests).o 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 valuecdefghijklmnopq
Safe-Inferred"; ! web-rep linkhref="https://cdn.jsdelivr.net/npm/bootstrap@5.0.2/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-EVSTQN3/azprG1Anm3QDgpJLIm9Nao0Yz1ztcQTwFspd3yD65VohhpuuCOmLASjC" crossorigin="anonymous" web-rep scriptsrc="https://cdn.jsdelivr.net/npm/bootstrap@5.0.2/dist/js/bootstrap.bundle.min.js" integrity="sha384-MrcW6ZMFYlzcLA8Nl+NtUVF0sA7MsXsP1UyJoMp4YLEuNSfAP+JcXn/tWtIaxVXM" crossorigin="anonymous" /script u web-repA page containing all the https://getbootstrap.com/ bootstrap needs for a web page.v web-repA page containing all the https://getbootstrap.com/ bootstrap needs for a web page.w web-rep"wrap some Html with the bootstrap 2https://getbootstrap.com/docs/4.3/components/card/card classx web-rep!wrap some html with a classed divy web-rep SharedRep m Double web-rep double slider with shown value For Example, a slider between 0 and 1 with a step of 0.01 and a default value of 0.3 is: %:t slider (Just "label") 0 1 0.01 0.3 slider (Just "label") 0 1 0.01 0.3 :: Monad m => 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-rep integral slider with shown value web-reptextbox classique %:t textbox (Just "label") "some text" textbox (Just "label") "some text" :: Monad m => SharedRep m Text web-rep%textbox that only updates on focusout 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-rep a toggle button, with no label web-repa button web-repfilename input web-rep#Represent a Maybe using a checkbox.'Hides the underlying content on Nothing web-reptoggle show/hide web-rep A (fixed-size) list represented in html as an accordion card
A major restriction of the library is that a d 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 (Bool, a) tuples. 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
Safe-Inferred"; 7 web-rep Configuration to control a (re)play of an emitter with a Gap (timing) element. web-rep$Configuration for a CodeBox serving. web-repCodensity CodeBox web-repA common Box pattern. [Code] is typically committed to the websocket and key-value elements, representing changes to the shared objects that are in the Dom are emitted. web-repSocket configurationdefaultSocketConfig:SocketConfig {host = "127.0.0.1", port = 9160, path = "/"} web-rep/Page with all the trimmings for a sharedRep Box web-repofficial default web-rep"bidirectional websocket serving a web-repofficial default config. web-rep4Turn a configuration into a live (Codensity) CodeBox web-rep>Turn the default configuration into a live (Codensity) CodeBox web-repserve a SharedRep web-rep non-codensity sharedRep server. web-rep Convert HTML representation to Code, replacing the input section of a page. web-rep Convert (typically parsed representation) to Code, replacing the output section of a page, and appending errors. web-rep Convert (typically parsed representation) to Code, replacing the output section of a page, and throwing away errors. web-repStream a SharedRep web-rep.Start on pause at normal speed and at frame 0. web-rep representation of a PlayConfig web-rep/representation of the playFrame in a PlayConfig web-rep/representation of the playSpeed in a PlayConfig web-rep6representation of the playPause toggle in a PlayConfig web-rep%representation of a Bool reset button web-rep Serve an emitter controlled by a PlayConfig representation, with an explicit CodeBox. web-rep;Serve an emitter controlled by a PlayConfig representation. web-rep0{"event":{"element":"textid","value":"abcdees"}} web-rep0replace a container and run any embedded scripts web-rep2append to a container and run any embedded scripts web-rep"create a web socket for event data web-rep Event hooks that may need to be reattached given dynamic content creation. web-rep.prevent the Enter key from triggering an event web-repscript injection js.See 'https://ghinda.net/article/script-tags/ for why this might be needed. 44
Safe-Inferred 8
! )*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|} hijkgldefcqpomnJKLMNOPQR2345678UEFGHISTBCD=>?@A9:;</01WV,-.)*+X[YZ
Safe-Inferred"3; ;j 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 5 6 7 8 9
:
:
;
<
<
=
>
>
?
@
@
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
R
S
T
U
V
V
W
X
Y
Z
[
\
]
^
_
`
a
b
c
d
e
f g h i j k l m n o n p q r q s t u v w x y z { | } ~ %web-rep-0.10.0-14Ea0acHNZAIpwuRPiHk6AWeb.Rep Web.Rep.HtmlWeb.Rep.Html.InputWeb.Rep.RenderWeb.Rep.ServerWeb.Rep.BootstrapWeb.Rep.SharedRepsWeb.Rep.SocketWeb.Rep.Examples Web.Rep.PageWeb.Rep.Shared4unordered-containers-0.2.19.1-3MGG7b01IYxFpF6Tpk5LG1Data.HashMap.InternalHashMap"clay-0.13.3-GAzuJ2mftu32ip10ssjlq0Clay.StylesheetCss"lucid-2.9.9-A9THvTWcmcABIQ5QO3zQtN
Lucid.BaseHtmlHtmlTclass__toTextlibCsslibJs
$fToHtml[]
$fToHtml() $fToHtmlInt $fToHtmlBool$fToHtmlDouble InputTypeSliderSliderVTextBoxTextBox'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 zeroStaterunOnceBootstrapVersionBoot4Boot5
bootstrapPagebootstrap5Pagecardify divClass_
accordionCardaccordionCardChecked accordionaccordionChecked
accordion_$fEqBootstrapVersion$fShowBootstrapVersion$fGenericBootstrapVersionrepInput
repMessageslidersliderVsliderIsliderVItextboxtextarea colorPickerdropdowndropdownMultipledatalist dropdownSumcheckboxtoggletoggle_button
chooseFilemaybeRep
accordionList listMaybeReplistRepdefaultListLabels readTextboxfiddle viaFiddle repChoice selectItemsrepItemsSelectsubtypeCodeReplaceAppendConsoleEvalVal
PlayConfig playPause playSpeed playFrame
CodeBoxConfig
codeBoxSocket codeBoxPagecodeBoxCommitterQueuecodeBoxEmitterQueue CoCodeBoxCodeBox SocketConfighostportpath
socketPagedefaultSocketPagedefaultSocketConfigserveSocketBoxdefaultCodeBoxConfig codeBoxWithcodeBoxserveRepserveRepWithBox replaceInput
replaceOutputreplaceOutput_ sharedStreamdefaultPlayConfig
repPlayConfigservePlayStreamWithBoxservePlayStreamparserJcodeconsolevalreplaceappendclean webSocket refreshJsbJs preventEnter runScriptJs$fGenericCodeBoxConfig$fEqCode
$fShowCode
$fGenericCode
$fReadCode$fEqPlayConfig$fShowPlayConfig$fGenericPlayConfig$fShowSocketConfig$fEqSocketConfig$fGenericSocketConfigSumType2Example
SumOutside SumInsideSumTypeExampleSumIntSumOnlySumTextShape SquareShape CircleShape RepExamples
repTextbox repTextarea
repSliderI repSlider repSliderVI
repSliderV repCheckbox repToggle repDropdownrepDropdownMultiplerepShaperepColorpage1page2cfg2toShape fromShape repExamples listExamplelistRepExample
fiddleExamplerepSumTypeExamplerepSumType2Example$fEqSumType2Example$fShowSumType2Example$fGenericSumType2Example$fEqSumTypeExample$fShowSumTypeExample$fGenericSumTypeExample$fShowRepExamples$fEqRepExamples$fGenericRepExamples $fEqShape $fShowShape$fGenericShape2language-javascript-0.7.1.0-6jDkyepkJLREelwoiKWEWq Language.JavaScript.Parser.AST JSStatement text-1.2.5.0Data.Text.InternalTextJSASTmessage
bootstrap5Css bootstrap5Jstextbox'scriptToggleShowaccordionBoolList box-0.9.0-3hmFU1NFdns2rK7vhHYWe1Box.BoxBoxrepFramerepSpeedrepPauserepReset