Trasa.Core

Types

data Bodiedness

data Path

data ResponseBody rpf response

data RequestBody

data Param

data Query

data Parameter

data Rec u a b

data BodyCodec a

data BodyDecoding a

data BodyEncoding a

data Many f a

data CaptureCodec a

data CaptureEncoding a

data CaptureDecoding a

data Content

data QueryString

data Url

data Payload

data TrasaErr

data Router route

Existential

data Prepared

data Concealed

data Constructed

Queries

encodeQuery

decodeQuery

Url

encodeUrl

decodeUrl

Using Routes

prepareWith

dispatchWith

parseWith

linkWith

payloadWith

requestWith

routerWith

handler

Defining Routes

Path

match

capture

end

(./)

appendPath

Request Body

body

bodyless

Response Body

resp

Query

demoteParameter

flag

optional

list

qend

(.&)

mapQuery

Converting Route Metadata

one

mapMany

mapPath

mapRequestBody

mapResponseBody

mapConstructed

Converting Codecs

bodyCodecToBodyEncoding

bodyCodecToBodyDecoding

captureCodecToCaptureEncoding

captureCodecToCaptureDecoding

Errors

status

Argument Currying

type family ParamBase (param :: Param) :: Type where ...

type family Arguments (pieces :: [Type]) (querys :: [Param]) (body :: Bodiedness) (result :: Type) :: Type where ...

Random Stuff

conceal

encodeRequestBody

decodeResponseBody

prettyRouter

Show/Read Codecs

showReadBodyCodec

showReadCaptureCodec