h$`      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None k Safe-Inferred candid.A type for a Candid field name. Essentially a $ with maybe a textual label attachedcandid Extract the raw field hash value candid Create a  from a label candid Create a  from the raw hash candid(The Candid field label hashing algorithm candidThe inverse of  candid Represent a  (which may be numeric) in contexts where only text is allowed, using the same encoding/decoding algorithm as Motoko.This used in the  instance for   and    Safe-Inferred '(-/29>?Ccandid)A newtype to stand in for the unary tuple None 567^candidA candid service, as a list of methods with argument and result types+(no support for annotations like query yet)Tcandida short-hand for P ? for recursive typesUcandidA reference to a named type! ";:9876543210/.-,+*)('&%$#<=UTSRQPOMLKJIHGFEDCBA@?>N None'(-/>?VW None567hecandidA candid test file%(no support for type definitions yet)icandidParses a Candid description (.did) from a stringjcandid+Parses a Candid textual value from a stringkcandid9Parses a sequence of Candid textual values from a stringlcandid,Parses a candid spec test file from a string! !XYZ[\]^_`abcdefghijklNone None- Imcandid,Encodes a Candid value given in the dynamic " form, at inferred type.This may fail if the values have inconsistent types. It does not use the reserved' supertype (unless explicitly told to).candid,Encodes a Candid value given in the dynamic " form, at given type.5This fails if the values do not match the given type.mNone Bncandid-Encodes a Candid value given in textual form.This may fail if the textual form cannot be parsed or has inconsistent types. It does not use the reserved' supertype (unless explicitly told to).nNone ocandidDecode to value representation oNone-/9>? qcandid;The class of Haskell types that can be converted to Candid.You can create intances of this class for your own types, see the tutorial above for examples. The default instance is mostly for internal use.ucandidThe internal class of Haskell types that canonically map to Candid. You would add instances to the q type class.candidfatalcandidcan be recoveredcandidcan be recoveredcandidcan be recoveredvcandidThe class of types that can be used as Candid argument sequences. Essentially all types that are in q*, but tuples need to be treated specially.wcandidEncode based on Haskell typexcandid Encode to a  based on Haskell typeycandidDecode to Haskell typezcandidDecode values to Haskell type}candid(NB: This will loop with recursive types!candidMaybe a bit opinionated, but  seems to be the unit of Candid)pqtsruvwxyz{|}None #$/~candidThis quasi-quoter turns a Candid description into a Haskell type. It assumes a type variable m to be in scope.candidAs ~, but takes a filenamecandid>This quasi-quoter turns works on individual candid types, e.g. type InstallMode = [candidType| variant {install : null; reinstall : null; upgrade : null}; |]candidTurns all candid type definitions into newtypes Used, so far, only in the Candid test suite runner~None! X[YZ\]^_`dcabefghl! X[YZ\]^_`dcabefghlNone-/>?candidA Candid service. The r describes the type of a .candid!A raw service, operating on bytescandidTurns a raw service (function operating on bytes) into a typed Candid service (a record of typed methods). The raw service is typically code that talks over the network.candidTurns a typed candid service into a raw service. Typically used in a framework warpping Candid services.candid5What to do if the raw service returns unparsable datacandid,What to do if the method name does not existcandid3What to do when the caller provides unparsable dataNone(-./>?GcandidThis newtype encodes a Haskell data type as a variant using generic programming. Best used with  DerivingVia, as shown in the tutorial.candidThis newtype encodes a Haskell record type using generic programming. Best used with  DerivingVia, as shown in the tutorial.Noner "#$%&'()*+,-./0123456789:;<=N>?@ABCDEFGHIJKLMOPQRSTUVWijkmnopqrstuvwxyz{|}~wxyqrstpvu|VW}~=N>?@ABCDEFGHIJKLMOPQRSTU<  "#$%&'()*+,-./0123456789:;oz{mnijk !"#$%%&'()* + + , - . . / 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 o p q r s t t u v w x y z{|}~                 f     !candid-0.1-9OtlkAPSBV37ZrioKevt1r Codec.CandidCodec.Candid.TuplesCodec.Candid.TestExportsCodec.Candid.DataCodec.Candid.FieldNameCodec.Candid.ClassCandidData.RowRecVecCodec.Candid.TypesCodec.Candid.TypTableCodec.Candid.ParseCodec.Candid.InferCodec.Candid.EncodeCodec.Candid.EncodeTextualCodec.Candid.DecodeCodec.Candid.THCodec.Candid.ServiceCodec.Candid.Generic Principal rawPrincipalReservedprettyPrincipalparsePrincipal FieldName fieldHash labledField hashedField candidHashunescapeFieldNameescapeFieldNameTuplableasTuple fromTupleAsTupleUnaryunUnary$fAsTuple_aFalse$fAsTuple_aTrue $fEqUnary $fShowUnaryDidFiledefsservice DidMethod methodName methodParams methodResultsValueNumVNatVNat8VNat16VNat32VNat64VIntVInt8VInt16VInt32VInt64VFloat32VFloat64VBoolVTextVNullV ReservedVOptVVecVRecVTupVVariantV PrincipalVBlobVAnnVFieldsTypeNatTNat8TNat16TNat32TNat64TIntTInt8TInt16TInt32TInt64TFloat32TFloat64TBoolTTextTNullT ReservedTEmptyTOptTVecTRecTVariantT PrincipalTBlobTRefTSeqDesctieKnot TestAssertionCanParse CannotParseParseEq TestInput FromTextual FromBinary CandidTesttestLine testAssertiontestTypetestDescCandidTestFiletestDefs testTestsparseDid parseValue parseValuesparseCandidTestsencodeDynValues encodeTextual decodeVals CandidRowAsCandidtoCandid fromCandid CandidVal CandidArgencode encodeBuilderdecodefromCandidVals toCandidValsseqDesctypeDesccandid candidFile candidTypegenerateCandidDefs candidTypeQ CandidService RawServicetoCandidServicefromCandidService AsVariant unAsVariantAsRecord unAsRecordbaseGHC.WordWord32DidDef DidServiceTypeNameArgstupT prettyFieldsprettyBraceSemi prettyField prettyAnn prettyBlob prettyTexttupVprimTyp prettyDefRef buildSeqDescvoidEmptyTypesunderRec parseDidType inferTypesinferTyplubslub encodeValues decodeVal decodeBytes decodeMagic getLEB128IntcheckOvershoot decodeSeqdecodeTypTabledecodeTypTableEntry decodeTypRef isOrdereddecodeTypFieldsdecodeTypField DecodeError CoerceErrorMissingFieldErrorUnexpectedTagErrorbytestring-0.10.10.0 Data.ByteString.Builder.InternalBuilder $fCandid() Data.FoldablenullfromMissingFieldfromCandidVal' toCandidVal'asTypeDeserializeError CandidSeqasTypesseqValfromVals isRecoverable recoverWithshowDeserializeError cannotDecode cannotCoerce missingField unexpectedTag toCandidVal fromCandidValfromCandidVal''asType'inBounds fieldOfRowfromLabelsMapA(row-types-0.4.0.0-EYWSZYI4RYl29jhcpmBkb5Data.Row.Records CandidMethodtoMethfromMeth RawMethod