diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/abstract/algebra.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/abstract/algebra.lux b/stdlib/source/library/lux/abstract/algebra.lux index bee4b3941..7db1d3887 100644 --- a/stdlib/source/library/lux/abstract/algebra.lux +++ b/stdlib/source/library/lux/abstract/algebra.lux @@ -4,14 +4,14 @@ [control [functor (.only Fix)]]]]) -(type: .public (Algebra f a) +(type .public (Algebra f a) (-> (f a) a)) -(type: .public (CoAlgebra f a) +(type .public (CoAlgebra f a) (-> a (f a))) -(type: .public (RAlgebra f a) +(type .public (RAlgebra f a) (-> (f (Tuple (Fix f) a)) a)) -(type: .public (RCoAlgebra f a) +(type .public (RCoAlgebra f a) (-> a (f (Or (Fix f) a)))) |