diff options
Diffstat (limited to 'receme/src/coalgebra.rs')
| -rw-r--r-- | receme/src/coalgebra.rs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/receme/src/coalgebra.rs b/receme/src/coalgebra.rs new file mode 100644 index 0000000..5974d90 --- /dev/null +++ b/receme/src/coalgebra.rs @@ -0,0 +1,14 @@ +//! This file defines the co-algebra trait. +//! +//! If F is an endo-functor, then an F-co-algebra is a natural +//! transformation from the identity functor to F. + +use super::functor::Functor; + +/// A co-algebra is a function from T to F(T). +/// +/// This is a "trait alias". Since Rust does not support trait alias +/// yet, we define an empty trait with an automatic implementation. +pub trait Coalgebra<T, F: Functor<T>>: FnMut(T) -> F {} + +impl<T, F: Functor<T>, C: FnMut(T) -> F> Coalgebra<T, F> for C {} |