aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux2
-rw-r--r--stdlib/source/specification/lux/abstract/comonad.lux8
-rw-r--r--stdlib/source/specification/lux/abstract/monad.lux8
3 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index 7c45d2a9b..c8482aff2 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -76,7 +76,7 @@
(and (n.= size (array.size tuple-out))
(list.every? (function (_ [left right])
(i.= left (:as Int right)))
- (list.zip/2 tuple-in (array.to-list tuple-out)))))
+ (list.zip/2 tuple-in (array.to_list tuple-out)))))
(#try.Failure _)
false)))))
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)
)))
diff --git a/stdlib/source/specification/lux/abstract/monad.lux b/stdlib/source/specification/lux/abstract/monad.lux
index 869eb24c7..bc1b643f2 100644
--- a/stdlib/source/specification/lux/abstract/monad.lux
+++ b/stdlib/source/specification/lux/abstract/monad.lux
@@ -11,7 +11,7 @@
[//
[functor (#+ Injection Comparison)]])
-(def: (left-identity injection comparison (^open "_//."))
+(def: (left_identity injection comparison (^open "_//."))
(All [f] (-> (Injection f) (Comparison f) (/.Monad f) Test))
(do {! random.monad}
[sample random.nat
@@ -23,7 +23,7 @@
(|> (injection sample) (_//map morphism) _//join)
(morphism sample)))))
-(def: (right-identity injection comparison (^open "_//."))
+(def: (right_identity injection comparison (^open "_//."))
(All [f] (-> (Injection f) (Comparison f) (/.Monad f) Test))
(do random.monad
[sample random.nat]
@@ -51,7 +51,7 @@
(All [f] (-> (Injection f) (Comparison f) (/.Monad f) Test))
(<| (_.for [/.Monad])
($_ _.and
- (..left-identity injection comparison monad)
- (..right-identity injection comparison monad)
+ (..left_identity injection comparison monad)
+ (..right_identity injection comparison monad)
(..associativity injection comparison monad)
)))