blob: 01dacde2e9e0218cd6e6ef0f4e1fd558ba1a6b31 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
(.module:
[library
[lux (#- and)]])
(interface: .public (Monoid a)
(: a
identity)
(: (-> a a a)
compose))
(def: .public (and left right)
(All [l r] (-> (Monoid l) (Monoid r) (Monoid [l r])))
(implementation
(def: identity
[(\ left identity) (\ right identity)])
(def: (compose [lL rL] [lR rR])
[(\ left compose lL lR)
(\ right compose rL rR)])))
|
