úΔùŠq”      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“NoneKH &a wrapper which lifts a value with an ”' instance so that it can be used as an  or  kd :: WrappedApplicative Maybe y Char d = WrappedApplicative (Just succ) <<*>> WrappedApplicative (Just 'c')a class for a 'type-indexed' or  paramaterized applicative functorsrnote: not sure what the most correct name is for this class, or if it exists in a well supported library already. similar to • similar to – similar to  similar to  a class for a 'type-indexed' or  paramaterized functorrnote: not sure what the most correct name is for this class, or if it exists in a well supported library already. imap is similar to fmap  similar to  . An alias for imap id  A variant of  with the arguments reversed. FLift a function to actions. This function may be used as a value for   in a  instance. "Lift a binary function to actions."Lift a binary function to actions. $function to apply to first parameter%function to apply to second parameterindexed functor    444 4Safe$N+A range of ID's to specify a group of formsAn ID used to identify forms—Global prefix for the form:Stack indicating field. Head is most specific to this itemType for failing computations convert a  to ˜! discarding the error message on  -The zero ID, i.e. the first ID that is usable!map a function over the  [Integer] inside a ™ get the head š from a "Increment a form ID# create a  from a $ Check if a  is contained in a % Check if a  is contained in another &%Select the errors for a certain range'VSelect the errors originating from this form or from any of the children of this form$Id to check forRangeIf the range contains the id% Sub-range Larger range1If the sub-range is contained in the larger range !"#$%&' !"#$%&'›—None;=KW—2a 2 contains a 5e 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 dataerror.A application specific type for error 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 return value. () means nothing has been proved.aEValue return by form when it is successfully decoded, validated, etc.!This type is very similar to the 2 type from digestive-functors <= 0.2. If proof is (), then 2A is an applicative functor and can be used almost exactly like digestive-functors <= 0.2.5A 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 view8;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.;£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?inner state used by 2.@iProved records a value, the location that value came from, and something that was proved about the value.E2Utility Function: trivially prove nothing about ()F'Utility function: Get the current inputG1Utility function: Gets the input of an arbitrary .H'Utility function: Get the current rangeI&Utility function: returns the current 8. This will only make sense if the form is not composedJ(Utility function: increment the current .L Run a formM Run a formNUJust evaluate the form to a view. This usually maps to a GET request in the browser.OEvaluate a formReturns:  Left viewon failure. The view. will have already been applied to the errors.Right a on success.P create a 2 from some view.+This is typically used to turn markup like <br> into a 2.QRAppend a unit form to the left. This is useful for adding labels or error 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.R%Append a unit form to the right. See Q.S1Change the view of a form using a simple functionRThis is useful for wrapping a form inside of a <fieldset> or other markup element.TAUtility Function: turn a view and return value into a successful ?VxNot quite sure when this is useful and so hard to say if the rules for combining things with Missing/Default are correctN form prefix form to viewOInput environmentIdentifier for the form Form to runResultPView to insertResulting formS Manipulator Initial formResulting form#2345678:9;>=<?@ADCBEFGHIJKLMNOPQRST+@ABCDUE?;<=>FGH89:WVIJ567X234\[KZYLMNOPQRST23456789:;<=>@ABCDQ6R5NonehÚ`2proof that a number is also (allowed to be) signedb proof that a œ is a Real/Fractional numberd proof that a œ is a decimal numberfproof that a list is not emptyhA h+ 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 hK has a unique data-type associated with it which names the proof, such as: data NotNull = NotNulljname of the thing to provek!function which provides the prooflapply a h to a 2m transform a 2 using a h!, and the replace the proof with ().LThis is useful when you want just want classic digestive-functors behaviour.ntransform the 2 result using a monadic  function.otransform the 2 result using an  function.pprove that a list is not emptyq+read an unsigned number in decimal notationrread signed decimal numbersread ž numbertread a signed ž numberqcreate an error message (œ! is the value that did not parse)`abcdefghikjlmnopqrsthijklmnofgpdebc`aqrst`abcdefghijkSafe>?FTv u*Class which all backends should implement.vinput[ is here the type that is used to represent a value uploaded by the client in the request.wVParse the input into a string. This is used for simple text fields among other thingsxShould be implementedyParse the input value into Ÿz(Can be overriden for efficiency concerns{*Get a file descriptor for an uploaded file|A Class to lift a ( into an application-specific error typeFan error type used to represent errors that are common to all backendskThese errors should only occur if there is a bug in the reform-* packages. Perhaps we should make them an  Exception so that we can get rid of the | class.† some default error messages for †show input( in a format suitable for error messagesa u{zyxwv|~}…„ƒ‚€†€‚ƒ„…†|}~uvwxyz{uvwxyz{|}~€‚ƒ„…None%FTV‡û Š$used for constructing elements like <input type="text">$, which return a single input value.‹used for elements like <input type="submit">: which are not always present in the form submission data.Œused for elements like <input type="reset">@ which take a value, but are never present in the form data set. used for <input type="file">Žused for groups of checkboxes, <select multiple="multiple"> boxesradio buttons, single <select> boxesradio buttons, single <select> boxes‘used to create <label> elements’*used to add a list of error messages to a 2ƒThis function automatically takes care of extracting only the errors that are relevent to the form element it is attached to via R or Q.“ similar to ’? but includes error messages from children of the form as well.Žvalue, label, initially checked!function which generates the viewisChecked/isSelected initially is default value, label!function which generates the view value, label!function which generates the view’2function to convert the error messages into a view Š‹ŒŽ‘’“ Š‹ŒŽ‘’“ Noneˆƒz ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ !"#$%&'23456789:;<=>?@ABCDEFGHIJKLMNOPQRST`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†À   !"#$$%&'()*+,-./0123456789:;<==>??@AABCDEFGHHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgghhiijjkklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜–—™–—š›–—œžŸ %–—¡–¢£–¤¥¦§¨–—©–—ª–—«–—¬–­®–­¯–­¯–­°–­±–­±–­²–­³–­³–­´–­µ–­µ–­¶–­·–­·–­¸–­¹–­¹–­º–­»–­»–­¼–­½–­½–­¾–­¿–­¿–­ÀÁ$reform-0.2.7.2-GXYNpKUhAchWOrJlVrWVFControl.Applicative.IndexedText.Reform.ResultText.Reform.CoreText.Reform.ProofText.Reform.BackendText.Reform.GeneralizedControl.Applicative*><* Data.Functor<$> Text.ReformWrappedApplicativeunwrapApplicativeIndexedApplicativeipure<<*>>*>><<*IndexedFunctorimap<<$>><<**>>liftIAliftIA2liftIA3&$fIndexedApplicativeWrappedApplicative"$fIndexedFunctorWrappedApplicative$fFunctorWrappedApplicative$fApplicativeWrappedApplicative$fMonadWrappedApplicative$fEqWrappedApplicative$fOrdWrappedApplicative$fReadWrappedApplicative$fShowWrappedApplicative FormRangeFormId formIdListResultErrorOk getResultzeroIdmapIdincrementFormId unitRange isInRange isSubRange retainErrorsretainChildErrors $fShowFormId$fApplicativeResult $fMonadResult$fFunctorResult $fEqFormId $fOrdFormId $fEqFormRange$fShowFormRange $fShowResult $fEqResultFormunFormViewunView Environment NoEnvironmentValueDefaultMissingFound FormStateProvedproofsposunProved unitProved getFormInput getFormInput' getFormRange getFormId incFormId bracketStaterunFormrunForm'viewForm eitherFormview++><++mapViewmkOk$fFunctorProved$fMonoidEnvironment$fSemigroupEnvironment $fFunctorView$fApplicativeForm $fFunctorForm$fIndexedApplicativeForm$fIndexedFunctorForm $fShowProved$fSemigroupView $fMonoidViewSignedRealFractionalDecimalNotNullProof proofName proofFunctionprove transformtransformEitherMtransformEither notNullProofdecimal signedDecimalrealFracrealFracSigned FormInputFileTypegetInputStringgetInputStrings getInputText getInputTexts getInputFile FormErrorErrorInputTypecommonFormErrorCommonFormError InputMissing NoStringFound NoFileFoundMultiFilesFoundMultiStringsFoundMissingDefaultValuecommonFormErrorStr$fEqCommonFormError$fOrdCommonFormError$fShowCommonFormErrorinput inputMaybe inputNoData inputFile inputMulti inputChoiceinputChoiceFormslabelerrors childErrorsbaseGHC.Base Applicativepure<*> formPrefixMaybeformId integer-gmpGHC.Integer.TypeIntegerString Data.EitherEitherGHC.RealRealFrac#text-1.2.2.2-EakMpasry3jA6OIwSZhq9MData.Text.InternalTextMonoidmemptymappendmconcat Data.Monoid<>DualgetDualEndoappEndoAllgetAllAnygetAnySumgetSumProduct getProductFirstgetFirstLastgetLastAltgetAlt