From fb46beb8bd784ba92949bf2c535dc13c2f003ef0 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 25 Jun 2022 20:24:43 -0400 Subject: De-sigil-ification: suffix : [Part 15] --- stdlib/source/specification/compositor/common.lux | 6 +++--- stdlib/source/specification/lux/abstract/functor.lux | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) (limited to 'stdlib/source/specification') diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux index 34e5aa19b..e6913e8df 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -19,13 +19,13 @@ [default ["[0]" platform (.only Platform)]]]]]) -(type: .public Runner +(type .public Runner (-> Text Synthesis (Try Any))) -(type: .public Definer +(type .public Definer (-> Symbol Synthesis (Try Any))) -(type: .public (Instancer what) +(type .public (Instancer what) (All (_ anchor expression directive) (-> (Platform IO anchor expression directive) (generation.State+ anchor expression directive) diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index 935c37f98..e1be8eba2 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -14,10 +14,10 @@ [\\library ["[0]" / (.only Functor)]]) -(type: .public (Injection f) +(type .public (Injection f) (All (_ a) (-> a (f a)))) -(type: .public (Comparison f) +(type .public (Comparison f) (All (_ a) (-> (Equivalence a) (Equivalence (f a))))) -- cgit v1.2.3