diff options
Diffstat (limited to 'stdlib/source/lux/control/security/policy.lux')
| -rw-r--r-- | stdlib/source/lux/control/security/policy.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/lux/control/security/policy.lux b/stdlib/source/lux/control/security/policy.lux index 56b8d6b11..25afafd5e 100644 --- a/stdlib/source/lux/control/security/policy.lux +++ b/stdlib/source/lux/control/security/policy.lux @@ -59,20 +59,20 @@ (-> Type Type) (type (All [brand label] (constructor (All [value] (Policy brand value label)))))) - (structure: #export functor + (implementation: #export functor (:~ (decorate Functor)) (def: (map f fa) (|> fa :representation f :abstraction))) - (structure: #export apply + (implementation: #export apply (:~ (decorate Apply)) (def: &functor ..functor) (def: (apply ff fa) (:abstraction ((:representation ff) (:representation fa))))) - (structure: #export monad + (implementation: #export monad (:~ (decorate Monad)) (def: &functor ..functor) |