stdlib/source/lux/control/algebra.lux


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

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

## Types
(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))))