!QpD      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~Safe )  !"#$%&'()*+)#$%!" &'   )*(+Safe =6789:6789:NoneM ?@ABCDEFGHIJ ?@ABCDEFGHIJSafe_QPQRSTUVWXYZ[\]^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.ntrasaA 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] -> Doubletrasa4the type of the HTTP message body (json, text, etc) /https://en.wikipedia.org/wiki/HTTP_message_bodytrasaCflipped ($), useful for constructing routes. e.g. > match "add" . capture int . capture int ./ endtrasa1This 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 authorstrasa'Only useful to implement packages like 'trasa-server'trasa\Build a router from all the possible routes, and methods to turn routes into needed metadatatrasa7Parses the path, the querystring, and the request body.trasaParses only the path.trasa?Used my users to define a function called prepare, see tutorialtrasa!Uncurry the arguments type familytrasaConceal the response type.trasaDiscards the static partstrasa"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.trasaVThis 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 encodetrasaThe route to be payload encodedtrasa)method, url, content, accepts -> responsetrasaRoutertrasaMethodtrasaAccept headerstrasaEverything after the authoritytrasaContent type and request bodytrasaEncoded responsetrasaRoutertrasaRequest MethodtrasaEverything after the authoritytrasaRequest content type and bodytrasaMethodtrasa Path PiecestrasaThe route to preparetrasa Indentation  !"#$%&'()*+6789:?@APQRSTUV[\]^efghijklmnopqrstuvwxyz{|}~ͨfghirstuvelmjkno?@ATUV[\PQRS]^6789:{|}~zyxw#$%!"    &')*(+qp77None>HVD~trasaRequest MethodtrasaEverything after the authoritytrasaRequest content type and body       !"##$%&''()*+,-./01234567899:;<=>?@ABCDEFGHIJKLMNOPQRRSTUUVWXYZ[\]^_`abcdeffghiijjkklmnnopqrstuvvwxyz{|}~"trasa-0.4.1-GUDPA5kq5v2LBMcUC9wqYe Trasa.Core Trasa.Codec Trasa.Error Trasa.Method Trasa.UrlTrasa.Core.Implicit*quantification-0.5.0-ETROppgn2q1HpM45CKC4t 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 QueryRequired QueryOptional QueryList Parameter ParameterFlagParameterRequiredParameterOptional ParameterListParamFlagRequiredOptionalListPathPathNilPathConsCapture PathConsMatch ResponseBodygetResponseBody RequestBodyRequestBodyPresentRequestBodyAbsent BodiednessBodyBodylessManygetManyonemapManybodybodylessmapRequestBodyrespmapResponseBody./matchcaptureendmapPath appendPathflagrequiredoptionallistqend.&mapQuery mapMetaPath mapMetaQuerymapMetaRequestBodymapMetaResponseBodymapMetametaBuilderToMetaCodecmetaCodecToMetaClientmetaCodecToMetaServerlinkWith payloadWith requestWithencodeRequestBodydecodeRequestBodyencodeResponseBodydecodeResponseBody dispatchWith routerWith parseWithdemoteParameter prepareWithhandlermapConstructedconcealconcealedToPrepared prettyRouter$fApplicativeMany$fSemigroupIxedRouter$fMonoidIxedRouter $fFunctorMany $fShowContent $fEqContent $fOrdContentEnumerableRouteenumerateRoutesHasMetaCaptureStrategy QueryStrategyRequestBodyStrategyResponseBodyStrategymetapreparelinkparserouterNat parsePathWithixedPathToIxedRecprettyIxedRouter