HTTP.I18n

Definitions

data HTTPlang : Type

Totality: total
Visibility: public export
Constructors:

English : HTTPlang

German : HTTPlang

Hints:

Eq HTTPlang

Finite HTTPlang

Interpolation HTTPlang

Ord HTTPlang

Show HTTPlang

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