diff options
| author | Eduardo Julian | 2021-08-26 02:34:05 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-26 02:34:05 -0400 |
| commit | e814f667aed509a70bd386dcd54628929134def4 (patch) | |
| tree | 0a948502194c846a66396020420bd99c6c68370a /stdlib/source/library/lux/abstract/comonad.lux | |
| parent | b216900093c905b3b20dd45c69e577b192e2f7a3 (diff) | |
"Interface" instead of "interface:", and "Rec" can be used in type definition.
Diffstat (limited to 'stdlib/source/library/lux/abstract/comonad.lux')
| -rw-r--r-- | stdlib/source/library/lux/abstract/comonad.lux | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/stdlib/source/library/lux/abstract/comonad.lux b/stdlib/source/library/lux/abstract/comonad.lux index 6de1b97d0..3e0422762 100644 --- a/stdlib/source/library/lux/abstract/comonad.lux +++ b/stdlib/source/library/lux/abstract/comonad.lux @@ -12,15 +12,16 @@ [// [functor (#+ Functor)]]) -(interface: .public (CoMonad w) - (: (Functor w) - &functor) - (: (All [a] - (-> (w a) a)) - out) - (: (All [a] - (-> (w a) (w (w a)))) - disjoint)) +(type: .public (CoMonad w) + (Interface + (: (Functor w) + &functor) + (: (All [a] + (-> (w a) a)) + out) + (: (All [a] + (-> (w a) (w (w a)))) + disjoint))) (macro: .public (be tokens state) (case (: (Maybe [(Maybe Text) Code (List Code) Code]) |