stdlib/source/library/lux/abstract/algebra.lux


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

(.module:
  [library
   [lux #*
    [control
     [functor (#+ Fix)]]]])

(type: #export (Algebra f a)
  (-> (f a) a))

(type: #export (CoAlgebra f a)
  (-> a (f a)))

(type: #export (RAlgebra f a)
  (-> (f (& (Fix f) a)) a))

(type: #export (RCoAlgebra f a)
  (-> a (f (| (Fix f) a))))