☰
TypeApp
TypeApp
Associated Types
Applied
Implementations on Foreign Types
()
Implementors
In ferrite_session::internal::functional
Modules
base
nat
public
row
type_app
Structs
App
AppSum
ChoiceSelector
S
Z
Enums
Bottom
Sum
Traits
FlattenSumApp
HasSumApp
HasTypeApp
Nat
NaturalTransformation
Prism
RowCon
SumApp
SumFunctor
ToRow
TyCon
TypeApp
Functions
absurd
extract_choice
get_sum
get_sum_borrow
lift_sum
succ
?
Trait
ferrite_session
::
internal
::
functional
::
TypeApp
source
·
[
−
]
pub trait TypeApp<'a, A>:
TyCon
{ type
Applied
:
Sized
+
Send
; }
Associated Types
source
type
Applied
:
Sized
+
Send
Implementations on Foreign Types
source
impl<'a, A>
TypeApp
<'a, A> for
()
type
Applied
=
()
Implementors
source
impl<'a, A:
Protocol
>
TypeApp
<'a, A> for
ClientEndpointF
type
Applied
= A::
ClientEndpoint
source
impl<'a, A:
Protocol
>
TypeApp
<'a, A> for
ProviderEndpointF
type
Applied
= A::
ProviderEndpoint
source
impl<'r, 'a, Row, C:
Context
, A: 'r>
TypeApp
<'a, A> for
InjectSessionF
<'r, Row, C>
where
Row:
Send
,
type
Applied
=
InjectSession
<'r, Row, C, A>