h* A :
! " # $ % & ' ( ) * + , - . / 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 { | } ~
0.13.0.0
Safe-Inferred"# * web-rep2Convert a link to a css library from text to html. markdown_ Compact 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. markdown_ Compact Html $ libJs "https://code.jquery.com/jquery-3.3.1.slim.min.js" ""
Safe-Inferred"= A 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 web-repConversion to a web-rep&Convert a value to a strict ByteString web-rep Convert an to via a specific printer.
Safe-Inferred" , web-repJavascript as string/ web-repcss as a string.2 web-rep'Configuration options when rendering a E.9 web-rep0Various ways that a Html file can be structured.= web-rep Is the rendering to include all @ (typically in a html file) or be separated (tyypically into separate files and linked in the html file)?@ web-rep A web page typically is composed of some css, javascript and html. @1 abstracts this structural feature of a web page.E 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.G web-repcss library linksH web-repjavascript library linksI web-repcssJ web-rep javascript with global scopeK web-rep.javascript included within the onLoad functionL web-rephtml within the headerM web-rep body htmlN web-rep/The common file suffixes of the three concerns.O web-rep*Create filenames for each Concern element.P web-rep Default configuration is inline ecma and css, separate html header and body, minified code, with the suggested filename prefix.Q web-repRender / as text.R web-rep8Css snippet for reponsiveness to preferred color-scheme.S web-rep!Add the windows.onload assignment (EFGHIJKLM2364578P@ABCDNO=>?9:;?9:; 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 ByteString 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 z 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-rep:A sensible default for the accordion row labels for a list web-repParse from a textbox+Uses focusout so as not to spam the reader. web-repParse from a textbox+Uses focusout so as not to spam the reader. web-rep0Dropdown representation of a multi-element list. web-repselect test keys from a Map web-reprep of multiple items list web-repsubtype Html class. web-repParser web-repPrinter web-rep type web-rep
initial value web-repparse an a from ByteString web-repprint an a to ByteString web-replabel suggestion web-rep"list of dropbox elements (as text) web-rep
initial value web-repparse an a from ByteString web-repprint an a to ByteString 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" 6& web-rep A simple schema for code that communicates changes to a Html page via JS code. 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-rep(Bootstrapped base page for a web socket. 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-repConvert to a web-repwrite to the console web-repsend arbitrary byestrings. web-rep0replace a container and run any embedded scripts web-rep2append to a container and run any embedded scripts web-rep+Double backslash newline and single quotes. 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. 33
Safe-Inferred 7 ~}z{|yEFGHIJKLM2364578P@ABCDNO=>?9:;</01QR,-.Srtswuvx
;~}z{|yEFGHIJKLM2364578P@ABCDNO=>?9:;</01QR,-.S
Safe-Inferred"4 :a 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 Page with separated css and js. 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 M N O P Q 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 { | } ~
'web-rep-0.13.0.0-4G5KYB65neQKURdSprySrFWeb.Rep Web.Rep.HtmlWeb.Rep.Html.Input Web.Rep.PageWeb.Rep.RenderWeb.Rep.ServerWeb.Rep.SharedWeb.Rep.BootstrapWeb.Rep.SharedRepsWeb.Rep.SocketWeb.Rep.Examplesweb-rep2unordered-containers-0.2.20-IjGhMC3VxQdI8jjxoJi472Data.HashMap.InternalHashMap*markup-parse-0.1.1.1-4OxPJVCcTtqzNHEGqparj MarkupParse RenderStyleCompactIndentedlibCsslibJs InputTypeSliderSliderVTextBoxTextBox'TextArea ColorPicker
ChooseFileDropdownDropdownMultiple DropdownSumDatalistCheckboxToggleButtonInputinputVal
inputLabelinputId inputType ToByteString toByteString markupInput$fToByteStringList$fToByteStringBool$fToByteStringFloat$fToByteStringDouble$fToByteStringInteger$fToByteStringInt$fToByteStringText$fToByteStringByteString $fEqInput $fShowInput$fGenericInput
$fEqInputType$fShowInputType$fGenericInputTypeJs jsByteStringCss
cssByteString
PageConfigconcerns structure renderStyle filenames localdirs
PageStructure
HeaderBodyHeadlessSnippet PageConcernsInline SeparatedConcerns
cssConcern jsConcern htmlConcernPagelibsCsslibsJscssBodyjsGlobaljsOnLoad
htmlHeaderhtmlBodysuffixes concernNamesdefaultPageConfig renderCsscssColorSchemeonLoad$fApplicativeConcerns$fFunctorConcerns $fMonoidPage$fSemigroupPage
$fShowPage
$fGenericPage$fEqJs$fShowJs $fGenericJs
$fSemigroupJs
$fMonoidJs $fShowCss$fEqCss $fGenericCss$fSemigroupCss $fMonoidCss$fShowPageConfig$fEqPageConfig$fGenericPageConfig$fShowPageStructure$fEqPageStructure$fGenericPageStructure$fShowPageConcerns$fEqPageConcerns$fGenericPageConcerns $fEqConcerns$fShowConcerns$fFoldableConcerns$fTraversableConcerns$fGenericConcerns
renderPagerenderPageHtmlWithrenderPageWithrenderPageToFilerenderPageHtmlToFilerenderPageAsByteString
servePageWith SharedRep
SharedRepFunshareRepRepFrepmakeoneRepgenName
genNamePreregistermessage zeroStaterunOnce$fApplicativeRepF$fBiapplicativeRepF$fBifunctorRepF $fMonoidRepF$fSemigroupRepF$fApplicativeSharedRepF$fBiapplicativeSharedRepF$fBifunctorSharedRepF$fFunctorSharedRepF
$fFunctorRepF bootstrapCss bootstrapJs
bootstrapMeta
bootstrapPagecardify
accordionCardaccordionCardChecked accordionaccordionChecked
accordion_repInput
repMessageslidersliderVsliderIsliderVItextboxtextarea colorPickerdropdowndropdownMultipledatalist dropdownSumcheckboxtoggletoggle_button
chooseFilemaybeRep
accordionList listMaybeReplistRepdefaultListLabels readTextbox readTextbox_ repChoice selectItemsrepItemsSelectsubtypeCodeReplaceAppendConsoleEvalVal
PlayConfig playPause playSpeed playFrame
CodeBoxConfig
codeBoxSocket codeBoxPagecodeBoxCommitterQueuecodeBoxEmitterQueue CoCodeBoxCodeBox SocketConfighostportpath
socketPagedefaultSocketPagedefaultSocketConfigserveSocketBoxdefaultCodeBoxConfig codeBoxWithcodeBoxserveRepserveRepWithBox replaceInput
replaceOutputreplaceOutput_ sharedStreamdefaultPlayConfig
repPlayConfigservePlayStreamWithBoxservePlayStreamcodeconsolevalreplaceappendclean webSocket refreshJsbJs preventEnter runScriptJs$fGenericCodeBoxConfig$fEqCode
$fShowCode
$fGenericCode
$fReadCode$fEqPlayConfig$fShowPlayConfig$fGenericPlayConfig$fShowSocketConfig$fEqSocketConfig$fGenericSocketConfigShape SquareShape CircleShape RepExamples
repTextbox repTextarea
repSliderI repSlider repSliderVI
repSliderV repCheckbox repToggle repDropdownrepDropdownMultiplerepShaperepColorpage1page2cfg2toShape fromShape repExamples$fShowRepExamples$fEqRepExamples$fGenericRepExamples $fEqShape $fShowShape$fGenericShapebytestring-0.11.5.2 Data.ByteString.Internal.Type
ByteStringMarkupHtmltextbox'scriptToggleShowaccordionBoolList!box-0.9.3.2-7zPhg0CgiOEh2nbb5IHFeBox.BoxBoxrepFramerepSpeedrepPauserepResetparserJ