poi/op.rs
1/// Binary operation on functions.
2#[derive(Clone, Copy, PartialEq, PartialOrd, Eq, Debug)]
3pub enum Op {
4 /// Function composition `f . g`
5 Compose,
6 /// Path `f[g]`
7 Path,
8 /// Apply function to some argument.
9 Apply,
10 /// Constrain function input.
11 Constrain,
12 /// Type judgement.
13 Type,
14}