h$#b      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None /  Safe-Inferred Acandid.A type for a Candid field name. Essentially a $ with maybe a textual label attachedcandid Extract the raw field hash valuecandid Create a  from a labelcandid Create a  from the raw hashcandid(The Candid field label hashing algorithmcandid(Inversion of the Candid field label hashcandidThe 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>?candid)A newtype to stand in for the unary tuple None 567%candidThe type of a candid methodacandida short-hand for [ J for recursive typesbcandidA reference to a named type!"#$%&*)('+FEDCBA@?>=<;:9876543210/.-,GHba`_^]\[ZXWVUTSRQPONMLKJIY None'(-/>?dcandidThis takes a type description and replaces all named types with their definition.This produces an infinite type! Only use this in sufficiently lazy contexts. cd None567 RrcandidA candid test file%(no support for type definitions yet)vcandidParses a Candid description (.did) from a stringwcandid+Parses a Candid textual value from a stringxcandid9Parses a sequence of Candid textual values from a stringycandid,Parses a candid spec test file from a string!"$#efghijklmnopqrstuvwxyNone None- zcandid,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).Not all possible values are encodable this way. For example, all function references will be encoded at type () - ().candid,Encodes a Candid value given in the dynamic + form, at given type.5This fails if the values do not match the given type.zNone {candid-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).{None /|candidDecode binay value into the type description and the untyped value representation.|None ?candid This function implements the `C[ t  : foreach t2 -> Either String (t1 -> t2)` instead, and thus return a total functionNone-./9>?7~candid Type-level (, to be used in method types annotationscandid Type-level (, to be used in method types annotationscandid;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.candidThe internal class of Haskell types that canonically map to Candid. You would add instances to the  type class.candidfatalcandidcan be recoveredcandidcan be recoveredcandidcan be recoveredcandidThe class of types that can be used as Candid argument sequences. Essentially all types that are in *, but tuples need to be treated specially.candidEncode based on Haskell typecandid Encode to a  based on Haskell typecandidDecode to Haskell typecandid'Decode (dynamic) values to Haskell typeThis applies some best-effort subtyping/coercion, suitable for liberal parsing of the textual representation, but not the coercion algorithm as specified in the specification, which requires a provided type.candidTurn haskell types into a dynamic Candid value. This may lose type information.candid=Calculate a Candid type description from a Haskell type. The c type is roughly [Type],, with extra bookkeeping for recursive typescandid(NB: This will loop with recursive types!candidMaybe a bit opinionated, but  seems to be the unit of Candid0}~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 runnerNone!"$#ehfgijklmqpnorstuy!"$#ehfgijklmqpnorstuyNone-/>?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(-./>?candidThis 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.None0 !%&'()*+,-./0123456789:;<=>?@ABCDEFGHYIJKLMNOPQRSTUVWXZ[\]^_`abcdvwxz{|}~}cd ~HYIJKLMNOPQRSTUVWXZ[\]^_`ab%&'()*G+,-./0123456789:;<=>?@ABCDEF|z{!vwx !"#$%&'()*+,,-./01 2 2 3  4 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 z { | } ~                           q       !candid-0.2-9VqH7NNFamvI3CLH4zgGeJ Codec.CandidCodec.Candid.TestExportsCodec.Candid.TuplesCodec.Candid.DataCodec.Candid.FieldNameCodec.Candid.ClassCandidData.RowRecVecCodec.Candid.TypesCodec.Candid.TypTableCodec.Candid.ParseCodec.Candid.InferCodec.Candid.EncodeCodec.Candid.EncodeTextualCodec.Candid.DecodeCodec.Candid.CoerceCodec.Candid.THCodec.Candid.ServiceCodec.Candid.GenericFuncRefservicemethod ServiceRef rawServiceRef Principal rawPrincipalReservedprettyPrincipalparsePrincipal FieldName fieldHash labledField hashedField candidHash invertHashunescapeFieldNameescapeFieldNameTuplableasTuple fromTupleAsTupleUnaryunUnary$fAsTuple_aFalse$fAsTuple_aTrue $fEqUnary $fShowUnaryDidFiledefs MethodType methParams methResults methQuery methOnewayValueNumVNatVNat8VNat16VNat32VNat64VIntVInt8VInt16VInt32VInt64VFloat32VFloat64VBoolVTextVNullV ReservedVOptVVecVRecVTupVVariantVFuncVServiceV PrincipalVBlobVAnnVFieldsTypeNatTNat8TNat16TNat32TNat64TIntTInt8TInt16TInt32TInt64TFloat32TFloat64TBoolTTextTNullT ReservedTEmptyTOptTVecTRecTVariantTFuncTServiceT PrincipalTBlobTRefTSeqDesctieKnot TestAssertionCanParse CannotParseParseEq TestInput FromTextual FromBinary CandidTesttestLine testAssertiontestTypetestDescCandidTestFiletestDefs testTestsparseDid parseValue parseValuesparseCandidTestsencodeDynValues encodeTextual decodeVals CandidRowAnnFalseAnnTrueAsCandidtoCandid fromCandid CandidVal CandidArgencode encodeBuilderdecodefromCandidVals toCandidValsseqDesctypeDesccandid candidFile candidTypegenerateCandidDefs candidTypeQ CandidService RawServicetoCandidServicefromCandidService AsVariant unAsVariantAsRecord unAsRecordbaseGHC.WordWord32DidDef DidServiceTypeNameArgstupTbindMethodType prettyFieldsprettyBraceSemi prettyField prettyAnn prettyBlob prettyTexttupVprimTyp prettyDef prettyMethRefunrollTypeTableunrollTypeTable' buildSeqDescvoidEmptyTypesunderRec parseDidType inferTypesinferTyplubslub encodeValues PreService decodeVal referenceByte decodeBytes decodeTextdecodePrincipal decodeMagic getLEB128IntcheckOvershoot decodeSeq decodeFoldSeqdecodeTypTabledecodeTypTableEntry decodeTypRefdecodeFuncTypRefresolveServiceT decodeFuncAnn isOrdereddecodeTypFieldsdecodeTypFieldcoerce Data.EitherLeftCoercion SeqCoercion coerceSeqDescghc-prim GHC.TypesFalseTrue DecodeError CoerceErrorMissingFieldErrorUnexpectedTagErrorbytestring-0.10.10.0 Data.ByteString.Builder.InternalBuilder $fCandid() Data.FoldablenullCandidMethodsRowCandidMethodType asMethodTypeKnownAnnotationisTruefromMissingFieldfromCandidVal' toCandidVal'asTypeDeserializeError CandidSeqseqValfromValsasTypes isRecoverable recoverWithshowDeserializeError cannotDecode cannotCoerce missingField unexpectedTag toCandidVal fromCandidValfromCandidVal''asType'inBounds fieldsOfRow methodsOfRow'row-types-1.0.1.0-2nNsVgApCofSYPpoWNpCIData.Row.Records CandidMethodtoMethfromMeth RawMethod