diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/abstract/predicate.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/abstract/predicate.lux b/stdlib/source/library/lux/abstract/predicate.lux index 10efde28e..61a2bb41c 100644 --- a/stdlib/source/library/lux/abstract/predicate.lux +++ b/stdlib/source/library/lux/abstract/predicate.lux @@ -27,11 +27,11 @@ ) (with_template [<name> <identity> <composition>] - [(implementation: .public <name> + [(def: .public <name> (All (_ a) (Monoid (Predicate a))) - - (def: identity <identity>) - (def: composite <composition>))] + (implementation + (def: identity <identity>) + (def: composite <composition>)))] [union ..none ..or] [intersection ..all ..and] @@ -54,8 +54,8 @@ (function (again input) (predicate again input))) -(implementation: .public functor +(def: .public functor (contravariant.Functor Predicate) - - (def: (each f fb) - (|>> f fb))) + (implementation + (def: (each f fb) + (|>> f fb)))) |