HTTP.I18n

(source)

Definitions

interface HTTPLocal : Type

Methods:

endOfURIPath : String
floatingPointNumber : String
integer : String
invalidPath : String
jsonValue : String
logLevel : LogLevel -> String
missingBoundary : String
missingFormDataPart : String -> String -> String
missingHeader : String -> String
missingQueryParameter : String -> String
missingQueryValue : String -> String
myMediaTypeNotAccepted : String -> String -> String
naturalNumber : String
outOfBounds : Show a => a -> a -> String
prettyDecodeErr : DecodeErr -> String
prettyRequestErr : RequestErr -> String
unsignedInteger : String

endOfURIPath : HTTPLocal => String

Totality: total
Visibility: public export

floatingPointNumber : HTTPLocal => String

Totality: total
Visibility: public export

integer : HTTPLocal => String

Totality: total
Visibility: public export

invalidPath : HTTPLocal => String

Totality: total
Visibility: public export

jsonValue : HTTPLocal => String

Totality: total
Visibility: public export

logLevel : HTTPLocal => LogLevel -> String

Totality: total
Visibility: public export

missingBoundary : HTTPLocal => String

Totality: total
Visibility: public export

missingFormDataPart : HTTPLocal => String -> String -> String

Totality: total
Visibility: public export

missingHeader : HTTPLocal => String -> String

Totality: total
Visibility: public export

missingQueryParameter : HTTPLocal => String -> String

Totality: total
Visibility: public export

missingQueryValue : HTTPLocal => String -> String

Totality: total
Visibility: public export

myMediaTypeNotAccepted : HTTPLocal => String -> String -> String

Totality: total
Visibility: public export

naturalNumber : HTTPLocal => String

Totality: total
Visibility: public export

outOfBounds : HTTPLocal => Show a => a -> a -> String

Totality: total
Visibility: public export

prettyDecodeErr : HTTPLocal => DecodeErr -> String

Totality: total
Visibility: public export

prettyRequestErr : HTTPLocal => RequestErr -> String

Totality: total
Visibility: public export

unsignedInteger : HTTPLocal => String

Totality: total
Visibility: public export

valueString : String -> String

  Utility for quoting non-empty strings in decode errors.

Totality: total
Visibility: export

commaSep : List String -> String

Totality: total
Visibility: export

commaSepI : Interpolation a => List a -> String

Totality: total
Visibility: export

commaSepS : Show a => List a -> String

Totality: total
Visibility: export

decodeErr : HTTPLocal => Status -> DecodeErr -> RequestErr

Totality: total
Visibility: export

bounded : HTTPLocal => (0 a : Type) -> Decode a => Ord a => Show a => Cast a b => String -> a -> a -> ByteString -> Either DecodeErr b

Totality: total
Visibility: export

getFDBytes : HTTPLocal => String -> FormData -> Either DecodeErr ByteString

Totality: total
Visibility: export