úΔy‹ér      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopq Safe-Inferred A range of ID's to specify a group of forms An ID used to identify forms rGlobal prefix for the form ;Stack indicating field. Head is most specific to this item Type for failing computations  convert a  to s! discarding the error message on  .The zero ID, i.e. the first ID that is usable map a function over the [Integer] inside a  t get the head u 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 LSelect the errors originating from this form or from any of the children of  this form vr t Id to check for Range If the range contains the id  Sub-range  Larger range 2If the sub-range is contained in the larger range wxyz   vr t wxyzNone +Class which all backends should implement. input4 is here the type that is used to represent a value ( uploaded by the client in the request. CParse the input into a string. This is used for simple text fields  among other things Should be implemented Parse the input value into { )Can be overriden for efficiency concerns +Get a file descriptor for an uploaded file A Class to lift a ) into an application-specific error type Gan error type used to represent errors that are common to all backends AThese 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 messages a   ! ! !None "&a wrapper which lifts a value with an |' instance so that it can be used as an * or % & d :: WrappedApplicative Maybe y Char H d = WrappedApplicative (Just succ) <<*>> WrappedApplicative (Just 'c') %a class for a 'type-indexed' or  paramaterized applicative functors Cnote: not sure what the most correct name is for this class, or if 0 it exists in a well supported library already. & similar to } ' similar to ~ ( similar to  ) similar to   *a class for a 'type-indexed' or  paramaterized functor Cnote: not sure what the most correct name is for this class, or if 0 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. .Lift a function to actions. * This function may be used as a value for + in a * instance. /#Lift a binary function to actions. 0#Lift a binary function to actions. "#$%&'()*+%function to apply to first parameter &function to apply to second parameter indexed functor ,-./0€"#$%&'()*+,-./0*+%&'(),-./0"#$ "#$%&'()*+,-./0€None1a 1 contains a 4% combined with a validation function A which will attempt to extract a value from submitted form data. BIt is highly parameterized, allowing it work in a wide variety of E different configurations. You will likely want to make a type alias C that is specific to your application to make type signatures more  manageable.  m, A monad which can be used by the validator input7 A framework specific type for representing the raw key/value pairs from the form data error0 A application specific type for error messages viewM The type of data being generated for the view (HSP, Blaze Html, Heist, etc) proofA A type which names what has been proved about the return value. () means nothing has been proved. aG Value return by form when it is successfully decoded, validated, etc. !This type is very similar to the 1 type from  digestive-functors <= 0.2. If proof is (), then 1 is an 9 applicative functor and can be used almost exactly like  digestive-functors <= 0.2. 4IA view represents a visual representation of a form. It is composed of a H function which takes a list of all errors and then produces a new view 7<The environment is where you get the actual input per form. The 81 constructor is typically used when generating a D view for a GET request, where no data has yet been submitted. This E will cause the input elements to use their supplied default values.  Note that  NoEnviroment3 is different than supplying an empty environment. :8used to represent whether a value was found in the form E submission data, missing from the form submission data, or expected ' that the default value should be used >inner state used by 1. ?jProved records a value, the location that value came from, and something that was proved about the value. D3Utility Function: trivially prove nothing about () E(Utility function: Get the current input F1Utility function: Gets the input of an arbitrary . G(Utility function: Get the current range H&Utility function: returns the current . This will only make sense  if the form is not composed I(Utility function: increment the current . K Run a form L Run a form MLJust evaluate the form to a view. This usually maps to a GET request in the  browser. NEvaluate a form  Returns:  Left view on failure. The view/ will have already been applied to the errors. Right a on success. O create a 1 from some view. +This is typically used to turn markup like <br> into a 1. PJAppend a unit form to the left. This is useful for adding labels or error  fields. The Forms5 on the left and right hand side will share the same  #. This is useful for elements like <label  for="someid">+, which need to refer to the id of another  element. Q%Append a unit form to the right. See P. R2Change the view of a form using a simple function /This is useful for wrapping a form inside of a <fieldset> or other markup element. SAUtility Function: turn a view and return value into a successful > dNot quite sure when this is useful and so hard to say if the rules for combining things with Missing/Default are correct *123456789:;<=>?@ABCDEFGHIJKLM form prefix  form to view NInput environment Identifier for the form  Form to run Result OView to insert Resulting form PQR Manipulator  Initial form Resulting form S‚ƒ„…†‡#123456789:;<=>?@ABCDEFGHIJKLMNOPQRS#?@ABCD>:=<;EFG798HI456123JKLMNOPQRS123456798:=<;>?@ABCDEFGHIJKLMNOPQRS‚ƒ„…†‡None T$used for constructing elements like < input type="text">%, which return a single input value. Uused for elements like < input type="submit">; which are not always present in the form submission data. Vused for elements like < input type="reset">A which take a value, but are never present in the form data set. W used for < input type="file"> Xused for groups of checkboxes, <select multiple="multiple"> boxes Yradio buttons, single <select> boxes Zused to create <label> elements [*used to add a list of error messages to a 1 >This function automatically takes care of extracting only the D errors that are relevent to the form element it is attached to via  Q or P. \ similar to [@ but includes error messages from children of the form as well. TUVWX value, label, initially checked "function which generates the view  isChecked/isSelected initially Y is default  value, label "function which generates the view Z[3function to convert the error messages into a view \ TUVWXYZ[\ TUVWXYZ[\ TUVWXYZ[\None]3proof that a number is also (allowed to be) signed _ proof that a ˆ is a Real/Fractional number a proof that a ˆ is a decimal number cproof that a list is not empty eA e, attempts to prove something about a value. CIf successful, it can also transform the value to a new value. The . proof should hold for the new value as well. Generally, each e+ has a unique data-type associated with it ! which names the proof, such as:  data NotNull = NotNull gname of the thing to prove h"function which provides the proof iapply a e to a 1 j transform a 1 using a e!, and the replace the proof with (). MThis is useful when you want just want classic digestive-functors behaviour. ktransform the 1 result using a monadic ‰ function. ltransform the 1 result using an ‰ function. mprove that a list is not empty n,read an unsigned number in decimal notation oread signed decimal number pread Š number qread a signed Š number ]^_`abcdefghijklmncreate an error message (ˆ" is the value that did not parse) opq]^_`abcdefghijklmnopqefghijklcdmab_`]^nopq]^_`abcdefghijklmnopq Nonew‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§  !123456789:;<=>?@ABCDEFGHIJKLMNOPQRS]^_`abcdefghijklmnopq¨   !"#$%&'()*+,-../0123456789:;<<=>>?@A@BCDEFGGHIJKLMNOPQRSTUVWXYZ[\]^_`abcddeeffgghhijklmnopqrstuvwxyz{|}~€‚uƒu„u…†‡ˆ‰Š‹ŒŽuu‘’u“”u•–u•—u•˜u•™u•šu•›u•œu•œu•u•žu•žu•Ÿu• u• u•¡u•¢u•¢u•£u•¤u•¤u•¥u•¦u•¦u•§u•¨u•¨u•©u•ªu•ª« reform-0.1.2Text.Reform.ResultText.Reform.BackendControl.Applicative.IndexedText.Reform.CoreText.Reform.GeneralizedText.Reform.ProofControl.Applicative*><* Data.Functor<$> Text.Reform FormRangeFormId formIdListResultOkError getResultzeroIdmapIdincrementFormId unitRange isInRange isSubRange retainErrorsretainChildErrors FormInputFileTypegetInputStringgetInputStrings getInputText getInputTexts getInputFile FormErrorErrorInputTypecommonFormErrorCommonFormErrorMissingDefaultValueMultiStringsFoundMultiFilesFound NoFileFound NoStringFound InputMissingcommonFormErrorStrWrappedApplicativeunwrapApplicativeIndexedApplicativeipure<<*>>*>><<*IndexedFunctorimap<<$>><<**>>liftIAliftIA2liftIA3FormunFormViewunView Environment NoEnvironmentValueFoundMissingDefault FormStateProvedproofsposunProved unitProved getFormInput getFormInput' getFormRange getFormId incFormId bracketStaterunFormrunForm'viewForm eitherFormview++><++mapViewmkOkinput inputMaybe inputNoData inputFile inputMulti inputChoicelabelerrors childErrorsSignedRealFractionalDecimalNotNullProof proofName proofFunctionprove transformtransformEitherMtransformEither notNullProofdecimal signedDecimalrealFracrealFracSigned formPrefixbase Data.MaybeMaybeformId integer-gmpGHC.Integer.TypeInteger $fShowFormId$fApplicativeResult $fMonadResult$fFunctorResult text-0.11.2.3Data.Text.InternalText Applicativepure<*>&$fIndexedApplicativeWrappedApplicative"$fIndexedFunctorWrappedApplicative$fMonoidEnvironment$fApplicativeForm $fFunctorForm$fIndexedApplicativeForm$fIndexedFunctorForm $fFunctorView$fFunctorProvedGHC.BaseString Data.EitherEitherGHC.RealRealFrac Data.Monoid<>mconcatmappendmemptyMonoidgetDualDualappEndoEndogetAllAllgetAnyAnygetSumSum getProductProductgetFirstFirstgetLastLast