Commit 2022-02-07 12:33 04b9d281
View on Github →feat(data/pfun): Composition of partial functions (#11865) Define
pfun.id
: The identity as a partial functionpfun.comp
: Composition of partial functionspfun.to_subtype
: Restrict the codomain of a function to a subtype and make it partial