úÎ!PäDŽÝ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜSafe ƒ)  !"#$%&'()*+)#$%!" &'   )*(+Safe 6789:6789:NoneM w ?@ABCDEFGHIJ ?@ABCDEFGHIJSafe_PQRSTUVWXYZ[\]^WXYZTUV[\PQRS]^None&'-.4HMSUVX_<÷ÝtrasaOnly promoted version used.ftrasaThe HTTP content type and body.jtrasaOnly needed to implement Â}. Most users do not need this. If you need to create a route hierarchy to provide breadcrumbs, then you will need this.ltrasa=Includes the route, path, query parameters, and request body.ntrasa›A route with all types hidden: the captures, the request body, and the response body. This is needed so that users can enumerate over all the routes.ptrasaxA closed, total type family provided as a convenience to end users. Other function is this library take advantage of pg to allow end users use normal function application. Without this, users would need to write out Record and •% values by hand, which is tedious.N:kind! Arguments '[Int,Bool] '[Flag,Optional Double,List Int] 'Bodyless DoubleLArguments '[Int,Bool] '[Flag,Optional Double,List Int] 'Bodyless Double :: *8= Int -> Bool -> Bool -> Maybe Double -> [Int] -> Double˜trasa4the type of the HTTP message body (json, text, etc) /https://en.wikipedia.org/wiki/HTTP_message_body¥trasaCflipped ($), useful for constructing routes. e.g. > match "add" . capture int . capture int ./ end¶trasa1This function is a more general way to transform z into y.)It wraps the req and resp codecs in Many.¹trasa Generate a Url for use in hyperlinks.ºtrasaOnly useful for library authorsÀtrasa'Only useful to implement packages like 'trasa-server'Átrasa\Build a router from all the possible routes, and methods to turn routes into needed metadataÂtrasa7Parses the path, the querystring, and the request body.ÞtrasaParses only the path.Ätrasa?Used my users to define a function called prepare, see tutorialÅtrasa!Uncurry the arguments type familyÇtrasaConceal the response type.ßtrasaDiscards the static partsÉtrasaÿ"Pretty prints a router, using indentation to show nesting of routes under a common prefix. This also shows the request methods that each route accepts. If there are any trivially overlapped routes, the appends are asterisk to the method name for which the routes are overlapped.ÌtrasaÿVThis monoid instance is provided so that we can conveniently use foldMap elsewhere. We do not provide a Monoid instance for Router like we do for IxedRouter. End users only have one way to create a router, and if they combine a Router with itself using mappend, it would result in Router in which all routes were overlapped.¹trasaThe route to encodeºtrasaThe route to be payload encoded»trasa)method, url, content, accepts -> responseÀtrasaRoutertrasaMethodtrasaAccept headerstrasaEverything after the authoritytrasaContent type and request bodytrasaEncoded responseÂtrasaRoutertrasaRequest MethodtrasaEverything after the authoritytrasaRequest content type and bodyÞtrasaMethodtrasa Path PiecesÄtrasaThe route to prepareàtrasa Indentation¤  !"#$%&'()*+6789:?@APQRSTUV[\]^efghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈɤ˜™šfghirstuvelmjknoÇÈÆ?@ATUV[\PQRS]^6789:ĹÀº»ÁŽ‘¦§¨¥©ªŠ‹Œ‚ƒ„…†‡ˆ‰묭®¯°•–— ¡¼½¢’“”£¾¿¤›œžŸ{|}~€z¶yx·w¸±²³´µ#$%!"    &')*(+qpÅÉ¥7¯7None>HVD*ÛtrasaRequest MethodtrasaEverything after the authoritytrasaRequest content type and body ÑÒÓÔÕÖרÙÚÛÜ ÓÔÕÖרÙÚÛÑÒÜá      !"##$%&''()*+,-./01234567899:;<=>?@ABCDEFGHIJKLMNOPQRRSTUUVWXYZ[\]^_`abcdeffghiijjkklmnnopqrstuvvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŒŽ‘’“””•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖ×ØÙ trasa-0.4-6mHVMOxxpIw1ztXYnuW9qO Trasa.Core Trasa.Codec Trasa.Error Trasa.Method Trasa.UrlTrasa.Core.Implicit+quantification-0.5.0-1PkLbnvY2pjIdIXTYl1MSY Topaz.TypesRecConsRecNilRec HasBodyCodec bodyCodec BodyCodecbodyCodecNamesbodyCodecEncodebodyCodecDecodeHasBodyDecoding bodyDecoding BodyDecodingbodyDecodingNamesbodyDecodingFunctionHasBodyEncoding bodyEncoding BodyEncodingbodyEncodingNamesbodyEncodingFunctionHasCaptureCodec captureCodec CaptureCodeccaptureCodecEncodecaptureCodecDecodeHasCaptureDecodingcaptureDecodingCaptureDecodingappCaptureDecodingHasCaptureEncodingcaptureEncodingCaptureEncodingappCaptureEncodingcaptureCodecToCaptureEncodingcaptureCodecToCaptureDecodingshowReadCaptureCodecbodyCodecToBodyEncodingbodyCodecToBodyDecodingshowReadBodyCodec#$fHasCaptureEncodingCaptureEncoding#$fHasCaptureDecodingCaptureDecoding $fHasCaptureDecodingCaptureCodec $fHasCaptureEncodingCaptureCodec$fHasCaptureCodecCaptureCodec$fHasBodyEncodingBodyEncoding$fHasBodyDecodingBodyDecoding$fHasBodyDecodingBodyCodec$fHasBodyEncodingBodyCodec$fHasBodyCodecBodyCodecTrasaErrtrasaErrStatus trasaErrBodystatus$fExceptionTrasaErr$fShowTrasaErr $fEqTrasaErr $fOrdTrasaErrMethod encodeMethod decodeMethodgetpostheadputdeletetraceconnectoptionspatch$fIsStringMethod $fShowMethod$fHashableMethod $fEqMethod $fOrdMethodUrlurlPathurlQueryString QueryString unQueryString QueryParamQueryParamFlagQueryParamSingleQueryParamList encodeQuery decodeQuery encodeUrl decodeUrl$fMonoidQueryParam$fSemigroupQueryParam $fShowUrl$fEqQueryParam$fEqQueryString$fEqUrlRouterContent contentType contentData ConcealedPrepared Constructed Arguments ParamBasePayload payloadUrlpayloadContentpayloadAccepts MetaServer MetaClient MetaCodec MetaBuilderMetametaPath metaQuerymetaRequestBodymetaResponseBody metaMethodQuery QueryFlag QueryOptional QueryList Parameter ParameterFlagParameterOptional ParameterListParamFlagOptionalListPathPathNilPathConsCapture PathConsMatch ResponseBodygetResponseBody RequestBodyRequestBodyPresentRequestBodyAbsent BodiednessBodyBodylessManygetManyonemapManybodybodylessmapRequestBodyrespmapResponseBody./matchcaptureendmapPath appendPathflagoptionallistqend.&mapQuery mapMetaPath mapMetaQuerymapMetaRequestBodymapMetaResponseBodymapMetametaBuilderToMetaCodecmetaCodecToMetaClientmetaCodecToMetaServerlinkWith payloadWith requestWithencodeRequestBodydecodeRequestBodyencodeResponseBodydecodeResponseBody dispatchWith routerWith parseWithdemoteParameter prepareWithhandlermapConstructedconcealconcealedToPrepared prettyRouter$fApplicativeMany$fSemigroupIxedRouter$fMonoidIxedRouter $fFunctorMany $fShowContent $fEqContent $fOrdContentEnumerableRouteenumerateRoutesHasMetaCaptureStrategy QueryStrategyRequestBodyStrategyResponseBodyStrategymetapreparelinkparserouterNat parsePathWithixedPathToIxedRecprettyIxedRouter