Skip to main content

ferrite_session/internal/functional/
base.rs

1use super::type_app::*;
2
3// NaturalTransformation f1 f2 = forall x. f1 x -> f2 x
4pub trait NaturalTransformation<'a, F1, F2>
5where
6  F1: TyCon,
7  F2: TyCon,
8{
9  fn lift<A: 'a>(
10    self,
11    fa: App<'a, F1, A>,
12  ) -> App<'a, F2, A>;
13}