diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/comonad.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/comonad.lux b/stdlib/source/specification/lux/abstract/comonad.lux index 85d00b8f2..d4532a70b 100644 --- a/stdlib/source/specification/lux/abstract/comonad.lux +++ b/stdlib/source/specification/lux/abstract/comonad.lux @@ -13,7 +13,7 @@ [// [functor (#+ Injection Comparison)]]) -(def: (left-identity injection (^open "_//.")) +(def: (left_identity injection (^open "_//.")) (All [f] (-> (Injection f) (CoMonad f) Test)) (do {! random.monad} [sample random.nat @@ -25,7 +25,7 @@ (n.= (morphism start) (|> start _//split (_//map morphism) _//unwrap))))) -(def: (right-identity injection comparison (^open "_//.")) +(def: (right_identity injection comparison (^open "_//.")) (All [f] (-> (Injection f) (Comparison f) (CoMonad f) Test)) (do random.monad [sample random.nat @@ -55,7 +55,7 @@ (All [f] (-> (Injection f) (Comparison f) (CoMonad f) Test)) (<| (_.for [/.CoMonad]) ($_ _.and - (..left-identity injection subject) - (..right-identity injection comparison subject) + (..left_identity injection subject) + (..right_identity injection comparison subject) (..associativity injection comparison subject) ))) |