core
0.9.2
core
API
krop
raise
Raise
Raise
Handler
route
DecodeFailure
Entity
Entity
FormCodec
FormCodec
Handler
HandlerIOBuilder
HandlerPureBuilder
Handlers
Handlers
Param
Param
All
One
ParseFailure
ParseStage
PassthroughBuilder
PassthroughBuilder
toUnitBuilder
Path
Path
failure
Query
Query
QueryParam
One
All
Optional
QueryParam
QueryParseFailure
NoParameterWithName
NoValuesForName
ValueParsingFailed
Request
Request
RequestEntity
RequestHeaders
RequestHeaders
Process
Extract
ExtractFromName
Ensure
failure
RequestMethodPath
Response
OrNotFound
OrElse
StaticResource
StaticDirectory
StaticFile
StatusEntityEncoding
WithHeader
Response
Route
Segment
One
Segment
SeqStringCodec
SeqStringCodec
StringCodec
StringCodec
TupleApply
TupleApply
syntax
all
tool
DefaultAssets
Html
Htmx
KropAssets
NotFound
Tailwind
Arch
Os
TurboStream
action
Application
Application
JvmRuntime
KropRuntime
Mode
Mode
Server
ServerBuilder
ServerBuilder
Types
all
core
/
krop
/
krop.route
/
Request
/
RequestHeaders
/
Process
/
Extract
Extract
krop.route.Request.RequestHeaders.Process.Extract
final case
class
Extract
[
A
](
value
:
A
,
header
:
Header
[
A
,
_
],
select
:
Select
[
A
])
Attributes
Source
Request.scala
Members list
Clear all
Value members
Inherited methods
def
productElementNames
:
Iterator
[
String
]
Attributes
Inherited from:
Product
def
productIterator
:
Iterator
[
Any
]
Attributes
Inherited from:
Product
In this article
Attributes
Members list
Value members
Inherited methods