úÎ!·#®?      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽSafe48 ditto+A range of ID's to specify a group of formsdittoAn ID used to identify formsdittoType for failing computationsditto convert a  to ! discarding the error message on  ditto-The zero ID, i.e. the first ID that is usable dittomap a function over the  NonEmpty Int inside a ditto get the head ‘ from a  dittoIncrement a form ID ditto create a  from a  ditto Check if a  is contained in a ditto Check if a  is contained in another ditto%Select the errors for a certain rangedittoVSelect the errors originating from this form or from any of the children of this formdittoGlobal prefix for the formditto:Stack indicating field. Head is most specific to this itemdittoLocal name of the inputdittoIndex of the input dittoId to check fordittoRangedittoIf the range contains the idditto Sub-rangeditto Larger rangeditto1If the sub-range is contained in the larger range   None 4HMVX_OèdittobThis provides a Monad instance which will stop rendering on err. This instance isn't a part of Form) because of its undesirable behavior. -XApplicativeDo is generally preferreddittoa  contains a !e combined with a validation function which will attempt to extract a value from submitted form data.ÖIt is highly parameterized, allowing it work in a wide variety of different configurations. You will likely want to make a type alias that is specific to your application to make type signatures more manageable. m*A monad which can be used by the validatorinputUA framework specific type for representing the raw key/value pairs from the form dataerr,A application specific type for err messagesviewKThe type of data being generated for the view (HSP, Blaze Html, Heist, etc)proof>A type which names what has been proved about the pure value. () means nothing has been proved.aCValue pure by form when it is successfully decoded, validated, etc.!This type is very similar to the  type from digestive-functors <= 0.2. If proof is (), then A is an applicative functor and can be used almost exactly like digestive-functors <= 0.2.!dittoA view represents a visual representation of a form. It is composed of a function which takes a list of all errors and then produces a new view$ditto;The environment is where you get the actual input per form.The &¹ constructor is typically used when generating a view for a GET request, where no data has yet been submitted. This will cause the input elements to use their supplied default values. Note that  NoEnviroment2 is different than supplying an empty environment.'ditto£used to represent whether a value was found in the form submission data, missing from the form submission data, or expected that the default value should be used+dittoinner state used by .,dittoiProved records a value, the location that value came from, and something that was proved about the value.0ditto2Utility Function: trivially prove nothing about ()1ditto'Utility function: Get the current input2ditto1Utility function: Gets the input of an arbitrary .3ditto'Utility function: Get the current range4ditto&Utility function: returns the current 8. This will only make sense if the form is not composed6ditto(Utility function: increment the current .9ditto Run a form:ditto Run a form;dittoUJust evaluate the form to a view. This usually maps to a GET request in the browser.<dittoEvaluate a formReturns:  Left viewon failure. The view. will have already been applied to the errors.Right a on success.=ditto create a  from some view.+This is typically used to turn markup like <br> into a .>dittoPAppend a unit form to the left. This is useful for adding labels or err fields.The Forms6 on the left and right hand side will share the same #. This is useful for elements like <label for="someid">4, which need to refer to the id of another element.?ditto%Append a unit form to the right. See >.@ditto1Change the view of a form using a simple functionRThis is useful for wrapping a form inside of a <fieldset> or other markup element.Aditto&infix mapView: succinct `foo @$ do ..`Bditto?Utility Function: turn a view and pure value into a successful +CdittoxNot quite sure when this is useful and so hard to say if the rules for combining things with Missing/Default are correct;ditto form prefixditto form to view<dittoInput environmentdittoIdentifier for the formditto Form to rundittoResult=dittoView to insertdittoResulting form@ditto Manipulatorditto Initial formdittoResulting form( !"#$&%'*)(+,-/.0123456789:;<=>?@AB(,-/.0+'*)(123$&%456!"# 789:;<=>?@AB>6?5A0None^™ UdittoA U+ attempts to prove something about a value.pIf successful, it can also transform the value to a new value. The proof should hold for the new value as well.Generally, each UK has a unique data-type associated with it which names the proof, such as:Wditto!function which provides the proofXdittoapply a U to a Yditto transform a  using a U!, and the replace the proof with ().LThis is useful when you want just want classic digestive-functors behaviour.Zdittotransform the  result using a monadic ’ function.[dittotransform the  result using an ’ function.\dittoprove that a list is not empty]ditto+read an unsigned number in decimal notation^dittoread signed decimal number_dittoread “ number`dittoread a signed “ number]dittocreate an error message (”! is the value that did not parse) UVWXYZ[\]^_` UVWXYZ[\]^_`Safe@ACHVn( aditto*Class which all backends should implement.bdittoinput[ is here the type that is used to represent a value uploaded by the client in the request.cdittoVParse the input into a string. This is used for simple text fields among other thingsddittoShould be implementededittoParse the input value into •fditto(Can be overriden for efficiency concernsgditto*Get a file descriptor for an uploaded filehdittoA Class to lift a j( into an application-specific error typejdittoFan error type used to represent errors that are common to all backendsjThese errors should only occur if there is a bug in the ditto-* packages. Perhaps we should make them an  Exception so that we can get rid of the h class.qditto some default error messages for jrditto some default error messages for jqdittoshow input( in a format suitable for error messagesdittoa jrdittoshow input( in a format suitable for error messagesdittoa jagfedcbhijponmlkqrjponmlkqrhiagfedcbNone)HVX‚$ –ditto$used for constructing elements like <input type="text">", which pure a single input value.—dittoused for elements like <input type="submit">: which are not always present in the form submission data.˜dittoused for elements like <input type="reset">@ which take a value, but are never present in the form data set.™ditto used for <input type="file">šdittoused for groups of checkboxes, <select multiple="multiple"> boxes›dittoradio buttons, single <select> boxesœdittoradio buttons, single <select> boxesdittoused to create <label> elementsžditto(used to add a list of err messages to a ƒThis function automatically takes care of extracting only the errors that are relevent to the form element it is attached to via ? or >.Ÿditto similar to ž= but includes err messages from children of the form as well. ditto-modify the view of a form based on its errorsšdittovalue, label, initially checkedditto!function which generates the viewdittoisChecked/isSelected initially›ditto is defaultditto value, labelditto!function which generates the viewœditto value, labelditto!function which generates the viewžditto0function to convert the err messages into a view –¡—˜™š›œžŸ None)HVX—# wditto$used for constructing elements like <input type="text">", which pure a single input value.xdittoQused to construct elements with optional initial values, which are still requiredydittoused for elements like <input type="submit">: which are not always present in the form submission data.zdittoused for elements like <input type="reset">@ which take a value, but are never present in the form data set.{ditto used for <input type="file">|dittoused for groups of checkboxes, <select multiple="multiple"> boxes}dittoradio buttons, single <select> boxes~dittoradio buttons, single <select> boxesdittoused to create <label> elements€ditto(used to add a list of err messages to a ƒThis function automatically takes care of extracting only the errors that are relevent to the form element it is attached to via ? or >.ditto similar to €= but includes err messages from children of the form as well.‚ditto-modify the view of a form based on its errors|dittovalue, label, initially checkedditto!function which generates the viewdittoisChecked/isSelected initially}ditto is defaultditto value, labelditto!function which generates the view~ditto value, labelditto!function which generates the view€ditto0function to convert the err messages into a view wxyz{|}~€‚ wxyz{|}~€‚NoneHVX¬I ƒditto$used for constructing elements like <input type="text">", which pure a single input value.„dittoused for elements like <input type="submit">: which are not always present in the form submission data.…dittoQused to construct elements with optional initial values, which are still required†dittoused for elements like <input type="reset">@ which take a value, but are never present in the form data set.‡ditto used for <input type="file">ˆdittoused for groups of checkboxes, <select multiple="multiple"> boxes‰dittoradio buttons, single <select> boxesŠdittoradio buttons, single <select> boxes‹dittoused to create <label> elementsŒditto(used to add a list of err messages to a ƒThis function automatically takes care of extracting only the errors that are relevent to the form element it is attached to via ? or >.ditto similar to Œ= but includes err messages from children of the form as well.Žditto-modify the view of a form based on its errorsˆdittovalue, label, initially checkedditto!function which generates the viewdittoisChecked/isSelected initially‰ditto is defaultditto value, labelditto!function which generates the viewŠditto value, labelditto!function which generates the viewŒditto0function to convert the err messages into a view ƒ„…†‡ˆ‰Š‹ŒŽ ƒ„…†‡ˆ‰Š‹ŒŽNone¬ßW  !"#$%&'()*+,-./0123456789:;<=>?@ABUVWXYZ[\]^_`abcdefghijklmnopqr¢        !""#$$%&&'(()*+,-.//0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒxzy{|}~€‚ƒ„…†‡ˆ‰Š„‹Œ„Ž„‘’“xz{|}~€‚ƒy” ditto-0.3-GiM5kRI4pgtJEgXA1ipSLp Ditto.Result Ditto.Core Ditto.Proof Ditto.BackendDitto.Generalized.NamedDitto.GeneralizedDitto.Generalized.InternalDitto FormRangeFormId FormIdCustomResultErrorOk getResultzeroIdmapIdincrementFormId unitRange isInRange isSubRange retainErrorsretainChildErrors $fShowFormId$fApplicativeResult $fMonadResult $fEqFormId $fOrdFormId $fEqFormRange$fShowFormRange $fShowResult $fEqResult$fFunctorResultMFormrunMFormFormunFormViewunView Environment NoEnvironmentValueDefaultMissingFound FormStateProvedposunProved unitProved getFormInput getFormInput' getFormRange getFormIdgetNamedFormId incFormId bracketState runAsMFormrunFormrunForm'viewForm eitherFormview++><++mapView@$mkOk$fMonoidEnvironment$fSemigroupEnvironment $fMonoidForm$fSemigroupForm$fBifunctorForm$fAlternativeForm$fApplicativeForm $fMonadMForm $fShowProved$fFunctorProved$fSemigroupView $fMonoidView $fFunctorView $fFunctorForm$fFunctorMForm$fBifunctorMForm$fAlternativeMForm$fApplicativeMFormProof proofFunctionprove transformtransformEitherMtransformEither notNullProofdecimal signedDecimalrealFracrealFracSigned FormInputFileTypegetInputStringgetInputStrings getInputText getInputTexts getInputFile FormErrorcommonFormErrorCommonFormError InputMissing NoStringFound NoFileFoundMultiFilesFoundMultiStringsFoundMissingDefaultValuecommonFormErrorStrcommonFormErrorText$fFormErrorTextText$fEqCommonFormError$fOrdCommonFormError$fShowCommonFormErrorinput inputMaybeReq inputMaybe inputNoData inputFile inputMulti inputChoiceinputChoiceFormslabelerrors childErrors withErrorsbase GHC.MaybeMaybeformIdghc-prim GHC.TypesInt Data.EitherEitherGHC.RealRealFracGHC.BaseString text-1.2.3.1Data.Text.InternalText