diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/data/collection/stream.lux | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/library/lux/data/collection/stream.lux b/stdlib/source/library/lux/data/collection/stream.lux index a005782b4..4f77166fa 100644 --- a/stdlib/source/library/lux/data/collection/stream.lux +++ b/stdlib/source/library/lux/data/collection/stream.lux @@ -109,23 +109,23 @@ [(..only left? xs) (..only (bit.complement left?) xs)]) -(implementation: .public functor +(def: .public functor (Functor Stream) - - (def: (each f fa) - (let [[head tail] (//.result fa)] - (//.pending [(f head) (each f tail)])))) + (implementation + (def: (each f fa) + (let [[head tail] (//.result fa)] + (//.pending [(f head) (each f tail)]))))) -(implementation: .public comonad +(def: .public comonad (CoMonad Stream) - - (def: functor ..functor) - - (def: out head) - - (def: (disjoint wa) - (let [[head tail] (//.result wa)] - (//.pending [wa (disjoint tail)])))) + (implementation + (def: functor ..functor) + + (def: out head) + + (def: (disjoint wa) + (let [[head tail] (//.result wa)] + (//.pending [wa (disjoint tail)]))))) (def: .public pattern (syntax (_ [patterns (<code>.form (<>.many <code>.any)) |