☰
TyCon
TyCon
Implementations on Foreign Types
()
Implementors
In ferrite_session::internal::public::functional
Structs
App
AppSum
ChoiceSelector
Enums
Bottom
Sum
Traits
FlattenSumApp
HasSumApp
HasTypeApp
Prism
RowCon
SumApp
SumFunctor
ToRow
TyCon
TypeApp
Functions
absurd
extract_choice
get_sum
get_sum_borrow
lift_sum
?
Trait
ferrite_session
::
internal
::
public
::
functional
::
TyCon
source
·
[
−
]
pub trait TyCon:
Sized
{ }
Implementations on Foreign Types
source
impl
TyCon
for
()
Implementors
source
impl
TyCon
for
ClientEndpointF
source
impl
TyCon
for
ProviderEndpointF
source
impl<'r, Row, C: 'static>
TyCon
for
InjectSessionF
<'r, Row, C>