Module ferrite_session::internal::functional

source · [−]

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