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 ca126b064..9a4ea848d 100644 --- a/stdlib/source/library/lux/abstract/algebra.lux +++ b/stdlib/source/library/lux/abstract/algebra.lux @@ -4,14 +4,14 @@ [control [functor (#+ Fix)]]]]) -(type: #export (Algebra f a) +(type: .public (Algebra f a) (-> (f a) a)) -(type: #export (CoAlgebra f a) +(type: .public (CoAlgebra f a) (-> a (f a))) -(type: #export (RAlgebra f a) +(type: .public (RAlgebra f a) (-> (f (Tuple (Fix f) a)) a)) -(type: #export (RCoAlgebra f a) +(type: .public (RCoAlgebra f a) (-> a (f (Or (Fix f) a)))) |