aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/world/finance/market/price.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/world/finance/market/price.lux')
-rw-r--r--stdlib/source/library/lux/world/finance/market/price.lux14
1 files changed, 14 insertions, 0 deletions
diff --git a/stdlib/source/library/lux/world/finance/market/price.lux b/stdlib/source/library/lux/world/finance/market/price.lux
index 041ce59d7..ca75ca370 100644
--- a/stdlib/source/library/lux/world/finance/market/price.lux
+++ b/stdlib/source/library/lux/world/finance/market/price.lux
@@ -30,12 +30,26 @@
(Price $)))
(money.money $ 0))
+(def .public (maximum $)
+ (All (_ $)
+ (-> (Currency $)
+ (Price $)))
+ (money.money $ (of n.interval top)))
+
... https://en.wikipedia.org/wiki/Price_action_trading
(nominal.def .public (Action $)
(Record
[#currency (Currency $)
#movement Int])
+ (def .public (none $)
+ (All (_ $)
+ (-> (Currency $)
+ (Action $)))
+ (nominal.abstraction
+ [#currency $
+ #movement +0]))
+
(def .public (action from to)
(All (_ $)
(-> (Price $) (Price $)